谷歌造出AI數學家，48%碾壓全場！牛津教授用它破解60年未解之謎
谷歌推出AI co-mathematician多智能體系統
谷歌雲首席科學家、DeepMind研究副總裁Pushmeet Kohli重磅官宣AI co-mathematician——一套專為數學研究設計的多智能體協作系統，在FrontierMath Tier 4自主模式下斬獲48%正確率。
牛津教授藉助AI攻克長期開放問題
牛津大學數學家Marc Lackenby藉助該系統成功破解群論領域一個困擾學界數十年的問題（第21.10號），該問題長期未解，被視為數學界的重要懸案。
AI證明過程經歷修正與進化
- AI首次提供的證明被系統內的審查Agent識別為錯誤。
- 系統通過多智能體協作機制，逐步修正並生成正確證明。
- 這一過程展現了AI在數學推理中的自主學習與糾錯能力。
AI成為數學家的真正研究搭檔
人類數學家終於迎來了自己的「超級隊友」，AI已從輔助工具進化為可參與複雜數學推理的真正研究搭檔。