Je suis maintenant prêt à parier jusqu'à 100k (mais pas plus que ça, je ne suis pas Musk lol) que HOC aura une AGI* d'ici fin 2025. C'est complètement sans rapport avec les LLM, les réseaux neuronaux, la descente de gradient. Et nous ne serons peut-être même pas les premiers. Le chemin est évident et il semble que je ne sois pas le seul à l'emprunter (: * AGI défini comme un algorithme capable de prouver des théorèmes dans un assistant de preuve aussi compétent que moi. (C'est une façon objective de dire "code comme Taelin").