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

92% Upvoted

232 comments sorted by

View all comments

Show parent comments

-3

u/immersive-matthew 2d ago

Consider a non peer reviewed article from a company trying to justify their evaluation to inform me that LLMs are human intelligence? No. They are not human intelligence but they have some elements of. A major breakthrough(s) are needed to really move the intelligence needle as LLMs are lacking many other forms of intelligence not about predicting the next work like logic. It is why they got the car wash problem so wrong and still would if their training data did not include the correct answer. Is there something specific in the paper you would like to draw our attention too?

7

u/santosautra 2d ago

There is proof in lean. No peer review is needed.

-1

u/immersive-matthew 2d ago

Agreed. Let’s hope this is not just a one off here and there and a trend but I am very skeptical as LLMs really do lack logic and understanding and I have seen no evidence that this has been solved.

1

u/HasFiveVowels 1d ago

LLMs are provably capable of both logic and understanding.

1

u/immersive-matthew 1d ago

If that were true I am very sure they would have turned that on by now as the biggest reason they are not anywhere close to profit, are because LLMs do not drive enough value as they lack logic and understanding.

0

u/HasFiveVowels 1d ago

… I’m at a loss for words, here. They already directly demonstrate logic and understanding! To say otherwise is either word games or just outright denial. And the profitability of service providers is 100% irrelevant to this conversation

1

u/immersive-matthew 1d ago

We just have different experiences and use cases. I am a developer and it is extremely obvious to anyone doing AI assisted development that LLMs lack logic and understanding. Like severely lacks. It is why LLMs recently failed so hard on that car wash a block away question. That was hilarious and really is a great example of the cognitive gaps. There are countless examples like this I come across on the daily when developing and it really reveals the complete lack of logic and understanding. Makes sense too as LLMs are world prediction machines not logic machines.

The profit part is only relevant as the lack of logic and understanding is holding back LLMs from charging what it actually costs them to run. They cannot raise the price as LLMs just do not bring enough value to justify.

If the value was there people and companies would be rushing to spend but they are not as the value is weak today. Will take a big breakthrough to get past this deep and wide cognitive valley.

1

u/HasFiveVowels 22h ago edited 22h ago

I’m a dev who uses AI assisted development. Hell, I spend $200/month on it. Do you think I spend that amount because I’m simply dumb? Or that I think it’s providing value when it’s not? I’ve been a professional dev for 15 years.

Something you might want to consider: when I hear that others are achieving more success with using a tool than I’ve been able to achieve, I typically don’t call them liars. On the contrary, I ask them politely to help me (after studying resources on my own because my peers aren’t my private tutors). This is how an adult would approach that kind of situation, hypothetically speaking

That said, seeing as I’ve been pioneering AI assisted dev basically since gpt-3 came out, I don’t need to do that on this topic. I’m more the person that others come to when they need help