7个月超15数学家6年工作量，AI写下百万行代码挑战核验超大数学证明工程

谷歌旗下DeepMind团队宣布，其AI系统在数学证明领域取得突破，仅用7个月便完成了超过15位数学家耗时6年的工作量，并自动生成逾百万行代码。该系统旨在核验一个超大型数学证明工程，该工程涉及复杂抽象代数结构分类，此前由人类专家团队长期推进。AI通过自主推理与代码生成，成功验证了关键定理步骤，并发现数处人工疏漏，显著提升了证明的严谨性。这一成果展示了AI在形式化数学与自动化推理领域的应用潜力，或将对未来数学研究及软件验证方式产生深远影响。目前相关技术细节已提交同行评审，团队计划进一步扩展系统能力至其他数学难题。