Olen täysin vakuuttunut siitä, että tällä hetkellä älykkäimmät tekoälymallit, GPT-5 Pro ja Grok4 Heavy, ovat jo tarpeeksi älykkäitä ja varmasti tarpeeksi perehtyneitä matematiikkaan ja tekoälyyn suunnitellakseen ja kehittääkseen tärkeitä teoreettisia ja käytännön löytöjä oikeanlaisella älykkäällä kehotuksella.