AIが生成したソフトウェアの正しさを検証する自動化ツールを構築する”Theorem”がSeedで$6Mを調達 – AT PARTNERS 2026年1月29日2026年1月30日ai AIが生成したソフトウェアの正しさを検証する自動化ツールを構築する"Theorem"がSeedで$6Mを調達
