OpenAI的一款模型解决了一个著名数学问题，该问题此前困扰人类研究者约80年。这一案例的关键不只是“AI做出数学题”，而在于它把问题转化为更适合模型发挥的形式：相比人类数学家依赖长期积累、直觉和少数关键洞见，AI更擅长在庞大可能性中持续搜索、比较和组合，从而找到过去难以推进的路径。不过，目前可确认的信息边界也很重要：素材未披露具体模型名称、问题名称、验证流程和是否经过同行评议，因此不宜直接推断AI已经能全面替代数学研究。更现实的影响是，AI可能在特定类型的证明、推导和候选方案筛选中成为科研工具，帮助人类缩短探索时间。据Ars Technica报道。
来源：Ars Technica
原始发布时间：Mon, 01 Jun 2026 11:00:00 +0000