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
The Yang-Mills Working Group plans to publish OpenAI's submitted code and its validation, so the claim can be checked by mathematicians.
Disney plans to use the Adobe models in its studios and at its theme parks, tailored to its own properties.
A chart from its blog suggests extra compute spent at answer time is not hitting diminishing returns.
Moving the law's author to Congress could reopen debate over whether new AI rules favor the largest companies.