获取独家产品信息，尽享促销优惠！立即订阅，不容错过
* 限···时··优惠
Maryna Viazovska’s proofs of sphere packing formalized with AI
玛丽娜·维亚佐夫斯卡。图片来源：EPFL 2026。为 EPFL 教授 Maryna Viazovska 赢得 2022 年菲尔兹奖的证明达到了一个新的里程碑：通过数学家和人工智能工具之间的合作，通过计算机完成了它们的形式化。 2016 年，Maryna Viazovska 解决了 8 维球体堆积问题，证明了 E₈ 晶格 [...]
