ハーバード大学の数学者が人工知能（AI）を活用し、専門家たちが何十年もかけて証明を試みてきた代数学の長年の難問を否定した。レヴェント・アルポゲ氏は7月19日、ソーシャルメディア上で短い反例を提示し、この発見を公表した。
アルポゲ氏はXに216文字の数学的な反例を投稿し、ヤコビアン予想が誤りであることを示した。オットー・ハインリヒ・ケラーが1939年に提唱したこの予想は、スティーブン・スメイルが1998年にまとめた主要な未解決問題リストにも掲載されていた。
この研究にはAnthropic社のAIモデル「Claude Fable 5」が使用された。アルポゲ氏は投稿の中で、ワールドカップ決勝戦の最中に支援を受けたとして同システムに謝意を示した。
クイーン・メアリー・ロンドン大学のアビシェク・サハ氏は、この成果について、AIの多大な貢献によって解決されたものとしては過去最大級の予想であると評価した。同氏は、この反例が3変数については成立するものの、2変数版の予想は依然として正しい可能性があると指摘している。
ヨーク大学のクリス・ボウマン＝スカーギル氏と西湖大学のイヴァン・フェセンコ氏は、今回の進展は数学におけるAIの役割が増大していることを示す一方で、新しい理論を構築するためには依然として人間の洞察が不可欠であることを浮き彫りにしていると述べた。