Formalizing the Enormous Theorem
meetpateltech
12 points
1 comment
October 27, 2026
Related Discussions
Found 5 related stories in 137.2ms across 10,780 title embeddings via pgvector HNSW
- How to Formalize All of Mathematics practal · 78 pts · October 16, 2026 · 67% similar
- Formalizing Fermat's Last Theorem jlebar · 565 pts · September 04, 2026 · 66% similar
- Fermat's Last Theorem in Lean 4 aaraujo002 · 83 pts · September 04, 2026 · 52% similar
- Theo Conjecture solves 35-year-old math problem, finds a term no one predicted otalp · 33 pts · July 29, 2026 · 51% similar
- If math is more than proof, we need to better celebrate the rest of it num42 · 336 pts · September 19, 2026 · 51% similar
Discussion Highlights (1 comments)
cornholio
In what way is this like a periodic table? How can mathematicians use these results to build other interesting concepts or solutions? As opposed to them being accidental, fractal complexity that simply happens to be that way with no higher meaning, like the infinite digits of sqrt(3).