jeanmichelselli

3 ms·

1.
by jeanmichelselli 17d 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
2.
by jeanmichelselli 17d ago
This is a fantastic way to use a C64! If you want to see other similar quantum computing exploits on 8bit computers: https://medium.com/@dakk/quantum-computing-on-a-commodore-64... https://youtu.be/7dgA
3.
by jeanmichelselli 18d ago
Too many unverified claims from OpenAI at this point.. why are we still talking about these people anyway?
4.
by jeanmichelselli 18d ago
Well.. I think I can imagine why.. ;)
5.
by jeanmichelselli 18d 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 tra
6.
by jeanmichelselli 18d ago
I just hope they don't become the new OpenAI...
7.
by jeanmichelselli 19d 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.
8.
by jeanmichelselli 19d 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
9.
by jeanmichelselli 19d ago
No one from Microsoft will ever confirm, but the status of Windows "OS" says it all.. ;)
10.
by jeanmichelselli 19d ago
simple = maintainable
11.
by jeanmichelselli 19d 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
12.
by jeanmichelselli 19d ago
I love to hear news like that! It was only a matter of time if you ask me.
13.
by jeanmichelselli 19d ago
Interesting, especially when you know they used to ship a complete BASIC interpreter in less than 32 KB in the past..
14.
by jeanmichelselli 20d ago
I also have to add that, so far, we know only a handful of algorithms which might run on a general quantum computer (if we had one!). Among those, only two performs something which would actually be useful (Grover and Shor). And we have onl
15.
by jeanmichelselli 20d ago
These machines do not provide any computational speedup, we have plenty of papers coming from academic physicists clearly showing this. Why these people insist with their narrative is beyond my comprehension at this stage (maybe, artificial
16.
by jeanmichelselli 20d ago
The usual daily dose of fearmongering we get nowadays I guess..
17.
by jeanmichelselli 20d ago
No surprise here, this principle practically applies to anything that can spread inside a population, including ideas of any kind. But if you write a paper, don't say "ideas", say "LLMs" instead. You'll get mor
18.
by jeanmichelselli 21d ago
LLMs are amazing at this sort of things and they represent a very useful tool.. but only if you know what you're doing. In any case, it's great to see that these models can help with electronic circuits too, I'll give it a tr
19.
by jeanmichelselli 21d ago
I'm a mathematician and I'm not sure one should believe those results right now.. An automatic formalization requires a system of logic rules to be applied, which is not something LLMs are great at (remember the Apple paper a whil
20.
by jeanmichelselli 22d ago
This is a really cool project! Amazing!
21.
by jeanmichelselli 22d ago
I'm glad to see that people unite for things like this. This is important and necessary.
22.
by jeanmichelselli 22d ago
I completely agree with this comment! If your OS does not behave like an OS anymore, better to switch to a real OS at that point. That's it. I've always been disappointed by Windows "OS" in the past but now it's rea
23.
by jeanmichelselli 22d ago
What they are doing is really great in my opinion. I really hope to see more of this in the future!