AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に

20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。

そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。

How We Used GPT-5.2 to Solve an Erdos Problem : r/singularity
https://www.reddit.com/r/singularity/comments/1q6vaxj/how_we_used_gpt52_to_solve_an_erdos_problem/

（以下略、続きはソースでご確認ください）

Gigazine 2026年01月14日 20時00分
https://gigazine.net/news/20260114-gpt-5-2-pro-solved-erdos-problem/

AIで未解決の数学の問題を解けたってすごいな

問題がちゃんと定義されてない変数を使う時点で数学ではないから意味なし

科学技術については、新発見をしたのが知らないオッサンだろうがAIだろうがどうでも良くね?

世の中が便利になってくれさえすればそれでいいというか

常温核融合とかそういうの解決させろ

注目されていない論文を見つけてきただけと聞いたが？

人類終わったな

NPクラスの問題の解法に独自のアプローチを提示したと言う事か

誰も解いたことがない問題がAIに解けるわけないだろ

解けたかどうかどうやって確かめるん？

同じプロセスを人間が理解できるのか？

その回答があっとるかどうかをまた人が精査するんでしょ？

ああこれは確かに凄いっすね