#証明自動化 のAIニュース

GoogleのAletheiaが完全自律的なエージェント型数学研究の最先端を前進

Googleは、Gemini 3 Deep Thinkを使用するAI「Aletheia」を発表した。AletheiaはFirstProofチャレンジで新規数学問題の6/10を解決し、IMO-ProofBenchで約91.9%を獲得し、人間の介入なしでの研究レベルの証明発見における大きな進展を示した。