ЗС
Заработай с помощью ИИ AI От веб-кодинга к вайб-кодингу 🔥
Без категории · 5 сентября 2026 г.
🧠 Claude формализовал Великую теорему Ферма — 13 млн строк Lean-кода
🧠 Claude формализовал Великую теорему Ферма — 13 млн строк Lean-кода Anthropic сообщает о первом полном computer-checked proof: Claude работал в основном автономно 11 дней, доказал 29 500 промежуточных теорем и собрал доказательство, проверенное Lean. Это не новая математика — это автоматическая проверка гигантской цепочки рассуждений. 👇 мах
27 просмотров