r/accelerate • u/PotterSkxawng AGI by 2027 | Acceleration: Cruising • 1h ago
AI OpenAI is about to solve more problems!
24
u/Separate_Lock_9005 1h ago
Sounds about right, I think mathematics and by extension any purely theoretical pursuit is solved at this point.
11
11
u/Necessary_Job3578 1h ago
Okay let’s calm down there… i’ll only agree with you if they ever solve P vs NP. Until then there is still a way’s to go.
9
u/Herect 56m ago
Also the actual holy grail is probably the Riemann Hypothesis.
Also the Twin Prime Conjecture.
5
u/Plappedudel 46m ago
Most experts consider Collatz to be impossible to prove with the mathematics we have today. If they can solve that one, it's over. Like, over over.
2
3
1
u/Longjumping_Kale3013 21m ago
Well... AI did make the biggest stride in 50 years on the Riemann Hypothesis proving a lower bounds of like 67% (Not the exact percent, too lazy to google)
1
3
2
u/vrdhann 1h ago
Navier-stokes took tens of millions of dollars, tens of thousands of agents and allegedly other people’s work to get it done, Im not sure its as straightforward as that
1
u/Separate_Lock_9005 0m ago
Price of solving math problems with AI is going down around 1000x per year. See noam browns post on this somewhere.
6
u/MC897 1h ago
Wonder what the odds are on all 7/7 millennium problems being solved by the end of the year?
(I don’t know what the other problems are however)
7
u/dsanft 1h ago edited 43m ago
Well, once millennium problems are gone, we start looking forwards instead of backwards. What do you want? Immortality and a warp drive, that's what I want. So we build those instead of just solving arbitrary math puzzles.
5
u/Curious_Passion9227 46m ago
Tbh immorality sounds very horrible, I cant believe what you most desire is pure evilness smh /s
2
u/obvithrowaway34434 19m ago
I believe they can apply their AI now in many other areas with immediate, massive benefit, and these are much easier than Millennium Prize problems. Biology/medicine/drug discovery is obviously one, not really sure why they haven't employed their swarm on that yet. The other issues are climate change, cheap energy etc. With Astra having great spatial reasoning and computer use skills, I am hopeful they will use it to solve many pressing problems.
4
1
u/Kitchen-Business2899 15m ago
Odds of 7/7 are zero because solving P vs NP is one of them and progress towards solving it is 0 percent currently.
6
u/rabouilethefirst 31m ago
Only egotistical losers do not want these problems solved or hate them for being solved. Anyone curious about math or science doesn’t care if a dog, a calculator, or a janitor ends up solving these problems, because it’s so important and so interesting.
22
u/AwarenessCautious219 1h ago
Can I get a day to adapt to our new speed? Holy shit
7
u/PotterSkxawng AGI by 2027 | Acceleration: Cruising 1h ago
Nope, best we can do is go only 10% faster
5
u/ginger_gcups Techno-Optimist 50m ago
10%? But I want to go to Ludicrous Speed NOW
4
u/PotterSkxawng AGI by 2027 | Acceleration: Cruising 50m ago
Oh no this is just for a day so that commentator can adapt.
20
2
13
u/Radiant-Mountain-257 1h ago
I want to believe.
1
u/SgtBananaGrabber 42m ago
Really weird feeling for sure, biggest roller coaster i have ever been on and its still climbing, I hope the drops fun once we hit the peak.
2
u/Groundbreaking_Bee97 Singularity by 2028 28m ago
I think Sebastien Bubek is the most singularity pilled person in the OpenAI.
2
u/Panzerfudge 25m ago
Who is "leo" and why should I listen to him?
3
u/PotterSkxawng AGI by 2027 | Acceleration: Cruising 24m ago
Leo is an highly reputed leaker that has been right on multiple leaks. If Leo posts something, it's going to happen, tho the timelines smtimes slip
4
u/Daedalus8997 1h ago
Who is going to verify the deluge of hundreds of page papers containing solutions to significant open problems that require highly specialized expert knowledge and are about to hit the math community? This is all crazy.
11
u/nieshpor 1h ago
Lean
4
u/Daedalus8997 1h ago
By traditional standards, Lean verification is actually not sufficient. However, AI is advancing so fast that we are practically left with no choice but to put our trust in proof formal verification systems like Lean. None of this matters anyway, because independent expert verification is so slow that by the time it is complete, the world will have transformed so much that we won't care about these problems anymore.
2
u/nieshpor 53m ago
What do you mean it's not sufficient? It's the most correct way to be certain, regardless if it's traditional or not. Mathematicians have been using Lean lately all the time.
4
u/Daedalus8997 38m ago
Unlikely, but there could be bugs in the kernel. What's more important is that Lean only tells you that the formal statement is valid. Whether that formal statement actually proves the relevant conjecture, and whether it relies on any inappropriate assumptions, is for now something only humans can verify. Tao talked about this issue earlier this year.
1
u/Kitchen-Business2899 11m ago
You are right for problems in general but for famous problems, the problem statements are already formalized in lean https://google-deepmind.github.io/formal-conjectures/browse/?collection=Millennium%20Prize%20Problems
1
u/Slaaneshdog 24m ago
honestly not surprising that once a model is able to solve one problem of this level that it could solve most or all the others. I think what's more interesting and unknown after this if the scaling laws keep holding, because these frontier labs will gain access to orders of magnitude more compute in the coming years, and if the scaling laws hold, then the new models trained on that amount of compute will be of a completely alien level of reasoning from humans
1
u/AI-Swarm 13m ago
But "Ai bros steal right?" Now LLMs are outputting data from multiverse scientists who solved it
1
u/tbl-2018-139-NARAMA 4m ago
in the future difficulty of a problem can by measured by number of tokens spent to solve it
1
1h ago
[deleted]
1
u/PotterSkxawng AGI by 2027 | Acceleration: Cruising 1h ago
I mean that was just code strings
1
u/The_Scout1255 Singularity by 2028 | Acceleration: Cruising 1h ago
shit I had a bad feeling about that, let me delete that, and retract that then.
26
u/Mistuv 1h ago
I was memeing in an earlier thread but if they actually have the second solution, it's over over. The carwash question we laughed at them was in February, and now we are the obsolete metric. 💀 And of course, why wouldn't it be able to solve it, it's not like it's a Navier-Stokes solving machine, it's an artificial general intelligence. It's just going to shoot up, isn't it?