🧮 Claude формализовал доказательство Великой теоремы Ферма за 11 дней Речь не о новом решении: теорему доказал Эндрю Уайлс в 1995 году. Агенты Anthropic перевели его математические рассуждения в Lean и доказали около 30 300 промежуточных теорем. 👉 Подробнее Новости | AI | YouTube