Sunt absolut convins că cele mai inteligente modele AI de acum, GPT-5 Pro și Grok4 Heavy, sunt deja suficient de inteligente și cu siguranță suficient de informate despre matematică și AI, pentru a concepe și dezvolta descoperiri teoretice și practice importante, având în vedere tipul potrivit de îndemnuri inteligente.