Jeg er helt overbevist om at de smarteste AI-modellene som er ute nå, GPT-5 Pro og Grok4 Heavy, allerede er smarte nok, og sikkert kunnskapsrike nok om matematikk og AI, til å tenke ut og utvikle viktige teoretiske og praktiske oppdagelser, gitt riktig type smart oppfordring.