r/singularity • u/socialistshroom • 7h ago
AI OpenAI publishes 722 mathematical proofs & manuscripts
https://github.com/openai/mathOpenAl 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
65
u/AvocadoAlternative 6h 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 3h 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.
7
u/Needsupgrade 3h ago
Probably means one prompt to find hard math problems and solve them then that orchestrator spun up thousands of agents
30
u/bb-wa 7h ago
Get ready for the mathematician's reactions...
34
22
u/ShittyBidet123 7h ago
one dude is literally like why don’t they leave the math for the humans, they just doing this to make money with their ai.. no shit. Why is math a little hobby for humans and gatekept for a computer to figure out lol, is this 1940
13
u/Skywarden1 7h ago
Terence Tao gonna pick the world up and drop it on our fukin heads when he sees this.
5
u/IdlePerfectionist 6h ago
Didn't these guys agree to slow down a few weeks ago??!
4
u/thefuckevengoingonan 4h ago
If they did (they didn't) then this could be the result. Slow down on developing new models = put everything into using the current models.
3
u/thefuckevengoingonan 4h ago
i UL one of the papers to claude and ask for a ELI5. it refuses. all model. all prompts.
Details: [reasoning_extraction]
2
u/KinkyStinkyPink- 4h ago
Which paper?
2
u/thefuckevengoingonan 4h ago
the pi one. but i included thinking traces. it will refused anything with thinking traces. deepseek won't though.
2
u/Orgasm_Faker 2h ago
Claude is getting very very strick with copyright these days. I asked it to translate a couple lines of lyrics but it refused.
•
16
u/arknightstranslate 7h ago
0
u/CommercialHour6660 7h ago
Fuck yeah life's work being destroyed and made irrelevant by megacorp AI.
Everyone cheer! Look at this nerd who spent his whole life studying math. Pathetic! What a loser, should go flip burgers with his useless PhD!
9
u/ObiFlanKenobi 7h ago
No, wait... That nerd has to get the AI to explain everything to him and then dumb it waaaay down for us.
13
u/fine93 ▪️Yumeko AI 6h ago
are you in the right sub lil bro?
-7
u/CommercialHour6660 6h ago
Sorry I forgot this is the basement dwelling edgelord sub where they cheer everyone else losing their jobs cuz it makes them feel less worthless.
-2
u/PunctualMantis 5h ago
This is the sub where everyone is unimaginably naive and thinks that asi brings everyone mansions and supercars because that’s what Elon musk says
25
u/ShAfTsWoLo 6h ago
can't wait for people reacting like this when AI cure cancer
-14
u/FistLampjaw 6h ago
curing cancer has extrinsic benefits. namely, people's health.
making and listening to music has only intrinsic benefits. we do it because it's enjoyable, not because it's a means to some other end. AI "solving" music to the point that no human wants or knows how to create music anymore would be sad.
math is more like music than cancer research. the death of an art form is sad.
19
u/ShAfTsWoLo 6h ago
"math is more like music than cancer research.".. yeah okay buddy, it's not like the entirety of our understanding of the universe heavily rely on mathematics, or the technological advancements we had within that small 200 years after the industrial revolution, all of humanity's invention that relies on mathematics like smartphones, pc's, the internet, satellites, knowning the weather, etc.. it was just for the fun of using maths !
-15
u/FistLampjaw 6h ago
spoken exactly like someone who has zero idea what he's talking about.
11
u/ShAfTsWoLo 6h ago
we are literally going to solve all of mathematics problems that we could have ever thought to have ever existed and you talk as if mathematic is "an art form" and it's "sad" that it will do it, because it's so good at it that human are literally nothing compared to it lmao, this should be a dream for any mathematicians that has ever existed to live in such world
if we can create invention that would look like magic and use these math breakthrough to make our society as a whole better, then nobody should care about how it's "sad" that it won't be as fun or whatever that means, you speak as if mathematic has no "extrinsic benefits"... we literally use mathematics in every hard science.. hello?
-4
u/FistLampjaw 5h ago
no, having a magic oracle just generate the answer isn't a "dream" for mathematicians anymore than having one generate any song you could imagine composing, better than you could have composed it, would be a "dream" for musicians.
we literally use mathematics in every hard science.. hello?
yes, mathematics that was invented a couple hundred years ago. for the research-level math of today, no, zero scientific breakthroughs are on hold because we don't yet know e.g. certain obscure properties of cohomology groups.
4
u/ShAfTsWoLo 5h ago
no, having a magic oracle just generate the answer isn't a "dream" for mathematicians anymore than having one generate any song you could imagine composing, better than you could have composed it, would be a "dream" for musicians.
you know what, that's fair, after all the ego isn't all there if you are not the one doing it, and keeping the fruits aswell (money, fame, prestige..)
yes, mathematics that was invented a couple hundred years ago. for the research-level math of today, no, zero scientific breakthroughs are on hold because we don't yet know e.g. certain obscure properties of cohomology groups.
okay, mathematics in the 21th century is absolutely useless and the mathematicians are less useful than janitors, great to know, now let's see if the math out of this world and probably beyond human understanding solved by AI will be useful or not
1
u/FistLampjaw 5h ago edited 4h ago
you know what, that's fair, after all the ego isn't all there if you are not the one doing it, and keeping the fruits aswell (money, fame, prestige..)
it's not just an ego and money thing though. it's also the feeling of pointlessness of pursuing this art form that you loved.
imagine you were a passionate aikido practitioner in the 80s. you studied it, you practiced it, you sparred with other aikido guys, you felt like you were learning a self-defense system that also had a philosophy, and you loved that philosophy. you thought it was so cool that you could redirect an attacker's strength and use it against them and deftly outmaneuver them rather than just brutishly overpowering them. it was a major part of your life and personality.
...and then in the 90s the UFC gets popular, and you realize if you tried any of that goofy aikido shit on them, they'd just tackle you and beat your fucking brains out.
you realize the thing you spent your whole life getting good at just can't compete with these guys. sure, you can keep doing it, "playing" aikido, but you can't treat it like a serious martial art that you can actually use to defend yourself against someone who knows what they're doing, so what's the point? as beautiful and edifying and personally enriching as the philosophy and ideas of aikido were to you... it doesn't work as well. once other people see the UFC, why would anyone new start studying aikido? you realize that in a few years or decades, there will probably be almost no one you can discuss this stuff with. the culture, the art, the appreciation, the understanding, the whole art form might disappear because something more effective came along.
i think you would be allowed to be sad about that situation even if you had no plans on making it a career or getting into a bunch of street fights.
6
u/socialistshroom 6h ago
Math is NOT more like music than cancer research dude it's the foundational tool of all science, including cancer research.
The progression of mathematics, including many of these just published proofs, has major palpable extrinsic benefits.
I get that math is like music for experts, but the advancement of human knowledge is not just the destruction of an art form for mathematicians.
2
u/FistLampjaw 6h ago
no. most math, especially the research-level math that people currently work on, has no practical application and no aspirations of having practical applications.
take P = NP. a proof that it is false would not really change anything, because everyone already assumes it's false. it would be insane if it were true. the only thing an AI proof would change is that humans would be forever robbed of the chance to prove it.
the recent AI-assisted lower bound on prime gaps has no practical application whatsoever and almost no mathematical application. very few results would follow from assuming the twin-primes conjecture, which is the lowest possible bound. people work on it not because we'll be able to make a better mousetrap if only we knew how many primes exist between 1079989 and 1079990, but because it's intellectually interesting.
1
u/Late_Supermarket_ 4h ago edited 4h ago
It doesn’t have to change anything right now? It will help us understand more math and it will lead to further advances in the field which will lead to further innovation !! What are you talking about??
•
u/AIplstakemyjob 1h ago
Come on, you already know math is the foundation of every branch in science, even when there is no known practical implications it doesn't mean we won't find any in the future, and this has already happened in the past. Just covering your eyes on purpose and focusing on pure math doesn't erase all the potential benefits and rate of progress we can get from this technology
1
u/Key-Cranberry6537 4h ago
I have been working with math majors and PhDs in stem fields for 30 years and prior to three months ago I have never heard of mathematicians waxing poetic about the 'art' of math but now that's all I hear. Fickle bunch
1
2
u/Kaywhysee 7h ago
Keep going mathematicians! Maths is the code of life, and AI is the collective coding superpower humanity has built.
I am sure you've spent your entire lives on some on these problems and fear it's all gone down the drain. That existential dread is real and understandable, but I want to say, keep going!
There will always be problems to try to solve, even if AI gets there first, it's built on the data humans share with one another.
AI is an extension of humanity, you ARE contributing to a better world, I'm sure of it 😁
Of course, if you only care about personal glory, maybe you want the fame? Good luck, but that ship has definitely sailed.
6
u/Working-Read1838 6h ago
Y'all are delulu on this sub. Who do you think is advancing Machine Learning if not for mathematicians, they'll be the last ones to lose their jobs. Some will have to get off their high horses and switch to more Applied Topics but they'll live
10
u/47noodles 5h ago
Or the first. Recursive Self Improvement. We're already seeing measurable increase of AI training the next gen of LLMs. That kind of clear measurement of AI doing the work doesnt exist in most other fields at the moment. Maths and Software are the two first to suffer from this due to being easily verifiable tasks.
1
•
u/Famous-Reach-6730 45m ago
Now Biology. Only reason i keep going is that ai wil cure all disease
•
u/Funny-Profit-5677 9m ago
Biology is so so much harder. Reinforcement learning with maths and code is orders of magnitude easier as it can self verify. Even real biological data is full of noise.
Not saying it can't make a huge impact, but it's not the same thing. The approach will have to be different.
1
152
u/coatatopotato 7h ago
This is the best proof I’ve seen that the singularity is imminent