球填充形式化项目发布历程博文
热点事件持续更新
球填充形式化项目发布历程博文
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
Sphere Packing Project 维护者发布首篇项目博文，讲述将 Viazovska 球填充问题在 8 维和 24 维的形式化历程，直至近期的自动形式化工作。 据博文，项目始于 2023 年 Kevin Buzzard 在 EPFL 的讲座牵线，Sidharth Hariharan 与 Maryna Viazovska 随后合作推进；2025 年 6 月仓库公开，此后依靠社区贡献与 packathon 协作。报道称 Math Inc 的 Gauss 完成了 8 维与 24 维球填充的形式化。
AI 根据报道生成 · 8 小时前更新
最新进展10月19日 10:40
Sphere Packing 项目复盘：Math Inc 的 Gauss 完成 8 维与 24 维球填充形式化报道时间线
沿着报道，了解事件的不同侧面。
10月19日
- Hacker News精选Sphere Packing 项目复盘：Math Inc 的 Gauss 完成 8 维与 24 维球填充形式化
Lean 形式化项目 Sphere Packing Project 发布博客第一篇，讲述从 2023 年 Kevin Buzzard 在 EPFL 的讲座牵线、Sidharth Hariharan 与 Maryna Viazovska 合作，到 2025 年 6 月仓库公开、社区贡献与 packathon 协作的全过程。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 1010月19日 11:00
- 近 24 小时变化
- –
02.557.510
12:0014:0016:0018:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。