谷歌AI攻克6道世界級數(shù)學難題 數(shù)學界最后防線崩塌。剛剛,人類數(shù)學界面臨了一次前所未有的沖擊。AI不僅能夠解題,現(xiàn)在甚至能獨立完成PhD級別的純粹數(shù)學研究。谷歌DeepMind的最新AI研究智能體Aletheia,在一場名為「FirstProof」的挑戰(zhàn)賽中,解決了10道公認的世界級未解數(shù)學難題中的6道。
DeepMind高管Thang Luong在X上激動地表示,這一成就比去年歷史性拿下IMO金牌的意義還要重大。這些題目連全球最頂尖的數(shù)學家都感到棘手。結(jié)果,Aletheia不僅自主算出了答案,甚至連提出其中第7題猜想的數(shù)學家Jim Fowler也親自確認了AI的解題過程是完全正確的。天才數(shù)學家陶哲軒也在最新的訪談中表示,AI已經(jīng)成為了他的“初級合著者”。
Aletheia之所以如此強大,是因為它掌握了一項關鍵技能:自我過濾。傳統(tǒng)的AI大模型常有不懂裝懂的問題,但在科研級別的高端局中,這樣的行為是不可接受的。DeepMind給Aletheia設計了兩個子系統(tǒng):“生成者”和“驗證者”。前者負責大開腦洞,瘋狂猜想解題路徑;后者則專門負責挑刺。當遇到無法解決的問題時,Aletheia會直接告知“未找到解法”,而不是胡編亂造。
在這次挑戰(zhàn)中,Aletheia投入了大量算力,特別是第7題,其計算量是之前解開Erd?s-1051問題時的整整16倍。數(shù)學界權威Sang Hyun Kim高度評價了AI的解題步驟,認為這是獨一無二的稀有案例。
這次挑戰(zhàn)賽的結(jié)果充滿戲劇性。2月6日題目放出后,專業(yè)學者、民間高手和各大AI實驗室紛紛參與。到2月14日揭曉答案時,沒有任何人或團隊全部拿下。出題者自己用Gemini 3.0 Deep Think和ChatGPT 5.2 Pro跑了一輪,也只解出了2道。最終,OpenAI最強內(nèi)部系統(tǒng)在有限人類監(jiān)督下解出5道。相比之下,Aletheia零人工干預做出6道題的含金量非常高。
京昆高鐵西昆公司宣布,渝昆高鐵重難點控制性工程彝良隧道已安全貫通。這一成就標志著中國在復雜地質(zhì)條件下的高鐵建設再次取得重大突破,為全線建成通車奠定了堅實基礎
2025-12-10 18:11:07中國時速350公里高鐵最長隧道貫通Claude僅用31步就獨立攻克了一個未解的圖論猜想難題。算法界的祖師爺高德納對此表示震驚,并重新評估了生成式AI在數(shù)學研究中的作用。高德納是《計算機程序設計藝術》的作者,也是圖靈獎得主
2026-03-07 19:20:29Claude震驚88歲圖靈獎得主近日,《三體》總制片人白一驄在接受專訪時透露,《三體2》團隊正在運用AI技術進行大量測試,比如生成太空失重等場景。他認為,AI生成能夠幫助拍攝團隊提高效率并降低成本
2026-03-20 19:05:41三體2將借助AI攻克拍攝難題近日,黑龍江大學、清華大學和新加坡國立大學合作完成了一項突破性研究成果,并在《Nature》上發(fā)表
2025-11-27 14:56:03新突破