AI Autonomous Mathematical Conjecture Generation System MathGenesis Unveiled: First AI System to Independently Propose and Prove New Theorems
DeepMind's MathGenesis system independently proposed 3 entirely new mathematical conjectures and completed formal verification proofs, with 1 conjecture's paper already accepted by the Annals of Mathematics.