DeepMind 推出 AlphaGeometry：搞定奧賽幾何題，30 題解出 25 道
Google DeepMind 推出名為 AlphaGeometry 的 AI 系統，能解出國際數學奧林匹克級別的幾何題。它把語言模型與符號邏輯引擎結合，30 道測試題中解出 25 道，遠超 1978 年舊紀錄的 10 道。這補上了 AI 欠缺嚴密推理的短板，不過它暫時還搞不定大學級抽象數學。
Google DeepMind 推出名為 AlphaGeometry 的 AI 系統，能解出國際數學奧林匹克級別的幾何題。它把語言模型與符號邏輯引擎結合，30 道測試題中解出 25 道，遠超 1978 年舊紀錄的 10 道。這補上了 AI 欠缺嚴密推理的短板，不過它暫時還搞不定大學級抽象數學。