OpenAI выложила 722 статьи по математике от ещё не выпущенной модели!
OpenAI выложила на GitHub сразу 722 статьи по математике. Все они созданы ещё не выпущенной моделью.
В каждой из этих работ ИИ решал реальные открытые математические задачи. Среди материалов есть исследования по комбинаторике, алгебраической геометрии, теории чисел и другим областям. При этом 90 из 722 статей претендуют на полное решение задач из списка 500 ведущих открытых проблем в математике.
Нас особенно впечатляет вычислительная сторона: средний успешный результат потребовал примерно три часа работы уровня ChatGPT Pro. Многие доказательства OpenAI уже формализованы в Lean, чтобы их можно было проверить компьютером. Все материалы доступны на GitHub.
Ещё новости:
