Comment by pama
2 days ago
Very interesting that the vast majority of proofs formalized by AI (section 6) were only completed in the last few months. Exciting times ahead!
2 days ago
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.