GPT-5.2破解數論猜想獲陶哲軒認證,OpenAI副總裁曝大動作

GPT-5.2破解數論猜想獲陶哲軒認證,OpenAI副總裁曝大動作

證明過程獲陶哲軒認證

這次證明由數學家Neel Somani推動,且論證過程由菲爾茨獎得主陶哲軒審查,確認無誤,並評價其為「AI解決開放性數學問題中最明確的案例之一」。

數學證明驗證細節

為驗證這份證明,陶哲軒親自動手,將整套遍歷論論證翻譯成組合學語言,並以哈代-利特爾伍德極大不等式取代伯克霍夫定理,重新走過全部推導,最終確認證明有效。

OpenAI發布新一代科研工具

凌晨,OpenAI發布了新一代AI科研利器Prism,此工具被視為推動AI在科學研究領域應用的重要里程碑。

模型核心設計重大調整

OpenAI副總裁透露,團隊正進行模型核心設計的改進,強調新模型能「吊打90%研究生」,但尚未出現顛覆性發現。

資訊來源

返回頂端