人工智能在数学领域高歌猛进，似乎正以不可阻挡之势逼近甚至超越人类智慧的边界。从国际数学奥林匹克（IMO）赛场上斩获银牌级成绩（DeepMind的AlphaProof与AlphaGeometry 2组合系统[1]解决了当届难题），到辅助顶尖数学家证明困扰学界数十

数学 奥数 长文 卢斯蒂格 usamo 2025-04-02 17:32  3