ИИ Anthropic формализовал доказательство Великой теоремы Ферма всего за 11 дней

Компания Anthropic с помощью своей языковой модели Claude впервые в истории перевела в компьютерно-верифицируемый код доказательство великой теоремы Ферма — одной из самых сложных математических задач XX века. За 11 дней ИИ превратил работу Эндрю Уайлса и Ричарда Тейлора в 13-миллионнострочное формальное доказательство на языке Lean, на что у людей ушло бы около 10 лет.

https://hightech.plus/2026/09/08/ii-anthropic-formalizoval-dokazatelstvo-velikoi-teoremi-ferma-vsego-za-11-dnei