目錄
OpenAI 4 月 28 日透過官方 Podcast 說明，GPT-5.4 Pro 協助破解懸宕約 60 年的 Erdős #1196 猜想。事件主角 Liam Price 今年 23 歲，並非受過完整高階數學訓練的研究者，卻利用模型輸出整理出可供社群審閱的證明草稿。
AI 給出非典型證明路徑
這道題屬於 primitive sets 研究範疇，核心是討論整數集合中元素互不整除時，相關 Erdős sum 的極限。GPT-5.4 Pro 採取的方向，是把整數結構與 Markov 過程理論連結起來，形成過去研究者較少採用的證明思路。
仍需等待正式驗證
Price 將模型約 80 分鐘推理得到的證明整理為 LaTeX 論文後，提交至 Erdős Problems 論壇。多位數學界人士認為這條路徑值得重視，但目前仍處於社群檢視階段，尚不等同正式同行評審完成。
這起案例顯示，AI 在數學研究中的角色正從輔助計算，進一步走向提出跨領域解題方向。後續關鍵仍在於人類研究者如何審核、形式化並確認模型給出的推理。
資料來源：鏈新聞 ABMedia
