八维球堆积问题的形式化里程碑

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

原始链接: https://www.alphaxiv.org/abs/2604.23468

我们正在招聘 论文博客资源 12/ - 隐藏工具 Ctrl + / 一个形式化的里程碑：八维球体堆积问题 助手 我的笔记 评论 相似