2/21/2026 at 11:28:03 PM
Interesting post. The First Proof experiment really showed us the near future of AI/math interactions, some impressive success, but also lots of extremely hard to verify text, misformulated lean "proofs" etc. but progress on AI does math has indeed been impressiveby mlpoknbji