2026年10月6日,這一天或許將被載入數學史冊。美國AI公司OpenAI在這一天釋出了震撼數學界的成果:一個尚未公開發布的AI模型,在短短數週內破解了至少372道長期懸而未決的數學難題,並發布了700多篇由AI生成的論文。
「如果是人類做到這件事,毫無疑問會立刻獲得菲爾茲獎(Fields Medal,數學界的最高榮譽),」羅格斯大學數學系主任康托羅維奇(Alex Kontorovich)在社群媒體上評價其中一項關於「準黎曼猜想」(quasi-Riemann hypothesis)的證明。
牛津大學數學家、克雷數學研究所所長布里德森(Martin Bridson)也形容這次的發布令人「嘆為觀止」,「直到最近,我們根本無法想像數學的邊界能在一天之內推進得如此之遠。」
一夕推進世紀進程:AI解決了什麼?
這批由AI解決的難題,涵蓋了代數、幾何、數論、理論電腦科學、數學邏輯到機率等幾乎所有數學子領域,其中不乏困擾頂尖專家數十年的謎團。