數(shù)學圈對此反應不一,一部分人直呼逆天,另一部分人則認為還有4道題未解,離替代數(shù)學家還遠。但一個不可逆轉(zhuǎn)的趨勢已經(jīng)顯現(xiàn):我們需要更難的題庫來測試AI,并且動作必須快,因為現(xiàn)有的一切正在以肉眼可見的速度過期。
Epoch AI顯然意識到了這一點,他們在FirstProof開賽同期放出了FrontierMath: Open Problems,收錄了16道專業(yè)數(shù)學家死磕過但至今全軍覆沒的真正未解之謎。上線至今,沒有任何AI解出哪怕一道,這個“零分”現(xiàn)狀反而證明了題庫的價值所在。
FirstProof團隊已宣布將在3月14日推出難度更變態(tài)的第二輪挑戰(zhàn)。陶哲軒在最新訪談中表示,AI現(xiàn)在是他的“初級合著者”,并描述了一種全新的數(shù)學研究范式。他認為,傳統(tǒng)數(shù)學研究像是“個案研究”,而AI正在讓數(shù)學家第一次有能力做“大樣本普查”。AI不僅能處理繁瑣的計算,還能系統(tǒng)性地掃描人類根本沒精力去碰的問題長尾。
所有信號都在指向同一個事實:AI正在以一種不可逆的姿態(tài)嵌入人類數(shù)學研究的核心流程。隨著3月14日FirstProof第二輪挑戰(zhàn)賽的開啟,今天這篇文章里的所有數(shù)字可能就已經(jīng)過時了。
京昆高鐵西昆公司宣布,渝昆高鐵重難點控制性工程彝良隧道已安全貫通。這一成就標志著中國在復雜地質(zhì)條件下的高鐵建設再次取得重大突破,為全線建成通車奠定了堅實基礎
2025-12-10 18:11:07中國時速350公里高鐵最長隧道貫通近日,《三體》總制片人白一驄在接受專訪時透露,《三體2》團隊正在運用AI技術(shù)進行大量測試,比如生成太空失重等場景。他認為,AI生成能夠幫助拍攝團隊提高效率并降低成本
2026-03-20 19:05:41三體2將借助AI攻克拍攝難題近日,黑龍江大學、清華大學和新加坡國立大學合作完成了一項突破性研究成果,并在《Nature》上發(fā)表
2025-11-27 14:56:03新突破