经济学人报道AI形式化球体堆积证明 Math, Inc.《经济学人》报道Math Inc里程碑式地形式化了Viazovska的菲尔兹奖球体堆积证明，以创纪录时间完成最终结果： The Economist通过设计和验证证明，AI正在改变数学的方式。要了解如何操作，请注册阅读完整故事（免费）https://t.co/x9rWl2g6iD 动态Math, Inc.2026-04-11原文 打开互动版
