GPT5.2が数学界を震撼させた：15日で11のエルデシュ問題を解き明かした。陶哲轩がコメントを投稿

人工知能が数学分野で大きな突破を遂げ、GPT5.2モデルはポール・エルデシュが残した未解決問題をわずか15分で証明し、形式化ツールによって検証しました。エルデシュの千を超える予想はかつて人間の知恵の限界とされていましたが、最近では15の問題が解決され、そのうち11はAIによって達成されました。