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