菲尔兹奖级别成果获 AI 形式化验证，数学研究正式进入“人机协作”时代

摘要：： 乌克兰数学家 Viazovska 关于高维球堆积的获奖证明，近日由谷歌 DeepMind 与人类数学家团队合作，通过 AI 逻辑引擎完成了完整的形式化验证。这意味着该数学成果的每一行逻辑都经过了计算机代码级别的严谨校验，排除了所有潜在的人类疏忽。这是历史上首次对这种量级的顶级数学成果进行全流程机器验证，标志着数学研究正从单一的人脑推导演进为“人类直觉启发+机器逻辑验证”的新模式。科学家预测，这种模式将在未来五年内大幅加速复杂物理公式和新材料模拟的研发进度，为科学发现插上“硅基翅膀”。
来源：： IEEE Spectrum