#formal verification のAIニュース
4件の記事
Pramaana Labs が Khosla Ventures からシードラウンドで 2700 万ドルを調達し、AI の形式検証を実現へ
Pramaana Labs は Khosla Ventures などから 2700 万ドルの資金調達に成功し、AI システムの信頼性を高めるための形式検証技術の実用化を進める。
TechCrunch AI·6月17日·★★★★
非公式 AI の限界を超える - Carina Hong, Axiom Math
2025 年、7 ヶ月目のスタートアップ企業「Axiom」が、難関の数学試験「プットナム試験」で全 12 問を解き、最優秀学生や既存 AI システムを上回る成績を収めた。
Latent Space·6月4日·★★★★
GenCtrl -- 生成モデルのための形式的制御可能性ツールキット
研究者らは、生成モデルの制御可能性を理論的に評価する枠組みを提案し、人間とモデルの相互作用を制御プロセスとして捉えた新アルゴリズムを開発した。
Apple Machine Learning·3月6日
Seed Prover 1.5：新たなエージェント型アーキテクチャと強化された数学的推論能力
バイトダンスのSeedチームは、新たなエージェント型アーキテクチャを採用した「Seed Prover 1.5」を発表し、2025年のプットナム数学競技会の11問を9時間で解決するなど、数学的推論能力が大幅に向上したことを示した。
字节跳动Seed·12月24日·★★★★