Version 1 of #4537

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. NURPL + 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).