【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明

この未解決問題がどういうものか、知らないなぁ。後で調べてみたい。

解決に必要だったのは天才的な発想の転換ではなく、当たり前を積み重ねていけば到達できる所にあった、という事なのだろうか。

数学界のシンギュラリティ来たか。23歳のアマチュアがGPTで難問解くとか、専門家のメンツ丸潰れで草

AIがいずれ人類の考えた難問をすべて解き終わり、自ら解くべき問題を考案することすら可能になりそうだな。

新しいアルゴリズム（LLM）で解けるようになった問題が解けただけであって、これで何でも解けるようになったわけではない。なぜかAIと名がつくと、未来に無限の期待をしてしまう人が出るのだけど

数学愛好家を素人というのもちょっと恣意的な気も

id:homarara氏、私は逆の印象を受けた。人間の常識に囚われない最初の天才的な一手が必要だったと読んだ。将棋AIや一部の天才棋士達が変な初手して勝つみたいな。

いやぁー。凄いなぁー。まじで5年後どうなってるかわからんな。

既存の手法の組み合わせで解けるならリーマン予想も3年以内に解決する。既存の手法で解けないなら10年かかっても解けない可能性がある

使って思うのは人間が指示しないと新しいことはAIは何も提案してくれないんだけど、論理の矛盾などはいくら複雑になっても順番にやらせれば精度が高い結果が得られる点が決定的に違う。それが数学と関係あるのかなぁ

4月に話題になってた、アレか。テレンス・タオ氏がすぐに認めてたから本物だろうと思ってたけど、共同論文まで出たんだな。コメントする前に、どんな過程で解いたか調べようよ。本当に素人みたいな依頼方法だから。

Aという情報とBという情報を組み合わせてCを解決できることに、人間より柔軟に対応できる可能性。

フォーブスには同じ問題を別の人がChatGPTを使って80分で解いたって記事があるけど，どういうこと？ https://forbesjapan.com/articles/detail/96574 8名の共同著者のだれをクローズアップするかなのかな？

未解決問題が急にたくさん解決されるかもね

本当の素人なら証明はもちろん問題の意味すら理解できないんよ。

関係ないけど「チャッピー」、公式とはいえイマイチすぎる命名

これでAIの教授になれそう。

この結果を受けて、数学に限らずいろんな分野の素人が俺も俺もと未解決問題をガンガンAIに投げて新発見に繋がったりしないかな？

テレンスタオがリファインメントに協力してくれてるとはいえ、愛好家が紙とペンだけで到達できる場所は大きく超えてるわけで、やっぱ研究が加速していくのはもうリアルなんだろうなあ

どっちかって言うとLeanがすごい。科学の発展寄与度でいうと、限界突破してる気がする