Anthropic формализовала теорему Ферма с помощью ИИ
Anthropic формализовала теорему Ферма с помощью ИИ Исследователи из Anthropic продемонстрировали формализацию теоремы Ферма — одной из самых известных математических теорем XX века — с помощью систем искусственного интеллекта. Работа выполнена в сотрудничестве с математиками и публикуется в рамках исследовательского отчёта Anthropic. 🔗 https://www.anthropic.com/research/formalizing-fermats-last-theorem
18 просмотров