Claude от Anthropic формализовал доказательство теоремы Ферма за 11 дней
AI-дайджестРедакция Mimile.ai
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
Anthropic использовала свою модель Claude для создания компьютерно-проверяемой версии доказательства теоремы Ферма, выполненного Эндрю Уайлсом, завершив задачу за 11 дней. Формализованное доказательство содержит 13 миллионов строк кода Lean, что является крупнейшим файлом такого рода. Проект знаменует собой значительный прогресс в области автоматизированной проверки математических доказательств.
1 источник
Claude от Anthropic формализовал доказательство теоремы Ферма за 11 дней
