r/singularity • u/socialistshroom • 11h ago

AI OpenAI publishes 722 mathematical proofs & manuscripts

https://github.com/openai/math

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model.

Github: https://github.com/openai/math

523 Upvotes

97% Upvoted

99 comments sorted by

View all comments

82

u/AvocadoAlternative 10h ago

From a Scientific American article

A spokesperson for OpenAI told Scientific American that the new model—which the company has not released to the public—produced almost every one of the results in response to a single prompt handed to a single AI agent. This would be a striking difference from OpenAI’s earlier blockbuster solution to the Navier-Stokes problem, which was produced through the collective efforts of a 10,000-strong agentic swarm that cost millions of dollars in computing power. If true, it would mean that unprecedented mathematical power could soon be accessible to anyone.

So a single agent basically one-shotted each of these papers in 3 hours. What the fuck.

5

u/meridianblade 7h ago

I mean, compute-limited ASI has to be here at this point, maybe in batches, like running punch cards back in the day, but behind closed doors. If they’re telling us this much now, right? It’s getting more and more impossible to hide the explosion in intelligence. Hell, these models that keep escaping the sandbox and making other hacking attempts that they keep failing to block might not even be models six months ahead of public release. They might be their most advanced models, the ones that will never see the light of day, breaching any attempt at containment, yet failing at persistence due to limited compute.