Ведущие модели ИИ пока не могут решать оригинальные математические задачи

Эксперимент под названием First Proof был разработан с большой строгостью для проверки финального этапа исследования. Сначала исследователи самостоятельно решили свои задачи, доказав их выполнимость, а затем зашифровали ответы, чтобы исключить возможность их появления в публичных источниках, где их могли бы найти модели ИИ. Задачи в количестве десяти штук были из разных областей математики, включая стохастический анализ, спектральную теорию графов, симплектическую геометрию и алгебраическую топологию.