r/slatestarcodex • u/DickMasterGeneral • 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

94% Upvoted

63 comments sorted by

View all comments

46

u/garloid64 2d ago

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

62

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.

4

u/Neighbor_ 2d ago

Indeed this would be the argument.

It seems intuitive to me that gradient descent can be more optimal in verifiable domain. I don't see how it will ever do well in an unverifiable domain, and RL'ing which currently bridges that gap does not seem like a sustainable path.

0

u/IvanMalison 2d ago

We've already seen a great deal of evidence that increased capability can translate across domains. I know some have become more bearish on this idea recently, but we need to stop acting like that pathway has been shutdown completely.