OpenAI дропнули 722 пейпера по математике

Это результат попытки OpenAI решить 4000 открытых математических задач, на каждую задачу выделили примерно 3 часа GPT Pro с нерелизнутой моделью OpenAI. Часть результатов формализованы через Lean, OpenAI обещают постепенно формализовать и остальные доказательства. Ну и названия для репозитория они конечно выбрали эпичное.

https://github.com/openai/math

@ai_newz