Viewing profile — baanist

I doubt you are going to change anyone's mind on this who is already convinced that computers can think and reason and all that's required is the right sequence of numbers. Moreove…

Most of what you've said is true but what exactly does it mean to "break barriers"? We can not escape the laws of chemistry, physics, and thermodynamics because we live on a compac…

Like most things in software the use cases are the limits of one's imagination. The browser has always been a Turing complete development environment so this is just another demons…

Type Theory and Formal Proof ( https://www.cambridge.org/core/books/type-theory-and-formal-... )

I think it has already started¹. 1: https://neurosciencenews.com/microplastics-brain-health-2779...

It's easier to take drugs even if it costs a lot of money.

Neural networks are Turing complete, i.e. there is a universal neural network that can compute any effectively computable function¹. Incidentally, when this is combined with Rice's…

I thought the whole point of neural networks was that they were good at searching through these spaces. I'm pretty sure OpenAI is pruning their models behind the scenes to reduce t…

Why aren't AI researchers automating the search for efficient architectures?

No need to get angry and sarcastic.

Are all fruit fry brains the same? Does anyone know what has actually been mapped and why it would generalize from one fruit fly to the next?

He was right that scaling would not achieve abstract reasoning and he's been right so far on basically every new hyped development. The closed research labs like OpenAI are hoping …

These algorithms are not capable of symbolic reasoning and abstract interpretation. The most obvious demonstration of this is that no algorithm on the market currently can solve su…

I don't have any subscriptions to the latest models but what improvements have you noticed in scaling and language understanding? Last I checked people were still discussing "9.9 >…

What is he wrong about?

I think he does a pretty good job of it. I know who he is and I read what he has to say on all the latest hype trends in AI.