An OpenAI Reasoning Model Autonomously Disproves a Longstanding Mathematical Conjecture
A developer reports that an OpenAI reasoning model independently disproved a mathematical conjecture, adding to a growing pattern of AI systems making genuine contributions to formal mathematics.
Subscribe to unlock all stories
Get full access to The Singularity Ledger, archive included.
Cancel anytime. Payments powered by Stripe.