A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
(news.ycombinator.com)
1.
2.
Mathematics Distillation Challenge – Equational Theories
(news.ycombinator.com)
3.
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(news.ycombinator.com)