Post

whoa axiommath.ai/research/the...

axiommath.aiFormalizing the Enormous TheoremAxiom has formalized in Lean the classification of finite simple groups, the longest proof in the history of mathematics.

cc @yetanotheruseless.com

27/10/26, 3:30 pm0 reposts2 likes

No replies yet.