Agora estou disposto a apostar até 100 mil (mas não mais do que isso, não sou Musk rs) que o HOC terá AGI* até o final de 2025. Isso não tem nada a ver com LLMs, redes neurais, descida de gradiente. E talvez nem sejamos os primeiros. O caminho é óbvio e parece que não sou o único a seguir (: * AGI definido como um algoritmo capaz de provar teoremas em um assistente de prova tão competentemente quanto eu. (Essa é uma forma objetiva de dizer "códigos como Taelin".)