Comparing #4538 (Version 2) and #4539 (Version 3)

The Beginning of Infinity

Heard about it, have not read though. I do not expect AGI from LLM. But it's an awesome tool that helps speed-up learning, research and prototyping. And also all this hype accelerate some money to this topic, which is good. Indeed, if natural intelligence possible, why artificial -- can not? According to the roadmap, I more trust in good old-fashioned symbolic AGI and formal methods. NARS + AIXI + elegant dependent modal or substructural (maybe homotopic) typed language with strong meta-theoretic properties + a bit of game theory and evolutionary psychology = this is the way, I believe.
And maybe some tricky computational non-von Neumann architecture to have a nice computational complexity for that (not sure about that, but plausible it make sense to utilize some sort of analogous computations in addition to digital ones).

The Beginning of Infinity

Heard about it, have not read though. I do not expect AGI from LLM. But it's an awesome tool that helps speed-up learning, research and prototyping. And also all this hype accelerate some money to this topic, which is good. Indeed, if natural intelligence possible, why artificial -- can not? According to the roadmap, I more trust in good old-fashioned symbolic AGI and formal methods. NARS + AIXI + elegant dependent modal or substructural (maybe homotopic) typed programming language with strong meta-theoretic properties, as a carrier of observations, knowledge and judgments + a bit of game theory and evolutionary psychology = this is the way, I believe.
And maybe some tricky computational non-von Neumann architecture to have a nice computational complexity for that (not sure about that, but plausible it make sense to utilize some sort of analogous computations in addition to digital ones).

#4539​·​Yurii Pytomets​·​1 day ago
1 comment: #4540