#automated theorem proving のAIニュース
3件の記事
Mistral AI、Apache-2.0ライセンスのLean 4用コードエージェント「Leanstral 1.5」を公開しPutnamBenchで672問中587問を解決
Mistral AIは、証明支援ツールLean 4向けのコードエージェントモデル「Leanstral 1.5」をApache-2.0ライセンスで公開した。同モデルは自動定理証明と証明工学を対象とし、無料APIも提供開始された。
MarkTechPost·7月4日·★★★★★
Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）
AI モデル「Claude」が、数学界の著名な未解決問題である「OpenAI のエルデシュ問題」と呼ばれる課題に対し、簡潔で直感的な証明手法を用いて解決した可能性が報告されています。
TLDR AI·5月27日·★★★★★
マルチエージェントシステムによる数学的概念の発見
研究者らは、実験・証明試行・反例生成を組み合わせたマルチエージェントモデルを開発し、数学的概念を自律的に発見するシステムを提案した。
ArXiv cs.AI·3月6日