AI is already a co-pilot for math and theorem proving. We have proven 39 proofs in ProofNet that did not have human-written proofs in Lean. We continue to add AI-written proofs to ProofNet https://
github.com/zhangir-azerba
yev/ProofNet/pull/14
… @KaiyuYang4
AI Proves 39 New Mathematical Theorems in Lean Proof System
By
–
