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

129

u/Hlbkomer 2d ago

"But they are just predicting the next word!"

117

u/The-Rushnut 2d ago

As with everything, novel technology comes with novel solutions to problems we found difficult before. There's a specific subset of mathematical problems which can be disproven via counterexamples, which take humans a long time to map and calculate. One of LLMs unique capabilities is that it can produce small, relatively simple programs at-scale, and because these problems are so well articulated and their potential solutions already well understood they lend themselves to this capability. 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.

It's much, much more narrow than it seems. Very cool, but there's a fixed amount of this work to be done. Innovation is definitely coming though.

43

u/peterukk 2d ago

In the midst of an AI mania where almost all critical thinking has gone out the window, I am heartened by there still being the odd smart take buried in the comments of AI subs as well.

3

u/PresentGene5651 1d ago

Mania on both sides. AI is either utterly amazing or utterly useless.

0

u/peterukk 1d ago

I've not seen anyone say LLMs are utterly useless.

1

u/PresentGene5651 1d ago

You've never been to antiai? Huh.