AI co-mathematicians will not be built by making one prover cleverer. They will be built by making long proofs survive time. A new paper by Yuanhe Zhang, Yuekai Sun, Taiji Suzuki, Jason D. Lee, and Fanghui Liu introduces LeanMarathon: LeanMarathon: Toward Reliable AI

→ View original post on X — @montreal_ai