An AI system solved nine open math problems with every step checked
An AI system for writing formal mathematical proofs solved nine of 353 open problems associated with mathematician Paul Erdős. It also proved 44 of 492 conjectures from the Online Encyclopedia of Integer Sequences, with each accepted proof checked by the Lean proof system.
·120 views