🧮 Claude формализовал доказательство Великой теоремы Ферма за 11 дней
Речь не о новом решении: теорему доказал Эндрю Уайлс в 1995 году. Агенты Anthropic перевели его математические рассуждения в Lean и доказали около 30 300 промежуточных теорем.
👉 Подробнее
Новости | AI | YouTube
Post #7549
2.67K
- ❤ 9
- 👍 7
- 🤔 2
- 👎 1
- 🔥 1
- 🤣 1