この未解決問題がどういうものか、知らないなぁ。後で調べてみたい。
解決に必要だったのは天才的な発想の転換ではなく、当たり前を積み重ねていけば到達できる所にあった、という事なのだろうか。
数学界のシンギュラリティ来たか。23歳のアマチュアがGPTで難問解くとか、専門家のメンツ丸潰れで草
AIがいずれ人類の考えた難問をすべて解き終わり、自ら解くべき問題を考案することすら可能になりそうだな。
新しいアルゴリズム（LLM）で解けるようになった問題が解けただけであって、これで何でも解けるようになったわけではない。なぜかAIと名がつくと、未来に無限の期待をしてしまう人が出るのだけど
数学愛好家を素人というのもちょっと恣意的な気も
id:homarara氏、私は逆の印象を受けた。人間の常識に囚われない最初の天才的な一手が必要だったと読んだ。将棋AIや一部の天才棋士達が変な初手して勝つみたいな。
いやぁー。凄いなぁー。まじで5年後どうなってるかわからんな。
既存の手法の組み合わせで解けるならリーマン予想も3年以内に解決する。既存の手法で解けないなら10年かかっても解けない可能性がある
“数学の高度な専門教育を受けていない23歳のLiam Price氏が、GPT-5.4 Proとの対話を通じて、ポール・エルデシュが提唱した未解決問題「Erdos Problem #1196」を証明した。”
使って思うのは人間が指示しないと新しいことはAIは何も提案してくれないんだけど、論理の矛盾などはいくら複雑になっても順番にやらせれば精度が高い結果が得られる点が決定的に違う。それが数学と関係あるのかなぁ
Aという情報とBという情報を組み合わせてCを解決できることに、人間より柔軟に対応できる可能性。
4月に話題になってた、アレか。テレンス・タオ氏がすぐに認めてたから本物だろうと思ってたけど、共同論文まで出たんだな。コメントする前に、どんな過程で解いたか調べようよ。本当に素人みたいな依頼方法だから。
フォーブスには同じ問題を別の人がChatGPTを使って80分で解いたって記事があるけど，どういうこと？ https://forbesjapan.com/articles/detail/96574 8名の共同著者のだれをクローズアップするかなのかな？
本当の素人なら証明はもちろん問題の意味すら理解できないんよ。
未解決問題が急にたくさん解決されるかもね
関係ないけど「チャッピー」、公式とはいえイマイチすぎる命名
これでAIの教授になれそう。
この結果を受けて、数学に限らずいろんな分野の素人が俺も俺もと未解決問題をガンガンAIに投げて新発見に繋がったりしないかな？
テレンスタオがリファインメントに協力してくれてるとはいえ、愛好家が紙とペンだけで到達できる場所は大きく超えてるわけで、やっぱ研究が加速していくのはもうリアルなんだろうなあ
どっちかって言うとLeanがすごい。科学の発展寄与度でいうと、限界突破してる気がする
毎回同じ解法を見つけるなら「解いた」で良いんだけど、他のAI証明の記事を読むと挙動的には「正解を引き当てた」に近いような。エルデシュ問題は数が多いので、人間が見落としてたものはまだ沢山ありそう。
シンギュラリティってもう言っていいよねえ
この勢いで宇宙の謎を解明してくれ ワイが生きているうちに
しばらく放置されてるEARL先生のオイラーの定数は無理数であることの証明も実は合ってる可能性が…？ https://x.com/earl_med_tw/status/2014600833711886633
膨大な背景知識によって抽象の解像度が高く人を超えた構造的な類推が出来るとみるのか、大量なプールからあてずっぽう(ハルシネーション)の精度が上がったのか。どっちよりとか考えると面白い。まだ後者なのかな。
世に登場して数年（一般人が知らなかった期間は長いとは言え）でこの進化のスピードがやばい。インターネット黎明期と同じブレイクスルーだ
これはマインスイーパーで、考えればわかる部分を自動で解いている状態に近づいたのではないだろうか。既存の論理で足りない部分の飛躍だけ人間に託される。
「生成AIは論理よりも芸術に強い」と思ってたけど、やっぱり論理にも強いんですね
基礎科学研究はAIでどんどん進める時代になったな。巨大な計算資源を持つ大国間のAI競争が加速する！！！
「今年の下半期ごろから、科学的新発見をAIが出し始めるだろうという予想ロードマップ」は見ていたので、その通りに進んでいそう、
査読できる人の能力がすごい
生成AIは適当にそれっぽいこと言ってくるツールだけど、たまたま当たったのか、適当の精度が上がっているのか。あるいは両方なのかも。
これ、『GPT-5.4 Pro』のエルデシュ数って、どうなるんだろ？ 共同論文じゃないから除外？
チャッピー呼びって公式じゃないよね？(と、本人も言ってる) キモいから自分は避けてる(個人の感想)んだけど、公式なら考え改める。
シンギュラリティが完全に来てしまったかもな。
23歳のLiam Price氏がGPT-5.4 Proとの約80分の対話でErdos Problem #1196を証明したとする記事。タオ氏らとのarXiv論文、Leanによる約4000行の形式検証も紹介。
craprak氏、使用したのが5.2なら無理っぽい。他でもコメしたが体感で5.3とで断層感じた。5.2は高校物理で完全に間違い解答（5.3と正反対の答）、大学教養レベルの数学も間違ってた。gemini3proも間違った物理問題5.5完璧だった
その調子で人間の知を拡張し続けてほしい。
AIが作るこの手のしょーもないインフォグラフィックってどうにかならんものか
そのChatGPTにこの記事を検証させたら、大げさな誇張や記事の間違いが多いってツッコミがあったんですけどね。盛り上げるために嘘を本当の中に混ぜるの、好きだねえ経済誌は。
「Price氏は厳密な定式化から始める従来の手法ではなく、直感的にAIへ質問を投げてアイデアを生成させるアプローチ」「テレンス・タオ」
【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明
この未解決問題がどういうものか、知らないなぁ。後で調べてみたい。
解決に必要だったのは天才的な発想の転換ではなく、当たり前を積み重ねていけば到達できる所にあった、という事なのだろうか。
数学界のシンギュラリティ来たか。23歳のアマチュアがGPTで難問解くとか、専門家のメンツ丸潰れで草
AIがいずれ人類の考えた難問をすべて解き終わり、自ら解くべき問題を考案することすら可能になりそうだな。
新しいアルゴリズム（LLM）で解けるようになった問題が解けただけであって、これで何でも解けるようになったわけではない。なぜかAIと名がつくと、未来に無限の期待をしてしまう人が出るのだけど
数学愛好家を素人というのもちょっと恣意的な気も
id:homarara氏、私は逆の印象を受けた。人間の常識に囚われない最初の天才的な一手が必要だったと読んだ。将棋AIや一部の天才棋士達が変な初手して勝つみたいな。
いやぁー。凄いなぁー。まじで5年後どうなってるかわからんな。
既存の手法の組み合わせで解けるならリーマン予想も3年以内に解決する。既存の手法で解けないなら10年かかっても解けない可能性がある
“数学の高度な専門教育を受けていない23歳のLiam Price氏が、GPT-5.4 Proとの対話を通じて、ポール・エルデシュが提唱した未解決問題「Erdos Problem #1196」を証明した。”
使って思うのは人間が指示しないと新しいことはAIは何も提案してくれないんだけど、論理の矛盾などはいくら複雑になっても順番にやらせれば精度が高い結果が得られる点が決定的に違う。それが数学と関係あるのかなぁ
Aという情報とBという情報を組み合わせてCを解決できることに、人間より柔軟に対応できる可能性。
4月に話題になってた、アレか。テレンス・タオ氏がすぐに認めてたから本物だろうと思ってたけど、共同論文まで出たんだな。コメントする前に、どんな過程で解いたか調べようよ。本当に素人みたいな依頼方法だから。
フォーブスには同じ問題を別の人がChatGPTを使って80分で解いたって記事があるけど，どういうこと？ https://forbesjapan.com/articles/detail/96574 8名の共同著者のだれをクローズアップするかなのかな？
本当の素人なら証明はもちろん問題の意味すら理解できないんよ。
未解決問題が急にたくさん解決されるかもね
関係ないけど「チャッピー」、公式とはいえイマイチすぎる命名
これでAIの教授になれそう。
この結果を受けて、数学に限らずいろんな分野の素人が俺も俺もと未解決問題をガンガンAIに投げて新発見に繋がったりしないかな？
テレンスタオがリファインメントに協力してくれてるとはいえ、愛好家が紙とペンだけで到達できる場所は大きく超えてるわけで、やっぱ研究が加速していくのはもうリアルなんだろうなあ
どっちかって言うとLeanがすごい。科学の発展寄与度でいうと、限界突破してる気がする
毎回同じ解法を見つけるなら「解いた」で良いんだけど、他のAI証明の記事を読むと挙動的には「正解を引き当てた」に近いような。エルデシュ問題は数が多いので、人間が見落としてたものはまだ沢山ありそう。
シンギュラリティってもう言っていいよねえ
この勢いで宇宙の謎を解明してくれ ワイが生きているうちに
しばらく放置されてるEARL先生のオイラーの定数は無理数であることの証明も実は合ってる可能性が…？ https://x.com/earl_med_tw/status/2014600833711886633
膨大な背景知識によって抽象の解像度が高く人を超えた構造的な類推が出来るとみるのか、大量なプールからあてずっぽう(ハルシネーション)の精度が上がったのか。どっちよりとか考えると面白い。まだ後者なのかな。
世に登場して数年（一般人が知らなかった期間は長いとは言え）でこの進化のスピードがやばい。インターネット黎明期と同じブレイクスルーだ
これはマインスイーパーで、考えればわかる部分を自動で解いている状態に近づいたのではないだろうか。既存の論理で足りない部分の飛躍だけ人間に託される。
「生成AIは論理よりも芸術に強い」と思ってたけど、やっぱり論理にも強いんですね
基礎科学研究はAIでどんどん進める時代になったな。巨大な計算資源を持つ大国間のAI競争が加速する！！！
「今年の下半期ごろから、科学的新発見をAIが出し始めるだろうという予想ロードマップ」は見ていたので、その通りに進んでいそう、
査読できる人の能力がすごい
生成AIは適当にそれっぽいこと言ってくるツールだけど、たまたま当たったのか、適当の精度が上がっているのか。あるいは両方なのかも。
これ、『GPT-5.4 Pro』のエルデシュ数って、どうなるんだろ？ 共同論文じゃないから除外？
チャッピー呼びって公式じゃないよね？(と、本人も言ってる) キモいから自分は避けてる(個人の感想)んだけど、公式なら考え改める。
シンギュラリティが完全に来てしまったかもな。
23歳のLiam Price氏がGPT-5.4 Proとの約80分の対話でErdos Problem #1196を証明したとする記事。タオ氏らとのarXiv論文、Leanによる約4000行の形式検証も紹介。
craprak氏、使用したのが5.2なら無理っぽい。他でもコメしたが体感で5.3とで断層感じた。5.2は高校物理で完全に間違い解答（5.3と正反対の答）、大学教養レベルの数学も間違ってた。gemini3proも間違った物理問題5.5完璧だった
その調子で人間の知を拡張し続けてほしい。
AIが作るこの手のしょーもないインフォグラフィックってどうにかならんものか
そのChatGPTにこの記事を検証させたら、大げさな誇張や記事の間違いが多いってツッコミがあったんですけどね。盛り上げるために嘘を本当の中に混ぜるの、好きだねえ経済誌は。
「Price氏は厳密な定式化から始める従来の手法ではなく、直感的にAIへ質問を投げてアイデアを生成させるアプローチ」「テレンス・タオ」