Topic
#Ai Generated Proofs
1 article on Ai Generated Proofs — news, releases, guides and analysis from the SourceFeed engine.
Article
The Collatz 'Disproof' That Beat Two Proof Checkers
An AI-assisted Lean proof of False slipped past both the official kernel and the independent nanoda checker.
Emeka Okafor