Theorem
Spring 2025活動中システムエンジニアでもvibecodeできるプログラム検証
- サマリー
- 複雑なコードを扱う開発者向けに、program verificationを高速化するモデルを提供する
- 課題
- 複雑なコードの正確性や安全性の検証に時間がかかる
- 解決策
- verificationをフィードバックループとして活用し、モデルで検証を1万倍高速化する
AI による要約
- 所在地
- San Francisco, CA, USA
- チーム規模
- 4 人
事業内容
Theoremは、プログラム検証を10,000倍高速化するモデルを開発する。検証をフィードバックループとして活用することで、開発者はGPUアクセラレーションコードや暗号実装に潜むゼロデイ脆弱性を発見し、レガシーシステムのコード移行も高速化している。正確性とセキュリティが求められる複雑なコードがあるなら、ベータ版に登録する。