Компания OpenAI Group PBC опубликовала 722 математические работы, созданные с помощью невыпущенной модели искусственного интеллекта. Материалы, размещенные на GitHub, охватывают около 20 математических дисциплин и содержат доказательства гипотез, опровержения теорий и уточнения решений сложных задач.
Одним из значимых результатов стало доказательство части квазигипотезы Римана, связанной с теорией простых чисел. Модель также подготовила более 80 работ по теоретической информатике, включая новые алгоритмы умножения целых чисел и уточнение пределов эффективности матричного умножения, используемого в ИИ.
Исследования затрагивают область физики: опубликовано более десяти доказательств, касающихся уравнений в частных производных. Модель доказала версию гипотезы Де Джорджи для анализа металлических сплавов и уточнила ряд вопросов по уравнениям Навье-Стокса, применяемым в гидродинамике.
Многие документы содержат файлы Lean для автоматической проверки доказательств на компьютере. OpenAI планирует расширить использование формата Lean для будущих публикаций, а также финансировать мероприятия и программы, направленные на экспертную оценку математических открытий, совершенных нейросетью.
