Jeg er nå villig til å satse opptil 100 000 (men ikke mer enn det, jeg er ikke Musk, haha) på at HOC vil ha AGI* innen utgangen av 2025. Dette er helt uavhengig av LLM-er, nevrale nettverk, gradientnedstigning. Og vi er kanskje ikke engang de første. Veien er åpenbar, og det virker som om jeg ikke er den eneste som tar den (: * AGI definert som en algoritme som er i stand til å bevise teoremer i en bevisassistent like kompetent som i meg selv. (Dette er en objektiv måte å si «koder som Taelin».)