Agora estou disposto a apostar até 100k (mas não mais do que isso, não sou o Musk lol) que a HOC terá AGI* até o final de 2025. Isto está completamente desvinculado de LLMs, redes neurais, descida de gradiente. E pode ser que nem sejamos os primeiros. O caminho é óbvio e parece que não sou o único a segui-lo (: * AGI definido como um algoritmo capaz de provar teoremas em um assistente de provas tão competentemente quanto eu. (Esta é uma forma objetiva de dizer "coda como o Taelin").