Jestem absolutnie przekonany, że najinteligentniejsze modele AI, które są teraz dostępne, GPT-5 Pro i Grok4 Heavy, są już wystarczająco mądre i z pewnością wystarczająco obeznane z matematyką i AI, aby wymyślić i opracować ważne odkrycia teoretyczne i praktyczne, pod warunkiem, że otrzymają odpowiednie, sprytne wskazówki.