Компания OpenAI поделилась результатами работы своей внутренней передовой модели над открытыми математическими задачами. В рамках публикации на GitHub были представлены формализованные доказательства на языке Lean и подробные исследовательские данные.