OpenAI Unleashes Hundreds More Math Results Upon a Field Already In Shock
OpenAI says an unreleased internal model has produced 372 results that either resolve or make substantial progress on open problems in mathematics and theoretical computer science. The company says almost all were generated by a single AI agent from a single prompt. "This would be a striking difference from OpenAI's earlier blockbuster solution to the Navier-Stokes problem, which was produced…
OpenAI has just unleashed a staggering 372 new mathematical discoveries upon a field that was already reeling from recent revelations. The majority of these breakthroughs were single-handedly produced by a solitary AI agent, following just one carefully crafted prompt. This represents a stark contrast to OpenAI's previous high-profile achievement - cracking the Navier-Stokes problem - which required the orchestration of a massive 10,000-strong AI army that consumed colossal amounts of computing power.
The avalanche of results was made public today in a GitHub repository, with the company detailing the findings in Scientific American. The deluge of mathematical insights is expected to keep mathematicians busy for months to come, as they work to discern which proofs contain genuinely novel ideas and which are primarily rehashed techniques.
However, many of these results have already been authenticated through the Lean programming language, which meticulously verifies the logical consistency of proofs, indicating a high likelihood of their correctness. Among the impressive claims made by the AI are a solution to the perplexing four-dimensional Kakeya conjecture, enhancements to some of the world's most crucial computer algorithms, and tangible progress towards one of mathematics' most daunting challenges, the Riemann hypothesis.
Written by urgent.news from Slashdot's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
This story
This is one outlet's version. Read the fullest account.
- OpenAI releases 372 groups of math results from unreleased frontier AI model indianexpress.com
- OpenAI says its internal model produced 372 math results, nearly all from a single prompt handed to a single AI agent; some might have taken multiple attempts (Joseph Howlett/Scientific American) scientificamerican.com
- OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI) openai.com
- OpenAI released 372 groups of math results on GitHub after its Millennium Prize breakthrough qz.com
- OpenAI publishes AI math results on GitHub techinasia.com
- Apple's home ecosystem 🏠, OpenAI math 🧮, state of tech 👨💻 tldr.tech