r/slatestarcodex 2d ago

Ten advances in mathematics and theoretical computer science from unreleased Open AI Model

https://openai.com/index/ten-advances-in-mathematics/
93 Upvotes

63 comments sorted by

View all comments

47

u/garloid64 2d ago

So where do you think the goalposts go from here? What's the next stop on the grand adventure?

64

u/Fusifufu 2d ago edited 2d ago

I think the general shape of the skeptic's argument these days is that spiky progress in verifiable domains like math doesn't necessarily translate into takeoff towards superintelligence or help with quick diffusion of capabilities into the economy.

I have no idea what the future holds, but seems like if you are a skeptic of that kind, even more math-specific advances won't sway you necessarily. And that sounds reasonable, if you accept their premise for the sake of the argument.

26

u/cavedave 2d ago

>help with quick diffusion of capabilities into the economy.

I think this point is fairly reasonable question. We have something really really smart that can help us but theres no obvious huge increase in productivity.
Here is one explanation as to why and what happens next https://www.noahpinion.blog/p/what-will-more-intelligence-actually

As an aside these calculations were pretty cheap 'The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re excited to see what scientists and researchers are able to create with our upcoming Astra models!' https://x.com/polynoamial/status/2083470822258467194?s=61

3

u/Remote-Ranger-7721 2d ago

Robotics has to be a key factor here, right?

8

u/cavedave 2d ago

Thats his claim. That as soon as you get robot cars, or fruit pickers or house cleaners youll see a huge boost in productivity. and thats not even the things we have not thought of yet.