We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.Read original on X
StoryFirst seen
OpenAI publishes 722 AI-generated proofs of open math problems
The GitHub repo includes a quasi-Riemann hypothesis proof and was released with input from an Institute for Advanced Study advisory group.
Everything it touches
5 names 10 voices 11 source posts
The story’s neighborhood
Explore the graph, or choose a connection below.
Follow the evidence
The source posts
This brief comes from Tech Twitter’s edited headlines. The posts below are the sources grouped with the story; statements in them belong to their authors.
OpenAI's Math post is up!Read original on X
SITUATION DETECTED: OpenAI has released a GitHub repository with over 700 math problems solved by its models.Read original on X
Completely unrelated to the rest of the ships today, but our models did solve some important math problems and the team documented it in the following blogpost. Remarkable new era of scientific progress.Read original on X
Read 7 more source posts
mathematicians: frontier labs need to publish real proofs so we can check them, not blog posts OpenAI: fine. here’s 722 papersRead original on X
This OpenAI math drop is nuts. This 7/8 quasi-Riemann hypothesis proof looks like one of the most important advances in analytical number theory in decades. And they also resolved one of the most famous decidability problems in number theory! Plus 3,998 more things! Oh my god.Read original on X
"The average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking."Read original on X
We are entering a new era of discovery now:Read original on X
My partner is a theoretical computer scientist (essentially a mathematician). She has mixed feelings about AI's impact on math research overall, but her feeling about today's release is one of overwhelming awe and excitement. Literal tears of joy. Quote: "so lucky to be alive rn"Read original on X
towards acceleration of scientific discovery and improving quality of life for everyoneRead original on X
OpenAI’s internal frontier model looking at the world’s hardest open math problems rn:Read original on X
Shared connections
Related stories
DeepSeek releases faster, cheaper update to its Flash model
The update is already live across major inference providers, keeping price pressure on in the open-model race.
Mathematicians scramble to digest OpenAI's breakthrough results
Researchers including Scott Aaronson describe colleagues dropping their work to unpack AI solutions to problems that stood open for decades.
OpenAI claims breakthroughs on famous unsolved math problems
Mathematicians including former OpenAI researcher Scott Aaronson say colleagues across the field are dropping their own work to understand the solutions, a signal of how quickly AI
Apple nears DOJ antitrust settlement over developer objections
PayPal and Epic Games warned Justice Department officials that a settlement could leave Apple's restrictions on rival apps and devices largely in place.