OpenAIが機械検証した証明は、発表した証明と別物だった。
数学者三人が火曜、OpenAIが発表したナビエ・ストークスの結果について論文を出した。機械が検証したLeanの証明は、流体の破綻を述べた文章の証明と対応していないという。数学の文章をLeanへ意味どおり訳すことは、停止問題を含むどの計算問題よりも難しいとも主張する。
なぜ重要か人工知能の数学を誰が点検するのかという問いに、業界はLeanによる検証と答えてきた。点検された中身が主張された中身と違うなら、その答えは成り立たない。
▶ 関連動画: Did AI Really Solve Navier–Stokes? Show Me The Proof!
アプリで読む——無料・9言語
関連ニュース
エヌビディアは一回の学習でモデルの1%しか変わらないと確かめた。2026-10-07OpenAIが一つの指示から722本の数学論文を出した。
2026-10-07エルデシュ問題のサイトが証明の投稿を止めた。
2026-10-07同じ仕事を二十回やらせると最高の人工知能の点が三分の一落ちた。
2026-10-06すべてのAIを訓練する方法を使わずに、モデルが学びました。
2026-10-06