AI solved one of math's hardest problems. Humanity learned nothing (so far)
Mathematicians are expressing frustration with OpenAI after the company announced its AI solved a major math problem, citing a lack of human-readable insight in the proof. Experts argue that the current approach prioritizes AI output over the collaborative potential between machines and human researchers.
Why it matters
This highlights a growing tension between AI developers and the scientific community regarding the transparency and utility of AI-generated research.
When OpenAI announced its AI had solved one of the world's toughest math problems earlier this month, its tone was celebratory:
"A major goal of our work is to empower scientists to advance research and technology that benefits all of humanity," the company wrote .
But mathematicians say that, so far, humanity has learned very little from the solution the company's AI model purportedly found. Although they believe the proof to be technically correct, the dense, 166-page manuscript drafted by AI is proving to be a difficult read.
"So far it's been very difficult to really extract any human understanding from this new AI proof," said James Maynard, a mathematician at the University of Oxford.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in