OpenAI опубликовала сотни решений сложных математических задач

Компания OpenAI выложила в открытый доступ 722 рукописи с решениями и наработками по 372 важным математическим проблемам, пишет Engadget.

Публикация появилась в репозитории на сервисе GitHub. Разработчики использовали невыпущенную модель искусственного интеллекта ChatGPT, которая генерировала ответы на основе одиночных запросов.

В среднем на получение одного результата требовалось около трех часов работы в режиме ChatGPT Pro. В документе также приведены ход рассуждений нейросети и примерные оценки затраченных вычислительных ресурсов.

Среди заявленных достижений значатся решение четырехмерной гипотезы Какеи, улучшение ключевых компьютерных алгоритмов и продвижение в доказательстве гипотезы Римана.

Компания заявила, что действовала по рекомендациям своего независимого консультативного совета по математике и ИИ. Однако некоторые советы экспертов разработчики проигнорировали, не раскрыв точное время вычислений для отдельных задач и конкретные тексты промптов.

Представленные материалы еще должны пройти детальную проверку математическим сообществом. Ученые относятся к заявленным результатам с осторожностью.

Эксперты отмечают, что пока модель не предоставили для независимого тестирования, любые заявления о решении сложных задач с первой попытки стоит считать неподтвержденными.

Нашли ошибку в публикации? Сообщите нам об этом.