Future of work
OpenAI enlists academic communities to verify AI-produced math and physics results
- Published
- Source
- OpenAI Blog
Summary
OpenAI announced three results produced by its internal models: a proof of the local smoothing conjecture in every dimension, a refutation of the Exponential Time Hypothesis, and existence proofs for Yang-Mills theory and QCD. The company is also piloting a new release process in which external experts lead how the results are understood and released. For mathematics, the AI output and Lean formalizations are public; for physics, a group led by Nobel laureate David Gross will review the work and decide on releasing the materials. OpenAI says it claims no academic credit and that participation is voluntary and unpaid.
Why it matters for our work
If a routine emerges in which human researchers verify and explain AI-produced findings, the pace of releasing and checking research could change substantially. Final verification still rests with the academic community, so for now these claims rest on OpenAI's own announcement.
Translated from the Korean original. Summaries may be translated and edited. Commentary reflects our perspective; forecasts remain the source’s views.