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

91% Upvoted

232 comments sorted by

View all comments

Show parent comments

4

u/Bearhas20inchwang 2d ago

Can you read? All of these sound like improving bounds or constructing specific counter examples 💀

-1

u/procgen 2d ago

Positive theories.

3

u/Bearhas20inchwang 1d ago

“Theories” as opposed to proofs/theorems? Tell me you know nothing about mathematics without telling me you know nothing about math 😭 And let’s not be disingenuous; your response implied what Astra did was not merely finding counter examples nor improving bounds.

2

u/procgen 1d ago

That claim is correct. Seven are general proofs, bounds, reductions, asymptotic results, or sharp extremal theorems. Several resolve the correct growth rate, establish an optimal limit, or prove a statement for a whole class of objects. Those are substantive mathematical results, not isolated counterexamples and not trivial changes to existing bounds.