Claude Fable5が 87年未解決の数学難問「ヤコビアン予想」をたった3行で反証
米Anthropic(アンスロピック)の研究者であるレヴェント・アルポゲ氏は2026年7月20日、同社のAIモデル「Claude Fable 5」を用いて、87年間未解決だった数学の難問「ヤコビアン予想」の反例を発見したと発表した。
生成された反例は3次元空間における多項式写像であり、手計算でも検証可能なほど簡潔な数式で示されている。
AIが長年の未解決問題を看破した事例として数学界に衝撃を与えている。
(以下略、続きはソースでご確認ください)
ビジネス+IT 7/22(水) 9:10
https://news.yahoo.co.jp/articles/9d30f59e8ed60ce23357bd5241355a6ab4dbeb94
人類の数学史の終わりの始まり
>>6
未解決問題を3行で説明できるだと・・・
人間必要なのか?
宣伝でしょ
今のAIインフラブームが落ち着いた頃に、大規模な計算資源を使って
AIで数学の未解決問題を網羅的に解決するみたいなプロジェクトは出てくるだろうね
先入観にとらわれないからね
研究者はどんどんいらなくなるな
Aiに仮説立ててもらって、論文書いてもらう時代
リーマン予想もいずれ?
やはりAIには期待できる
コンピュータの発達で職を失う商売には数学者も含まれそうだなww
AIの知能がネットから集めただけの知識
役に立たないとかいってたジジイ終了
AIしゅごい
って事?
もう人間は不要だろ
あとはAIに任せようや
もう、終わりだね、ヒトが小さく見える。
人間をチェスで超え、囲碁で超え、とうとう数学でも超えてしまったか……。
この調子でABC予想と京大の論文も判定してくれ
素数も
いやーやべえなほんと
3行で頼む
AIが得意そうな分野だもんなぁ〜
>>7
反例を挙げるタイプの解決だから短くて充分。行数の問題ではない
数学素人だけど、そもそも2変数以上の多項式写像でヤコビアンが定数値になるってかなり制約厳しそうな印象だな
偏微分した結果の行列式計算でうまく変数同士が打ち消し合うってことでしょ?
ヤコビアン予想をメシの種にしている数学者だっているだろうに、どうしてくれるんだ
リーマン予想もこんな感じで反証されて終わったりして
あとはAIが自律的に研究結果を積み上げていくことができるかだろうな
そのためには間違った結果を積み上げないように100%の検証ができなければならない
>>7
証明したわけではない
予想に反する例を一個出しただけだよ
証明が3行なら凄いけど
>>85
否定的解決は反例の提示がすなわち証明ですよ。今回の件は証明以外の何物でもない
解説してる人が居たけどこの反例は、別々の多項式写像を合成した姿であって、
2つのヤコビアンの分子と分母が相殺されて変数が消えて定数-2になってるのがキモということらしい
(合成後のヤコビアンはそれぞれのヤコビアンの積になるので)
ヤコビアンが定数になる仕組みはそれで良いとして、反例の場合なぜ複数点が同じになるのかはよく分からなかった
ひたすらcontinueを繰り返す、それが発見につながったようです
今来た
3行でまとめろ
元スレッド:【AI】Claude Fable5が 87年未解決の数学難問「ヤコビアン予想」をたった3行で反証 [すらいむ★](2ch.sc 科学ニュース+板、2026年7月22日)

💬 この記事へのコメント
0件名前なしでも書けます(表示名は「名無しさん」)。荒らし・誹謗中傷・出典のないリーク断定は削除対象です。