Formalizing the Enormous Theorem

(axiommath.ai)

11 points | by meetpateltech 4 hours ago ago

1 comments

  • cornholio 2 hours ago ago

    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).