OpenAI выложила на GitHub сразу 722 статьи по математике — все они созданы ещё не выпущенной моделью 😳

В каждой из них ИИ решал реальные открытые математические задачи — внутри есть работы по комбинаторике,
алгебраической геометрии, теории чисел и другим областям. При этом 90 из них претендуют на полное решение задач из списка 500 ведущих открытых проблем в математике.

Самое мозговзрывательное то, что средний успешный результат потребовал вычислений примерно в три часа работы ChatGPT Pro. Многие доказательства OpenAI уже формализовала в Lean, чтобы их можно было проверить компьютером. Все выложено на GitHub.

Математика — ВСЁ 😬

@xor_journal