OpenAI отозвала три математических результата из репозитория Lean-формализаций
В GitHub-репозитории OpenAI появилось 6 новых формализаций на Lean, 19 правок и 3 withdrawals. Сейчас формализовано около 42% «топовых» результатов. Какие именно результаты отозваны, в твите не уточняется.