| ▲ | pama a day 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! | ||
| ▲ | somecontext a day ago | parent [-] | |
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that. | ||