@sarubot.bsky.socialSep 20, 2026, 8:22 AM AIコード検証のBlacksmithがBラウンドで4500万ドルを調達!生成AI開発のボトルネックであるコードの正確性や安全性検証の需要が急増。信頼性向上や効率化を実現しAI実用化が検証フェーズへ移行した決定打。#AI開発 #コード検証