26/01/15 23:37:22.08 VPUnARa/.net
AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に
20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。
そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。
How We Used GPT-5.2 to Solve an Erdos Problem : r/singularity
URLリンク(www.reddit.com)
(以下略、続きはソースでご確認ください)
Gigazine 2026年01月14日 20時00分
URLリンク(gigazine.net)