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…
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/7dgAaZa22nU…
Too many unverified claims from OpenAI at this point.. why are we still talking about these people anyway?
Well.. I think I can imagine why.. ;)
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…
I just hope they don't become the new OpenAI...
.. and we needed an article from BBC to be aware of this? :O
I couldn't agree more with this comment!
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.
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,…
No one from Microsoft will ever confirm, but the status of Windows "OS" says it all.. ;)
simple = maintainable
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…
I love to hear news like that! It was only a matter of time if you ask me.
Interesting, especially when you know they used to ship a complete BASIC interpreter in less than 32 KB in the past..
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…
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…
The usual daily dose of fearmongering we get nowadays I guess..
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 more people…
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…
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…
This is a really cool project! Amazing!
I'm glad to see that people unite for things like this. This is important and necessary.
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 really…
What they are doing is really great in my opinion. I really hope to see more of this in the future!
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…
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/7dgAaZa22nU…
Too many unverified claims from OpenAI at this point.. why are we still talking about these people anyway?
Well.. I think I can imagine why.. ;)
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…
I just hope they don't become the new OpenAI...
.. and we needed an article from BBC to be aware of this? :O
I couldn't agree more with this comment!
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.
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,…
No one from Microsoft will ever confirm, but the status of Windows "OS" says it all.. ;)
simple = maintainable
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…
I love to hear news like that! It was only a matter of time if you ask me.
Interesting, especially when you know they used to ship a complete BASIC interpreter in less than 32 KB in the past..
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…
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…
The usual daily dose of fearmongering we get nowadays I guess..
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 more people…
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…
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…
This is a really cool project! Amazing!
I'm glad to see that people unite for things like this. This is important and necessary.
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 really…
What they are doing is really great in my opinion. I really hope to see more of this in the future!