Maryna Viazovska’s proofs of sphere packing formalized with AI
玛丽娜·维亚佐夫斯卡。图片来源：EPFL 2026。为 EPFL 教授 Maryna Viazovska 赢得 2022 年菲尔兹奖的证明达到了一个新的里程碑：通过数学家和人工智能工具之间的合作，通过计算机完成了它们的形式化。 2016 年，Maryna Viazovska 解决了 8 维球体堆积问题，证明了 E₈ 晶格 [...]
Bio-inspired structural design improves impact resistance and energy absorption
日本东北大学和武汉大学的研究团队开发了一种轻质的蝴蝶晶格结构，具有卓越的机械强度，在航空航天和抗震基础设施方面具有广阔的应用前景。
