2026年7月、87年間未解決だったヤコビアン予想に、AIモデル「Claude Fable 5」が反例を発見しました。ワールドカップ決勝戦の夜、数学者レベント・アルポゲ氏がAIに検討させたところ、目盛りが一定値を保ちながら3つの異なる入力が同じ出力に重なる写像が導かれたのです。公開後はWolfram AlphaやSymPyでの独立検証、証明支援システムLeanによる形式化も進行中。答えを渡されることと理解することの距離を問う出来事です。
〇AI「Claude Fable 5」が87年来の難問「ヤコビアン予想」を覆す反例を生成したとAnthropic研究者が報告（2026年7月21日）
https://gigazine.net/news/20260721-claude-fable-5-jacobian-conjecture/
〇Human mathematicians are being outcounterexampled（2026年7月20日）
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
〇「放浪の天才数学者」エルデシュが遺した謎——AIが解いたのは本当に未解決問題だったのか（2026年1月13日）
https://note.com/math_translator/n/nb955bf059478
#数学 #AI #ヤコビアン予想 #代数幾何学 #Lean #定理証明 #形式化数学 #反例 #ClaudeFable5 #Anthropic #DeepMind #数学予想 #未解決問題 #ケラー #多項式写像 #数学者 #人工知能 #数学の美しさ #研究 #科学ニュース #テクノロジー #査読 #GoogleDeepMind #Xena #数学翻訳家
感想
まだ感想はありません。最初の1件を書きましょう！