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

Речь не о новом решении: теорему доказал Эндрю Уайлс в 1995 году. Агенты Anthropic перевели его математические рассуждения в Lean и доказали около 30 300 промежуточных теорем.

👉 Подробнее

Новости | AI | YouTube