OpenAI выложила 722 ИИ-математических рукописи на GitHub

OpenAI опубликовала на GitHub 722 математические рукописи, сгенерированные внутренней моделью, которую не раскрыла. Модели задали около 4000 задач, в среднем по 3 часа вычислений ChatGPT Pro на результат; Lean-формализация проверяет логику, но не новизну и значимость, поэтому 372 семейства результатов предстоит верифицировать независимым экспертам.

• 722 рукописи и 372 семейства результатов опубликованы без модели и промптов
• На каждый результат уходило в среднем около 3 часов вычислений ChatGPT Pro
• Среди заявлений — решение четырёхмерной гипотезы Какии и квази-гипотеза Римана
• Lean-формализация есть не у всех рукописей и не подтверждает новизну