Anthropic Claude формализовала доказательство Великой теоремы Ферма. Пока лидер рынка OpenAI заявил о создании модели 6 поколения, равной человеку по умственным способностям - конкуренты делают свой ход. Anthropic с помощью Claude формализовала доказательство Великой теоремы Ферма, созданное Эндрю Уайлсом. Его перевели в проверяемый компьютером код на Lean объёмом 13 млн строк — крупнейший проект такого рода. Модель справилась за 11 дней вместо ожидаемых нескольких лет, запустив десятки агентов и доказав 29 500 промежуточных теорем. Прорыв произошёл после подключения платформы Prove2Me. В Anthropic считают, что инструменты автоформализации уже стали достаточно надёжными для работы со сложной математикой. 6 поколение. Дальше будет 6.1, 6.2,... 6.6.6?