GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196
根據 OpenAI 與 ScientificAmerican 的報導,23 歲業餘者 Liam Price 在 GPT-5.4 Pro 協助下解決了 60 年未解的 Erdős#1196 原始集合問題。解題約 80 分鐘推理、30 分鐘整理成 LaTeX 並提交 erdosproblems.com 待審。要點是將整數結構與 Markov 過程連結;Tao 與 Lichtman 表示肯定。目前仍在社群驗證階段,尚未完成同行評審,資訊見 ABMedia 與 OpenAI4/28 Podcast。
鏈新聞abmedia·04-29 01:57
