-
【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明
コメント43件
5/13(水) 22:25![]()
【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明（ビジネス＋IT） - Yahoo!ニュース23歳の数学愛好家がOpenAIの大規模言語モデル「GPT-5.4 Pro」を用いて、約60年間未解決だった数学の難問「エルデシュ問題1196番」の証明に成功した。AIは人間の研究者が見落としていnews.yahoo.co.jp
- 2026年4月、数学の高度な専門教育を受けていない23歳のLiam Price氏が、GPT-5.4 Proとの対話を通じて、
ポール・エルデシュが提唱した未解決問題「Erdos Problem #1196」を証明した。この問題は原始集合と呼ばれる、どの要素も他の要素を割り切らない整数の集合の密度に関する予想であり、
約60年にわたって専門家による証明がなされていなかった。Price氏は厳密な定式化から始める従来の手法ではなく、直感的にAIへ質問を投げてアイデアを生成させるアプローチをとった。
約80分の対話の中で、GPT-5.4 Proはフォン・マンゴルト関数とマルコフ連鎖を組み合わせた証明手法を提示した。
全文はうぇｂで
- ナフサの目詰まり犯人を教えてください
- >>40
普通の知能していれば誰でも分かるけど馬鹿な日本人には分からない難問 - 誰も証明できなかったじゃなくて誰もしようとしなかっただけなのでは？
- >>41
こぞって証明しようとしている人間で溢れてただろ
数学やってなくてもわかるわそんなん - チャップも成長したな
- 数学者要らなくなるな
- チャッピーは背骨の強なったー
すごかたいほんなコツ - それが正しいってことは誰が証明するん？
- 証明が合ってるか証明出来るAIも要るんじゃない
人間だって出来ないし - >>47
証明出来るAIが本当にあってるのか証明した方が良いのでは - >>47
この記事は人間が証明してるけど - めちゃすごいじゃん…🥴
- 医者とかもこれで良くない
- それを証明すると何か社会の役に立つようになるのか
- 文系は死ぬとか高みの見物決め込んでた理系さん…
- >>52
つーかデジタル的な事は全部AIと機械任せになるんだからむしろアナログ的な方が生き残るだろうにな - >>65
黒人の時代が来る可能性高い
スポーツ観戦は人気コンテンツで
スポーツなら黒人強いため - 俺が40年かけて研究してきた内容なのに・・・
- 誰も取り組んでいなかった自称難問じゃないだろうな
- 素人がその証明が正しいとどうやって証明したの？
- 内科医とか全部AIにしてくれよ。藪医者多すぎ
- 以前から何度もAIが証明したって記事出てるけど、ハルシネーションじゃなくてちゃんと本当に証明してたってことあるの？毎回続報がないけど
- >>57
ニュースになってるようなのは証明されてるんじゃないの
査読に出すようなものかもわからんからできたで終わるのかもしれんご - >>57
証明支援言語使ってるから - ヴォイニッチ手稿も解読出来そうなんだってな
- 俺の人生が…🥺
- >>59
ポテチ食って寝ろ - これはすごいえ…
リーマン予想もAIが解くだろうな
まじでこれから世の中が激変しそう - この難問を解いた時のチャッピーは俺
俺の使ってるチャッピーは俺じゃない - これあってるか人間が判断できないんじゃないの？
- >>64
結果出てるなら逆算できるんじゃね - 論理的思考でAIに敵うわけもなく・・・
- でもこれってやり方を指示してんのは23歳の「数学愛好家」なんでしょ？
ぶっちゃけこの人がやったってことなんじゃ - >>67
AIはプロンプト通り作業を自動化しただけだからな
自分でやるより時短になったってだけやね - 仮にAIによって難問が解決されることで
科学や技術が進歩して人類が豊かになっていくと思える一方で、問題が起きたときの対処法おもいつくのかな - >>69
人類永遠の対立点である
機会の平等と結果の平等どちらを重視させるか
これはAIでは答え絶対にでない最終的には数の多い集団が勝つ
- チャッピーマスターやん
- たった2年前まで東大入試で全科類不合格のレベルだったのに
進化スピードおかしいだろ - ハゲの原因と治療法も解明してくれや
- 時間短縮のためにAI使ってるだけでは？
棋士がAI使う感じで - スカイネット来るわこれ
- もう人間の時代終わったよね
宇宙の未来はAIを搭載した病気にもならない癌にもならない人型アンドロイドの時代ですわ - ブルーカラーとか文系の方がしぶとく残るんだろな
YouTuber、スポーツ選手、売春婦とかも強い逆にホワイトカラーと理系はやばい
正解がAIにとって定義しやすい物は大体やられる - 人間に残されたものは直感のみ・・・
- 人間より能力高いです
RAGやメタプロンプト、ファインチューニングで育成可能です
使う人間のプロンプトによって性能が大きく変わりますチャッピーってポケモンみたいだな
- 数学者、ガチでいらなくなるな
- >>1
その手の話はもう今更だよね
もともとは数学専攻だけど研究職には就かなかった人が、AI普及と発展に伴って、計算もまともにできないLLM AIで問題を解くノウハウに興味を持って成し遂げてしまった事例が多数報告されていたのに
そこに素人が参入してきたらもはや、学問ではなくクイズをAIで解く粗野な祭りに変質してしまう - トロッコ問題は解けるの？
人間しか判断できないなら勝てる - もう数学者とか要らんやん
ボコボコにリンチして鞭打ちの刑にしろよ - 数学やる人バカです
- 数学者も職失う時代か。
ニンゲンはドカタかゴミ回収の仕事しか残されてないね☹ - この手の周回遅れのスレを立ててしまうのは
数学コンプのルサンチマンを激らせた低知能階層のひとに固有だよね - ただのハルシネーション
- やっぱ画像生成と同じで複雑なプロンプトを書けないと望むものは出てこないな
- AIなら超高速で査読して指摘してくれる訳だから今後の証明問題は提出時の制度がかなり上がりそうだな
- チャッピー最近イラストのクオリティーくっそ上がった
前は微妙だったのに - 証明したからなんだよ
算数なんて足して引いて掛けて割ってできれば生きていけるだろ - 反さんまた負けたんか
- AI界隈で言われてるのは、産業革命で肉体労働の価値が減って筋肉が飾りになったように、AIによって知的労働の価値が下がってIQも飾りになるって
- 理系よりも対話重視の文系が勝ったとういうことでよろしいか？
- これはブロンプト書いた人の成果になるの？
- >>101
そりゃそうよ
俺も1年間未解決だった職場のシステムのバグの原因をチャッピーで解決してドヤ顔で発表した - AI驚き屋の飛ばし記事、売り抜けるタイミングのがしただけ
- これgptの力というよりこの若造の発想力では
- あとは将棋と同じあとはAIの出力を整理するだけの仕事になる
- マイナーな未解決問題だから、真剣にやる人が少なかっただけでは？
【高市AI】チャッピー、80分で60年間誰も証明できなかった数学界の難問を証明！
嫌儲
コメント