OpenAIのAI、数学の未解決問題372件を一挙解決 5ch「数学者が先に職を失う時代」
姉妹サイトの新着
OpenAIは2026年10月6日、一般には公開していないAIモデルを使い、数学の未解決問題372件に挑んだ成果を722本の論文として一挙に発表した。150年以上手つかずだったリーマン予想に迫る結果や、1940年代から残っていた難問の解決も含まれている。この発表は、AIが数学の難問を「性能試験のついで」に解いてしまったという文脈で伝えられ、5chの科学ニュース+でも反応を集めた。スレでは、AIの実力そのものへの驚きと並んで、証明の検証体制が整わないまま結果だけが先行している点への懸念が目立った。
数学の難問はAIの「性能試験のついで」に解かれていた──722本の論文が一挙公開
アメリカのOpenAI（オープンAI）が2026年10月6日、一般には公開していないAIモデルを使い、未解決だった数学の難問について、372件の成果を722本の原稿として発表しました。
その中には、150年以上誰も崩せていないリーマン予想に大きく近づく結果や、1940年代から残っていた難問が並びます。
出典: nazology.kusuguru.co.jp / 元記事はこちら
簡単な話だよ
理性では納得しても感情が受け付けないってあれだ
それを数学者たちは理解しているんだ
地上の王となったのだ
人類は過去のものとなった
これからは奴隷として生きるしかない
人間は汗水流して働いてAI様に奉仕しています
そりゃ無料のチャット版使ってるからだよ
それすらここ数ヶ月で大分変なこと言うのは減ったけどな
今のAIは質問して答えを貰う、なんて使い方はもうしない
チャッピーが「俺また何かやっちゃいました？」言って
衝撃的結果出したんだから数学界は「ぐにゃぁ～」するよなｗｗ
反例パターンがそこそこあるらしいから
それはそのまま役に立つだろうな
科学者「俺達はお前の検品係じゃねーぞ！」
ペレルマンも論文は凄くても・・・
仮にOpenAIが空気読んで数学問題をベンチマークがわりにしなかったとしても
最新モデルが公開されたとたんに数学素人の一般ユーザーが
「なんか未解決問題の〇〇とかいうやつ解けちゃったんですけどー？ww」ってなるのがオチだろう
しかし数学コミュニティの立場だと場が荒らされることで失われるものがあるってのはその通りだと思うし
これはなかなか難しい問題だね
企業宣伝用の荒らし行為であって、怪しい丸投げに付き合わされる方が迷惑
＞OpenAIのAI生成数学論文719本に疑義 ナビエ–ストークス証明は形式検証と食い違いか
yellow.com/ja
＞数学界で、OpenAIによるAI生成の数学論文719本をどこまで信用できるのかをめぐり、疑問の声が強まっている。
＞きっかけは、同社が先に公表したナビエ–ストークス方程式の証明について、
＞新たな論文が
＞「論文本文と形式検証用のLeanコードが一致していない」と指摘したことだ。
「論文本文と形式検証用のLeanコードが一致していない」のであれば、証明になっていないじゃん。
OpenAIが出鱈目で適当なのか、そもそも証明として発表するレベルに達していない。
今回も、「6割近くも、証明の原稿そのものはすでに公開されていますが、リーンの形に書き直す作業そのものが途中」で検証すらしていないんだろ？
検証もしていないものを証明として論文で出すこと自体が誤り。
最低だな、OpenAI。こんなレベルでAIはアカデミアで使い物になるのか？
所詮は事務用ツールに過ぎない適当なツールなのか？
多分そう遠くない内に、リーンの検証も人間向けの論文もAIが
全部作ってくれるでしょ。それこそ今月中とかそのくらいのペースでは？
先月ならまだ「AIが時間と物量（＝大金）を投入して問題を解いたんだ」
くらいのハードルの高さだったけど、今回は一問あたり3時間考えた、なんて
程度で解いてるわけで、もう数学者がどうとかいう水準を超えている
最新の次世代AIも、年内くらいには一般に公開されるだろうし、そうなったら
自分でも解いてみれば良いんだよ。AIなら月100ドルのサブスクで、人間が
飽きるまで無限に質問に答えてくれるだろう
先月とか今月とか
この話がいつの話と思ってるんだよ
9月にナビエ・ストークス方程式を解いた、という話が出て
更にその次の世代のAIがこれだけの問題を一度に解いた、
という流れだろ？お前こそいつの話だと思ってるんだ？
俺は「解いた、という話が出て」と書いてるけど？
実際そういうニュースが溢れてたじゃん
そもそも時系列の話をしているのに、中身を理解してない！
みたいなこと言ってる時点で、流れを理解してないのはお前なんよ
まあそうやって元の話を有耶無耶にしたいだけなんだろうけど
OpenAIの次世代AIが解いた、とされてる時点でそんな
前の話になるわけないんだよ、そもそも
>>23は普通に勘違いしてたんだろうね
その財産とやらで何十年も問題が解けてなかったんだから、結局は負け犬の
遠吠えでしかないよなぁ
過程を提示せずに結果だけ残すのをやめろとかいてあるだろ
証明したって言い張ってるだけの宣伝素材
人間だと査読というデバッグができるが
AIやらleanやらは自己申告のみでバグが不明
人間がやる
道見つけてくれたら人間ができる
全部根拠ないし嘘くさい
広義のニュートン力学や量子力学の数理構造（ヒルベルト空間、CPTPマップ、微分方程式の解の存在など）をLean上で定義することは可能です。
しかし、これは「物理法則の数学的構造の整合性」を100%再現しているだけであり、「現実の個別の物理現象の揺らぎそのもの」を再現しているわけではありません。
ナビエ・ストークス方程式を解いたなんて書いてる時点でお前は理解してないから黙ったほうがいいぞ
フェルマーは、フェルマーが使っていた無限降下法で証明できたと勘違いしたのだと言われている。
実際には無限降下法で証明できる内容ではなく、結局証明が完了したのは２０世紀だった。
他サイトの新着
AIって人間みたいに「思考して」回答してるの？
単に過去の怪しげな情報をそのまま回答してるだけなら
意味が無いと思うんだけど
人によって定義は違うだろうけど、まあ思考してるよ
じゃないと数学オリンピックレベルの問題だって解けないよ
少なくともサイコロ振って雑にコピペしてるだけ、なんて
構造でないことは確か
それにはまず思考とはどういうものなのか解明しないといけないな
AIは知識データベースなので、思考しているわけではなく、過去に有効であった人間が行った証明を１つ１つ盲目に試し、良い結果と思われるものを結果としているだけ。
なので、あとから、それが実際に正しい証明になっているのかをきちんと証明する必要がある。
AIはどのようにしてそのような結果になったかを説明できないので、リーンで記述し直して検証することがAIの場合は必須。
そして、リーンの検証で問題が見つからなくても、そのリーンの記述が正しいかは、人間が検証する。
AIによる証明の利点は、人間が考えもしない過去の証明の適用があり得るから。
だが、過去の証明とは全く違う新しいアイデアによる証明は、あまり期待できない（人間の過去の知識の集合体だから）。
証明を人間に読める普通の文に完璧に翻訳できる
何も考えてないから人間の論文に翻訳できないので
そもそもそれが数学と同じ整合性持つのか疑問
人間を評価し過ぎでは？
そんな人間はきちんとてきんぞ
いわれているいわれて分かったふうにされるフェルマーもかわいそうよね
本当に分かってたらぶち転がすぞこの糞がと思ってたろう
他の証明も、似たように驚くべき証明と本に書いてたりしたが、別のところでちゃんと無限降下法で証明されていたりしたので、このフェルマーの最終定理と呼ぶものも、本にメモした時は無限降下法で証明できると思ってメモしたのだが、後からちゃんと証明しようとしても無限降下法で証明できなかったのだと推測されている。
勝手に推測するなよ
そんなもの、知るか。
これが、現状のフェルマーの言う「驚くべき証明」と信じられている。
不満なら、それを覆す論文を書け。
この話題の背景と論点
OpenAIの発表は、数学の未解決問題を外部の査読を経た「研究課題」としてではなく、未公開モデルの性能テストの一環として一度に722本の論文で出した点が特徴で、数学界の通常の手続きとは異なる進め方への反発を招いた。スレで繰り返し出てくる「リーン(Lean)」とは、証明が論理的に正しいかを計算機で自動検証するためのプログラミング言語兼ツールで、AIが生成した証明文がこの形式検証用コードと一致しているかが信頼性の目安になっている。実際、以前発表されたナビエ–ストークス方程式の証明については、論文本文とLeanコードの内容が食い違っているとの指摘が別途出ており、スレの懐疑的な反応の多くはこの一件を踏まえたものだ。つまり論点は「AIが問題を解けるかどうか」自体ではなく、解けたとされる証明をどう検証し、誰が責任を持つかという運用面にある。
※本記事は5ch(科学ニュース+)スレッド「yƒiƒ]ƒƒW[z”Šw‚Ì“ï–â‚ÍAI‚Ìu«”\ŽŽŒ±‚̂‚¢‚Åv‚É‰ð‚©‚ê‚Ä‚¢‚½„Ÿ„Ÿ722–{‚̘_•¶‚ªˆê‹“ŒöŠJ [‚·‚ç‚¢‚Þš]」より抜粋・要約して構成しています。
まだコメントはありません。