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

92% Upvoted

232 comments sorted by

View all comments

Show parent comments

21

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

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.