First AI-Generated and Formalized Erdős Problem Marks a Milestone in Mathematical Research
An AI system reportedly generated and formally verified a novel problem in the tradition of Paul Erdős, suggesting AI is beginning to contribute original mathematical conjectures — not just proofs.
Subscribe to unlock all stories
Get full access to The Singularity Ledger, archive included.
Cancel anytime. Payments powered by Stripe.