jeanmichelselli

Joined 2 months ago

Karma
14
Submissions
25
Member since
Sep 3
View on Hacker News

Recent submissions

Comment · 2 months ago
AI models and in particular LLMs are not capable of logic reasoning. See for example this paper:

https://arxiv.org/abs/2506.06941

Ergo, they can't prove any theorem whatsoever. How do people at OpenAI expect that we believe in claims like that? This is yet another before-the-IPO stunt in my opinion..

Personally, I won't believe any of these claims until the community of mathematicians says otherwise.

Comment · 2 months ago
Comment · 2 months ago
Too many unverified claims from OpenAI at this point.. why are we still talking about these people anyway?
Comment · 2 months ago
Well.. I think I can imagine why.. ;)
Comment · 2 months ago
This would make sense only if the LLMs would be constantly updated with a new data set and training phase every day. In that case, I'd could see this approach as having some sense. But, otherwise, these are just stochastic machines trained on static (outdated) data and I don't see how their predictions should be better than any other method around or even better than a human guessing.
Comment · 2 months ago
I just hope they don't become the new OpenAI...
Comment · 2 months ago
This is an amazing project, I'm always impressed by stuff like this. I'd be very curious to know, though, if there's a market for achievements like that.
Comment · 2 months ago
Clearly, the prices and limitations will increase with time if they don't find an efficient way to perform training and inference of LLMs. It would be great to see those issues being seriously addressed and, eventually, being fixed for good. THAT would definitely make an important and practical difference. Not only economically but also scientifically.
Comment · 2 months ago
No one from Microsoft will ever confirm, but the status of Windows "OS" says it all.. ;)
Comment · 2 months ago
simple = maintainable
Comment · 2 months ago
In my opinion, LLMs are one of the most fascinating result coming from machine learning in recent years. Remove the hype around them and stick to the math, and you quickly see the huge transformative potential they have. It's great to see a lot of research being done in that direction, I wish it would mainly come from academia though..
Comment · 2 months ago
I love to hear news like that! It was only a matter of time if you ask me.
Comment · 2 months ago
Interesting, especially when you know they used to ship a complete BASIC interpreter in less than 32 KB in the past..

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton