Я абсолютно уверен, что самые умные модели ИИ, такие как GPT-5 Pro и Grok4 Heavy, уже достаточно умны и, безусловно, достаточно осведомлены о математике и ИИ, чтобы задуматься и разработать важные теоретические и практические открытия, если им дать правильные умные подсказки.