OpenAI поделилась математическими результатами внутренней Frontier-модели
OpenAI поделилась математическими результатами внутренней Frontier-модели, а также формализациями в Lean и исследовательскими подробностями, предоставив разработчикам больше материалов для изучения.
