4 ms·
Very interesting that the vast majority of proofs formalized by AI (section 6) were only completed in the last few months. Exciting times ahead!
by pama 9mo 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 9mo agoSee https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/ https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.