alt Hacker NewsVery interesting that the vast majority of proofs formalized by AI (section 6) were only completed in the last few months. Exciting times ahead!
Very interesting that the vast majority of proofs formalized by AI (section 6) were only completed in the last few months. Exciting times ahead!
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.