Я абсолютно переконаний, що найрозумніші моделі штучного інтелекту, які існують зараз, GPT-5 Pro та Grok4 Heavy, вже достатньо розумні і, безумовно, достатньо обізнані в математиці та штучному інтелекті, щоб задумати та розвинути важливі теоретичні та практичні відкриття, за умови правильного розумного підказування.