StoryFirst seen
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
6 names 10 voices 11 source posts
The story’s neighborhood
Explore the graph, or choose a connection below.
Follow the evidence
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.
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
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
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
One claimed result would show the Exponential Time Hypothesis is false, a central conjecture in complexity theory.
Businesses can automate more office work when a cheaper model scores the same on real tasks.
Price cuts are pulling large AI spending contracts away from Anthropic and intensifying competition between the labs.
Agents that click and type through software without an API could automate work in tools that lack integrations.