ai-assisted-math

#ai-assisted-math

Astra 和 Claude 证明了 11 个正方形的最优装填问题（已在 Lean 中形式化）

Reddit r/singularity ↗ · 2026-10-06

Astra 和 Claude 协助证明了 11 个正方形的已知最佳装填是已知最优的，该结果已完全在 Lean 证明助手中形式化。这是 AI 辅助数学与形式化验证的又一个里程碑。

0 人收藏 0 人点赞