OpenAI публикует результаты применения ИИ в математике

Компания OpenAI опубликовала новые достижения внутренней передовой модели в решении открытых математических задач. Результаты, включая формализованные доказательства на Lean и детали исследований, размещены на GitHub.