ページを読み込み中…
ページを読み込み中…
7件の記事
Axiom Math のチームが AI を用いて素数の「246 定理」証明を初めて自動的に検証した。
Anthropic は、同社スタッフが Claude にリーマン予想という未解決問題への挑戦を命じた結果、解答には至らなかったものの関連問題で進展があったことを報告した。
中国数学者の王虹氏と邓煜氏が受賞した背景を受け、腾讯混元が公開した科研智能体「Hyra」が、加法組合学における半世紀以上の未解決問題に対して完全な解答を示した。
Pramaana Labs は Khosla Ventures などから 2700 万ドルの資金調達に成功し、AI システムの信頼性を高めるための形式検証技術の実用化を進める。
2025 年、7 ヶ月目のスタートアップ企業「Axiom」が、難関の数学試験「プットナム試験」で全 12 問を解き、最優秀学生や既存 AI システムを上回る成績を収めた。