AI
36氪生成式AI

他讓GPT-5.6 Sol連跑33小時攻關費馬大定理，被系統強制終止

2026年7月28日 20:25
他讓GPT-5.6 Sol連跑33小時攻關費馬大定理，被系統強制終止

重點摘要

賬號設置我的關注我的收藏申請的項目退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機。

站內 AI 整理稿

賬號設置我的關注我的收藏申請的項目退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機構庫投資機構職位推介投資人認證投資人服務項目推薦36氪Pro創投氪堂企業入駐創業者服務創投平臺AI測評網 首頁快訊資訊推薦財經AI項目推薦廣東最新創投汽車科技專精特新直播視頻專題活動搜索項目推薦我要入駐城市合作他讓GPT-5. 6 Sol連跑33小時攻關費馬大定理，被系統強制終止機器之心·2026年07月28日 20:15一直讓模型「繼續」，真能攻克數學難題嗎？ 作為一個普通人，如果你把一道數學難題給到 AI，並一直讓它「繼續」，它有沒有可能真的把這道題解出來，從而幫你贏得一大筆獎金，甚至改寫數學發展進程？ 最近，菲爾茲獎公佈，大家對於數學 + AI 的討論非常熱烈，相信也有不少人想象過我剛剛描述的「爽文」劇情。 其實，現實裡也真的有人在嘗試，但過程並沒有想象中順利。 最近，可逆計算、計算物理學頂尖專家 Michael P. Frank 發文表示，他給 GPT-5. 6 Sol 設定了一個高難度研究目標：探究費馬大定理是否存在比懷爾斯 - 泰勒證明更簡潔的途徑，重點放在專門的 Frey 曲線模性、一致無限下降法、算術 abc 型不等式以及一致低虧格商上；保持嚴謹的筆記，通過計算驗證候選引理，並清楚區分已證明的結果與推測。 這個任務在後臺持續運行了大約 33 個小時，消耗了大量計算資源。

原始來源：36氪 ↗
查看原始來源

Related

相關文章

36氪生成式AI

比「算力荒」更致命，「數據荒」正在帶來災難？

賬號設置我的關注我的收藏申請的項目退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機。

剛剛
智東西生成式AI

不止Kimi K3，北京AI正在補上Action拼圖

北京AI企業月之暗面的Kimi K3與千尋智能的Spirit v1.6分別在數字智能與物理智能領域取得全球領先突破，前者在編程榜超越閉源模型，後者於具身智能榜單登頂。兩家公司均選擇底層技術自研路線，並透過開源策略展現自信，共同勾勒出北京AI從數字空間走向物理世界的完整創新版圖。

剛剛
IT之家生成式AI

AI 公司被曝大量收購舊書，以獲取“純淨”訓練素材

AI 公司為獲取高品質、未受 AI 生成內容汙染的訓練數據，透過中間商大規模收購二手圖書，甚至不惜拆毀書籍進行掃描數位化。Anthropic 等公司已投入數百萬美元購買紙本書籍，但此舉引發倫理爭議，因為稀有書籍可能被破壞，且數位化內容僅供 AI 訓練，公眾無法存取。

剛剛
IT之家生成式AI

拒絕模仿在世作家文筆，OpenAI 悄悄為 ChatGPT 增加限制

首頁 > 智能時代>人工智能 拒絕模仿在世作家文筆，OpenAI 悄悄為 ChatGPT 增加限制 2026/7/28 19:11:25 來源：IT之家 作者：潞源 責編：潞源 評論： IT之家 7 月 28 日消息，據科技媒體 Android Authority 今天報道，OpenAI 最近悄悄更新 ChatGPT。當用戶要求按某位在世作家文筆仿寫作品時，AI 會直接拒絕。

剛剛