Ahora estoy dispuesto a apostar hasta 100k (pero no más que eso, no soy Musk lol) a que HOC tendrá AGI* para finales de 2025. Esto no tiene nada que ver con LLMs, redes neuronales, descenso de gradiente. Y puede que ni siquiera seamos los primeros. El camino es obvio y parece que no soy el único que lo está tomando (: * AGI definido como un algoritmo capaz de demostrar teoremas en un asistente de pruebas tan competentemente como yo. (Esta es una forma objetiva de decir "código como Taelin").