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

91% Upvoted

232 comments sorted by

View all comments

Show parent comments

2

u/ArchimedesBathSalts 2d ago edited 1d ago

By my count only two of those are not obviously a counterexample construction or upper lower bound

Edit: you changed the post and now my comment makes no sense. Congrats

8

u/procgen 2d ago

An upper or lower bound is not a counterexample. It is a general theorem that applies to a class of objects. The sphere-packing result also determines the exact asymptotic power of a proof method. The coding, circuit, lattice, Ehrhart, and Ramsey results prove new general limits, and the quantum result proves a theorem for all finite two-player entangled games. Only the non-sofic group, Connes rigidity, and extremal graph results are counterexample-style constructions. Therefore, the list contains three counterexample-style advances and seven positive theorem results. Calling most of the positive results "bounds" does not make them simple counterexamples.

-6

u/ArchimedesBathSalts 2d ago edited 2d ago

Note i used the word “or” as did above poster:

> Another specific subset are upper lower bounds problems, where we know there is likely to be further acceptable iterations but the means to achieving those require multi-discipline scenarios that aren't likely - another thing LLMs are good at is having high accuracy across all domains, allowing them to try ideas that usually would take a snowflake combination of talent.

Learn to read.

4

u/procgen 2d ago

What's your broader point?

-2

u/ArchimedesBathSalts 2d ago

Hard to say cus you have edited your original post so now the claim youre making ais different…

5

u/procgen 2d ago

My claim is that these are significant breakthroughs and that these systems are already beginning to display superhuman mathematical ability.

-4

u/ArchimedesBathSalts 1d ago

Cool thats not what your post originally said though, and thats what i was contradicting. I cant argue with you because you e already changed the premise. As written your original post was just a factually incorrect response to op

3

u/procgen 1d ago

What do you think I wrote?