The rise of powerful AI will be either the best, or the worst thing, ever to happen to humanity. We do not yet know which."
—Stephen Hawking
The company announced three AI-generated results in mathematics, computer science and physics and highlighted different approaches to involving external experts as “shepherds” to help interpret the findings and develop scientific understanding.
The Association for Human Mathematics has criticised OpenAI’s approach to frontier AI-generated mathematical results, questioning the value of its large-scale publication and accusing the company of disregarding established norms of scientific research.
OpenAI has published a collection of mathematical results generated by an internal frontier AI model, along with Lean-formalised proofs, reasoning summaries and details about the computing resources used to produce the work.
The Leiden Declaration on Artificial Intelligence and Mathematics warns that AI-generated proofs could erode trust in mathematical research by producing convincing but difficult-to-detect errors.
