Viewing profile — BanditDefender

There is quite a bit of bait-and-switch in AI, isn't there? "Oh, machine learning certainly is not real learning! It is a purely statistical process, but perhaps you need to take s…

LLMs aren't actually able to do that though, are they? They are simply incapable of keeping track of consistent behaviors and beliefs. I recognize that for certain prompts an LLM h…

It is better to say humans formalized it :) All birds and mammals are capable of arithmetic in the sense of quantitative reasoning. E.g. a rat quickly learning that if they're show…

[flagged]

> Animal evolution operates on generational timescales, but LLM "commercial evolution" happens in months. But LLMs have all been variations on transformer neural networks. And that…

[dead]

[flagged]

I think it is way too far to say that! We've had automated theorem proving since the 60s. What we need is automated theorem discovery. Erdős discovered these theorems even if he wa…

"Mathematicial superintelligence" is so obnoxious. Why exactly do they think it is called an Erdős problem when Erdős didn't find the solution? Because Erdős discovered the real ma…

Those aren't mutually exclusive, stimulus and bodily perception enable higher-level thoughts about the physical world. Once I was driving a big cheap pickup with a heavy load on an…