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