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