#формализация
-
ИИ Anthropic формально доказал Великую теорему Ферма на Lean
Внутренняя модель Anthropic за 11 дней собрала полную формализацию доказательства Великой теоремы Ферма — последнего пункта в 20-летнем списке из 100 формализационных задач.