Explore BIG CHANGE reporting on OpenAI’s mathematics collection: what changed, how it works and why it matters.
The Association for Human Mathematics objects to OpenAI's proprietary math research and mass release. Withdrawals and proof repairs show a changing record, not a verdict on the whole collection.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase
In a World Science Festival interview, Tristan Buckmaster explains how AI-produced arguments were formally checked and why readable proofs and independent assessment still matter.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase
OpenAI withdrew three math manuscripts over a sign error. The notices identify the failed proof step, preserve earlier PDFs and leave the claims unproved.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase
OpenAI's mathematics release shows why AI-produced research needs independent checking, explanation and replication. Industry use can test practical value within its scope.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase
OpenAI's collection contains 722 manuscripts in 372 families. A close look at one Lean proof configuration shows how to inspect versions, scope and checking requirements.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase
Private AI discoveries raise a question about public power: who can inspect the evidence, choose the next research question and benefit from the answers? A look at release incentives, scientific understanding and human agency.
From the unit-distance disproof to Navier-Stokes, AI mathematics is advancing through new results, human follow-ons and formal proofs. What has really changed?
