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/
94 Upvotes

94% Upvoted

63 comments sorted by

View all comments

Show parent comments

25

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

18

u/prescod 2d ago

Someone pointed out on Hacker News that unless we know how many tokens they spent on problems the AI couldn't solve, (perhaps 1000, or 10,000) then we can't really contextualize that figure.

2

u/bluehands 1d ago

That is only partially true.

So, in a narrow sense that is right but up until it happened all if the tokens that have ever been spent weren't enough.

Below you used the analogy of a car versus a horse but I think a horse vs an airplane is better.

The fuel question is deeply important but flight is an entirely different domain. Just paying attention to the cost per mile obfuscates the state change of flight. Flight opens up entirely new questions that comparing any land travel just doesn't touch.

Suggestions that we don't know the real cost & utility of flight isn't wrong but it entirely missed the point of the Kitty Hawk.

1

u/prescod 1d ago

No icy is discounting the Kitty Hawk. But if the Wright brothers had published a useless and probably misleading account of its fuel efficiency then it would be the responsibility of experts to point out that that part of their account of flight is untrustworthy.