GPT-5 剛剛通過了研究人員所稱的「哥德爾測試」。 這意味著它不僅僅是在解決教科書上的問題,而是在處理通常需要熟練的博士生幾天才能破解的開放數學猜想。 在一篇新論文中,GPT-5 在 5 個未解決的優化猜想上進行了測試。它解決了 5 個中的 3 個。在一個問題上,它甚至產生了與研究人員預期不同的有效證明。 我們正式進入了前沿 AI 不僅僅是從數學中學習,而是正在進行數學的時代。 這帶來的影響是巨大的: • 在困擾人類數天或數週的問題上取得進展 • AI 促進真正的數學發現 • 預覽 2030 年代研究本身將如何轉變 人們仍然低估了這一點。能夠證明定理的模型的影響才剛剛開始顯現。 這是「華麗的自動完成功能」和真正的科學推理之間的界線。