Viewing profile — mtlb

The most important thing is to figure out what you want to achieve. Banal, easier said than done, but always important to keep in mind. Your goals and understanding of them are lik…

I see the issue in fixing the errors automatically in that "fixing the error" is another aspect of "changing the behavior of the program" (even on the syntactic level: how would yo…

I think that generally people are interested in being as intelligent as possible. The institutes of school and university, the study of pedagogy and science in general are all dedi…

The entire economy will be based on blockchain currencies and NFTs. I know it was supposed to happen last year, but we just need to wait a little more...

You are not wrong, but too abstract. Saying that brain is statistical and therefore can be represented with statistical model such as artificial neural net is like saying that brai…

The biological neural structures that encode behavior are “trained” through evolution, but even the most advanced animals rely mostly on conditioned (= learned during lifetime) ref…

>Imagine how fast you could think if you had a mentally stable whiteboard that you could perceive as clearly as you can see, and update as fast as you can think the changes. Thinki…

They are "capable", but only by chance. If you generate millions of random sentences in a human language then some of them would express some "useful new solutions". LLMs would hav…

> These cases are obvious to us because the brain has access to much fancier causal reasoning than what we can currently express in human language. For now, human language is stuck…

Is there a conceptual difference between the categorical database and hypergraph database?

Yeah, the "logical reasoning" in LLMs is mostly a marketing device to get products sold and papers published. One could hope that starting with reasoning instead of trying to get i…

Thanks, modern rule engines and description logic formalisations are something for me to explore! Are there any other practical applications of such advanced SAT solvers?

Their previous model was better than 46% of such competitors (according to them), so 85% seems achievable by throwing more compute resources at typical ML training. After all, trai…

The kind of AI that gets the public attention right now lacks a quality that can be described as "formal correctness", "actual reasoning", "rigorous thinking", "mathematical abilit…