AI RADARМоделі
295•05.09.2026, 06:15•3 мин
Claude формализовал доказательство Великой теоремы Ферма
#Fermat#AI#mathematics#formalization
Claude, AI-система от Anthropic, успешно формализовал доказательство Великой теоремы Ферма за 11 дней, написав 13 миллионов строк кода. Это значительное достижение в автоматизации математических доказательств.
AI Radar • Уровень Plus
Полный инженерный разбор доступен для подписчиков Plus
Ежедневные технические обзоры обновлений моделей, анализ бенчмарков, выводы и кейсы вайб-кодинга открываются в подписке Plus.
Обсудить в сообществе
Діліться своїм досвідом та думками з ШІ-розробниками