DeepMind 推出 AlphaGeometry：搞定奥赛几何题，30 题解出 25 道
Google DeepMind 推出名为 AlphaGeometry 的 AI 系统，能解出国际数学奥林匹克级别的几何题。它把语言模型与符号逻辑引擎结合，30 道测试题中解出 25 道，远超 1978 年旧纪录的 10 道。这补上了 AI 欠缺严密推理的短板，不过它暂时还搞不定大学级抽象数学。
Google DeepMind 推出名为 AlphaGeometry 的 AI 系统，能解出国际数学奥林匹克级别的几何题。它把语言模型与符号逻辑引擎结合，30 道测试题中解出 25 道，远超 1978 年旧纪录的 10 道。这补上了 AI 欠缺严密推理的短板，不过它暂时还搞不定大学级抽象数学。