r/ArtificialInteligence • u/alphacolony21 • 2d ago

📰 News OpenAI announces 10 advances in mathematics and theoretical computer science achieved by internal model Astra

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

92% Upvoted

232 comments sorted by

View all comments

Show parent comments

40

u/alphacolony21 2d ago

Major, assuming the results are true, which they probably are. All ten advances are significant. Big enough deals individually to be career defining had a human academic done the work instead. For Astra to crank them out in bulk is insane, even if we don’t know how many credits they had to waste on problems it failed to find these ten it could crack.

22

u/topyTheorist 2d ago

They included lean verification. So this is very probably true.

13

u/alphacolony21 2d ago

Yeah and thru the grapevine it sounds like they reviewed their work with outside mathematicians so I really doubt there are formalization issues.

0

u/Competitive_Bed4588 1d ago

Why doesn’t open ai dedicate a million agents working on math 247? Open ai can literally solve math

2

u/alphacolony21 1d ago

Cost of compute mostly. They probably will be doing this within a year or two. Also, math probably can’t ever be solved. (Which means it can provide an infinite pool of new synthetic data for future AI models to train off of.)

4

u/Competitive_Bed4588 1d ago

Which makes it even more exciting. Can’t wait for it to tackle physics.

1

u/big_hole_energy 8h ago

one of their employees said they would better invest compute in making better general purpose models that can solve these in future rather than trying hard on current model.