mtlb

5 ms·

1.
by mtlb 3y ago
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 likely to change, but having more understanding is always bette
2.
by mtlb 3y ago
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 you fix a line "x = (2+3-4*5;"?)
3.
by mtlb 3y ago
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 dedicated to this. The reason why people generally don’t strive
4.
by mtlb 3y ago
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...
5.
by mtlb 3y ago
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 brain is computational and therefore can be represented with a T
6.
by mtlb 3y ago
The biological neural structures that encode behavior are “trained” through evolution, but even the most advanced animals rely mostly on conditioned (= learned during lifetime) reflexes, and not on the ones “hardcoded” evolutionary. Certain
7.
by mtlb 3y ago
>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. Thinking about what I am going to draw or write on the whiteboa
8.
by mtlb 3y ago
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 have a higher chance of this happening as t
9.
by mtlb 3y ago
> 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 with "If a then not b" stuff. I don't fol
10.
by mtlb 3y ago
Is there a conceptual difference between the categorical database and hypergraph database?
11.
by mtlb 3y ago
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 it "emerge" would do a better job. But if
12.
by mtlb 3y ago
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?
13.
by mtlb 3y ago
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, training on millions of examples of logical reasoning will undou
14.
Ask HN: What is the current state of "logical" AI?
32 points by mtlb 3y ago|51 comments