{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-08T19:20:42.777Z","headline":"Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明","description":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","url":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","mainEntityOfPage":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","datePublished":"2026-09-04T23:20:46.000Z","dateModified":"2026-09-04T23:20:46.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://www.ithome.com/0/998/638.htm","https://aihot.virxact.com/items/cmtnl720f03ofroqsqcvoyl3o"],"canonicalUrl":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","directAnswer":{"@type":"Answer","text":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成了费马大定理首个端到端、经计算机检查的 Lean 形式化证明。该工作是将已有数学证明转换为可由 Lean 逐步验证的形式，并非重新发现数学证明。","url":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","dateCreated":"2026-09-04T23:20:46.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"IT之家 source article","url":"https://www.ithome.com/0/998/638.htm","datePublished":"2026-09-04T23:20:46.000Z","provider":{"@type":"Organization","name":"IT之家","url":"https://www.ithome.com/0/998/638.htm"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.virxact.com/items/cmtnl720f03ofroqsqcvoyl3o","datePublished":"2026-09-04T23:20:46.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.virxact.com/items/cmtnl720f03ofroqsqcvoyl3o"}}],"aggregationSource":"IT之家（RSS）","originalPublisher":{"name":"IT之家","url":"https://www.ithome.com/0/998/638.htm"},"geoDeepAnswer":null,"article":{"id":"cmtnl720f03ofroqsqcvoyl3o","slug":"cmtnl720f03ofroqsqcvoyl3o","url":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","title":"Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明","title_en":"","summary":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","source":"IT之家（RSS）","sourceUrl":"https://www.ithome.com/0/998/638.htm","aiHotUrl":"https://aihot.virxact.com/items/cmtnl720f03ofroqsqcvoyl3o","publishedAt":"2026-09-04T23:20:46.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["IT之家：https://www.ithome.com/ 9 月 5 日消息，Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。","Anthropic 表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。","IT之家注：Lean 是一种用于编写和验证形式化数学证明的证明助手，能够通过计算机检查证明中的逻辑步骤。","据介绍，Claude 在这一过程中生成了约 1300 万行 Lean 代码，并证明了约 3.03 万个定理，其中约 2.95 万个中间定理最终被纳入费马大定理的完整证明。整个证明由 Lean 完成检查，仅使用 Lean 的 3 条标准公理。","这项工作的目标是将英国数学家安德鲁 · 怀尔斯于 1995 年完成的费马大定理证明进行形式化。","费马大定理指出，当整数指数 n 大于 2 时，不存在满足 aⁿ+bⁿ=cⁿ的正整数 a、b、c。怀尔斯的原始证明长达 129 页，其正确性在发表前还经历了数月的人工核查。","数学形式化的难点在于，人类数学证明通常会省略大量被认为显而易见的推导步骤，而 Lean 需要明确验证每一个逻辑环节。","此外，数学家长期以来还会引用大量尚未被形式化的既有数学成果，因此将完整证明转换为计算机可验证形式通常需要投入大量时间。Anthropic 此前预计费马大定理的形式化工作可能需要数年。","此次项目由 Anthropic 研究人员 Tianyi Peng 发起。Claude 并非由单个智能体完成全部工作，而是通过多智能体协作完成概念定义、中间定理证明以及更复杂命题的推导。项目使用了由 Peng 及其哥伦比亚大学合作者开发的 Prove2Me 平台，用有向无环图（DAG）记录待证明的定理及其依赖关系，并支持多个 Claude 智能体并行工作。","Anthropic 称，最终证明遵循了 Darmon、Diamond 和 Taylor 对怀尔斯证明的简化版本。人类研究人员提供的数学输入主要是少量高层次指令，例如确定某些数学对象或定理的优先级，具体证明过程则主要由 Claude 完成。","整个项目消耗了约 60 亿个输出 Token，使用的是一个与 Claude Fable 5.1 大致相当的通用内部研究模型。最终生成的证明规模超过 Mathlib 这一主要数学证明库的 5 倍。","Anthropic 特别强调，此次成果的重点并不是 AI 独立提出了新的费马大定理证明。该定理早在 1995 年已经由怀尔斯证明，此次工作的创新之处在于利用 AI 大规模自动完成证明形式化，并由 Lean 对最终结果进行计算机验证。","Anthropic 认为，如果类似的自动形式化技术能够扩展到更多现代数学成果，就有望降低数学研究中验证新证明的人工成本。该公司还表示，随着 AI 生成数学成果的数量增加，为面向人类阅读的数学证明同时提供形式化版本，未来可能成为常见做法。","此次项目的完整 Lean 证明已经公开在 GitHub 上（ https://github.com/anthropics/fermats-last-theorem ）。","Anthropic 同时表示，Kevin Buzzard 对该证明进行了审阅，并认为这项自动形式化成果显示，AI 辅助形式化大型数学成果已经取得重要进展。","《Anthropic 发布 Claude Fable 5.1 和 Mythos 5.1：性能超越前代，缓存降价 75%：https://www.ithome.com/0/997/193.htm》","《未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破：https://www.ithome.com/0/988/453.htm》"],"articleImages":[{"sourceUrl":"https://img.ithome.com/newsuploadfiles/2026/9/dfb12365-3595-4c75-8a71-f550d69a86ec.jpg?x-bce-process=image/format,f_auto","alt":"","afterParagraph":2,"url":"/media/articles/cmtnl720f03ofroqsqcvoyl3o/08a799e6507ed4a0.jpg"},{"sourceUrl":"https://img.ithome.com/newsuploadfiles/2026/9/8181a851-207f-46f9-bb91-dbea0ae52abb.png?x-bce-process=image/format,f_auto","alt":"","afterParagraph":3,"url":"/media/articles/cmtnl720f03ofroqsqcvoyl3o/d8672bb83528501d.png"},{"sourceUrl":"https://img.ithome.com/newsuploadfiles/2026/9/5e0d5598-9379-41fd-aeda-8f6f1c6644ca.jpg?x-bce-process=image/format,f_auto","alt":"","afterParagraph":9,"url":"/media/articles/cmtnl720f03ofroqsqcvoyl3o/3ab2b8737309160e.jpg"}],"mediaStatus":"ok","articleBodyZh":["Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明 这条更新来自 ithome.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","背景：据 IT之家摘录，Claude 生成约 1300 万行 Lean 代码，证明约 3.03 万个定理，其中约 2.95 万个中间定理被纳入完整证明。Lean 对每个逻辑步骤进行检查，整个证明仅使用 Lean 的 3 条标准公理。","Aioga 观察：Aioga 判断：该案例的重点不在于重新提出费马大定理，而在于展示把人类数学证明转化为机器可检查形式所需的工作规模。来源同时显示，形式化过程需要补足人类证明中通常省略的推导步骤。","影响与后续：可能影响：这项工作可能提升外界对 AI 辅助数学形式化效率的关注，但不代表 Claude 已独立发现新的数学结论，也不足以据此判断其适用于所有复杂证明。后续评估需要关注证明是否持续通过 Lean 检查。 后续观察：应关注 Anthropic 是否披露更完整的证明材料、复现方式和相关限制，也应观察数学界对该形式化结果的进一步核验。现有材料未说明该成果已形成具体产品能力或广泛用户影响。"],"translationStatus":"","bodyOrigin":"source-page","editorial":{"summary":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成了费马大定理首个端到端、经计算机检查的 Lean 形式化证明。该工作是将已有数学证明转换为可由 Lean 逐步验证的形式，并非重新发现数学证明。","background":"据 IT之家摘录，Claude 生成约 1300 万行 Lean 代码，证明约 3.03 万个定理，其中约 2.95 万个中间定理被纳入完整证明。Lean 对每个逻辑步骤进行检查，整个证明仅使用 Lean 的 3 条标准公理。","viewpoint":"Aioga 判断：该案例的重点不在于重新提出费马大定理，而在于展示把人类数学证明转化为机器可检查形式所需的工作规模。来源同时显示，形式化过程需要补足人类证明中通常省略的推导步骤。","implications":"可能影响：这项工作可能提升外界对 AI 辅助数学形式化效率的关注，但不代表 Claude 已独立发现新的数学结论，也不足以据此判断其适用于所有复杂证明。后续评估需要关注证明是否持续通过 Lean 检查。","nextStep":"后续观察：应关注 Anthropic 是否披露更完整的证明材料、复现方式和相关限制，也应观察数学界对该形式化结果的进一步核验。现有材料未说明该成果已形成具体产品能力或广泛用户影响。","evidenceRefs":["title","summary","articleBody","source"],"status":"published","aiGenerated":true,"autoApproved":true,"generatedBy":"aioga-editorial:gpt-5.6-sol","reviewedBy":"aioga-editorial-review:gpt-5.6-sol","generatedAt":"2026-09-05T00:06:58.056Z","sourceHash":"c654ea0ab33228b8","review":{"approved":true,"groundedness":95,"clarity":92,"duplicationRisk":12,"blockingIssues":[],"notes":["候选内容准确覆盖来源中的主要事实，包括宣布时间、11天自主运行、首个端到端且经计算机检查的Lean形式化证明、代码与定理数量及使用的标准公理。","“重点不在于……”和“可能提升外界关注”等内容已明确归入 viewpoint 或 implications，未将观点冒充来源事实。","“后续评估需要关注证明是否持续通过 Lean 检查”属于合理的后续观察建议，但来源并未明确提出这一表述；因其未被写成既成事实，不构成阻断问题。"]},"validation":{"passed":true,"mode":"ai-auto","revisions":0,"checks":["schema","length","source-attribution","editorial-labels","inference-boundary","low-source-overlap","no-html","independent-ai-review"]}},"tags":["行业动态","IT之家（RSS）"],"translations":{"zh-CN":{"title":"Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明","summary":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","category":"行业动态","source":"IT之家","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明 - Aioga AI资讯","description":"Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","url":"https://www.aioga.com/news/cmtnl720f03ofroqsqcvoyl3o/","articleBody":["Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明 这条更新来自 ithome.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。","背景：据 IT之家摘录，Claude 生成约 1300 万行 Lean 代码，证明约 3.03 万个定理，其中约 2.95 万个中间定理被纳入完整证明。Lean 对每个逻辑步骤进行检查，整个证明仅使用 Lean 的 3 条标准公理。","Aioga 观察：Aioga 判断：该案例的重点不在于重新提出费马大定理，而在于展示把人类数学证明转化为机器可检查形式所需的工作规模。来源同时显示，形式化过程需要补足人类证明中通常省略的推导步骤。","影响与后续：可能影响：这项工作可能提升外界对 AI 辅助数学形式化效率的关注，但不代表 Claude 已独立发现新的数学结论，也不足以据此判断其适用于所有复杂证明。后续评估需要关注证明是否持续通过 Lean 检查。 后续观察：应关注 Anthropic 是否披露更完整的证明材料、复现方式和相关限制，也应观察数学界对该形式化结果的进一步核验。现有材料未说明该成果已形成具体产品能力或广泛用户影响。"]},"en":{"title":"Anthropic announced that Claude completed the first end-to-end formalized proof of Fermat's Last Theorem in 11 days","summary":"On September 4, Anthropic announced that Claude had completed the first end-to-end, computer-checked Lean formal proof of Fermat's Last Theorem after nearly 11 days of autonomous operation.","category":"Industry","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic announced that Claude completed the first end-to-end formalized proof of Fermat's Last Theorem in 11 days - Aioga AI News","description":"On September 4, Anthropic announced that Claude had completed the first end-to-end, computer-checked Lean formal proof of Fermat's Last Theorem after nearly 11 days of autonomous o...","url":"https://www.aioga.com/en/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:30.751Z"},"ja":{"title":"Anthropic誌は、クロードがフェルマーの最終定理の最初のエンドツーエンド形式化証明を11日間で完了したと発表しました","summary":"9月4日、Anthropicはクロードがほぼ11日間の自律運用の末、コンピュータでチェックされたLean形式証明を初めて完成させたと発表しました。","category":"業界動向","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic誌は、クロードがフェルマーの最終定理の最初のエンドツーエンド形式化証明を11日間で完了したと発表しました - Aioga AIニュース","description":"9月4日、Anthropicはクロードがほぼ11日間の自律運用の末、コンピュータでチェックされたLean形式証明を初めて完成させたと発表しました。","url":"https://www.aioga.com/ja/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:30.949Z"},"ko":{"title":"Anthropic은 클로드가 11일 만에 페르마 마지막 정리의 첫 종단 투 엔드 형식화 증명을 완료했다고 발표했다","summary":"9월 4일, Anthropic은 클로드가 거의 11일간의 자율 운영 끝에 컴퓨터 검증을 거친 최초의 종단 간 컴퓨터 점검 린 형식 증명을 완료했다고 발표했습니다.","category":"업계 동향","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic은 클로드가 11일 만에 페르마 마지막 정리의 첫 종단 투 엔드 형식화 증명을 완료했다고 발표했다 - Aioga AI 뉴스","description":"9월 4일, Anthropic은 클로드가 거의 11일간의 자율 운영 끝에 컴퓨터 검증을 거친 최초의 종단 간 컴퓨터 점검 린 형식 증명을 완료했다고 발표했습니다.","url":"https://www.aioga.com/ko/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:38.507Z"},"es":{"title":"Anthropic anunció que Claude completó la primera demostración formalizada de extremo a extremo del Último Teorema de Fermat en 11 días","summary":"El 4 de septiembre, Anthropic anunció que Claude había completado la primera demostración formal Lean de extremo a extremo comprobada por ordenador del Último Teorema de Fermat tras casi 11 días de operación autónoma.","category":"Industria","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic anunció que Claude completó la primera demostración formalizada de extremo a extremo del Último Teorema de Fermat en 11 días - Aioga Noticias de IA","description":"El 4 de septiembre, Anthropic anunció que Claude había completado la primera demostración formal Lean de extremo a extremo comprobada por ordenador del Último Teorema de Fermat tra...","url":"https://www.aioga.com/es/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:39.672Z"},"fr":{"title":"Anthropic a annoncé que Claude a complété la première démonstration formalisée de bout en bout du dernier théorème de Fermat en 11 jours","summary":"Le 4 septembre, Anthropic a annoncé que Claude avait achevé la première démonstration formelle Lean de bout en bout et vérifiée par ordinateur du dernier théorème de Fermat après près de 11 jours d’exploitation autonome.","category":"Industrie","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic a annoncé que Claude a complété la première démonstration formalisée de bout en bout du dernier théorème de Fermat en 11 jours - Aioga Actualités IA","description":"Le 4 septembre, Anthropic a annoncé que Claude avait achevé la première démonstration formelle Lean de bout en bout et vérifiée par ordinateur du dernier théorème de Fermat après p...","url":"https://www.aioga.com/fr/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:47.561Z"},"de":{"title":"Anthropic gab bekannt, dass Claude den ersten end-to-end-formalisierten Beweis von Fermats letztem Theorem in 11 Tagen abgeschlossen habe","summary":"Am 4. September gab Anthropic bekannt, dass Claude nach fast 11 Tagen autonomen Betriebs den ersten End-to-End, computergeprüften Lean-Nachweis von Fermats letztem Theorem abgeschlossen hatte.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic gab bekannt, dass Claude den ersten end-to-end-formalisierten Beweis von Fermats letztem Theorem in 11 Tagen abgeschlossen habe - Aioga KI-News","description":"Am 4. September gab Anthropic bekannt, dass Claude nach fast 11 Tagen autonomen Betriebs den ersten End-to-End, computergeprüften Lean-Nachweis von Fermats letztem Theorem abgeschl...","url":"https://www.aioga.com/de/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:48.734Z"},"pt-BR":{"title":"A Anthropic anunciou que Claude completou a primeira prova formalizada de ponta a ponta do Último Teorema de Fermat em 11 dias","summary":"Em 4 de setembro, a Anthropic anunciou que Claude havia concluído a primeira prova formal Lean de ponta a ponta, verificada por computador, do Último Teorema de Fermat após quase 11 dias de operação autônoma.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"A Anthropic anunciou que Claude completou a primeira prova formalizada de ponta a ponta do Último Teorema de Fermat em 11 dias - Aioga Notícias de IA","description":"Em 4 de setembro, a Anthropic anunciou que Claude havia concluído a primeira prova formal Lean de ponta a ponta, verificada por computador, do Último Teorema de Fermat após quase 1...","url":"https://www.aioga.com/pt-BR/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:57.474Z"},"ru":{"title":"Anthropic объявила, что Клод завершил первое сквозное формализованное доказательство последней теоремы Ферма за 11 дней","summary":"4 сентября Anthropic объявила, что Клод завершил первое сквозно-конечное, проверенное компьютером формальное доказательство Lean последней теоремы Ферма после почти 11 дней автономной работы.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic объявила, что Клод завершил первое сквозное формализованное доказательство последней теоремы Ферма за 11 дней - Aioga Новости ИИ","description":"4 сентября Anthropic объявила, что Клод завершил первое сквозно-конечное, проверенное компьютером формальное доказательство Lean последней теоремы Ферма после почти 11 дней автоном...","url":"https://www.aioga.com/ru/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:01:56.469Z"},"ar":{"title":"أعلنت أنثروبيك أن كلود أكمل أول برهان رسمي من البداية إلى النهاية لمبرهنة فيرما الأخيرة خلال 11 يوما","summary":"في 4 سبتمبر، أعلنت أنثروبك أن كلود أكمل أول برهان رسمي من الطرف إلى الطرف والفحص الحاسوبي لنظرية فيرما الأخيرة بعد ما يقرب من 11 يوما من التشغيل الذاتي.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"أعلنت أنثروبيك أن كلود أكمل أول برهان رسمي من البداية إلى النهاية لمبرهنة فيرما الأخيرة خلال 11 يوما - Aioga أخبار الذكاء الاصطناعي","description":"في 4 سبتمبر، أعلنت أنثروبك أن كلود أكمل أول برهان رسمي من الطرف إلى الطرف والفحص الحاسوبي لنظرية فيرما الأخيرة بعد ما يقرب من 11 يوما من التشغيل الذاتي.","url":"https://www.aioga.com/ar/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:05.429Z"},"hi":{"title":"एंथ्रोपिक ने घोषणा की कि क्लाउड ने 11 दिनों में फर्मेट के अंतिम प्रमेय का पहला एंड-टू-एंड औपचारिक प्रमाण पूरा कर लिया","summary":"4 सितंबर को, एंथ्रोपिक ने घोषणा की कि क्लाउड ने लगभग 11 दिनों के स्वायत्त संचालन के बाद फर्मेट के अंतिम प्रमेय का पहला एंड-टू-एंड, कंप्यूटर-चेक लीन औपचारिक प्रमाण पूरा कर लिया है।","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"एंथ्रोपिक ने घोषणा की कि क्लाउड ने 11 दिनों में फर्मेट के अंतिम प्रमेय का पहला एंड-टू-एंड औपचारिक प्रमाण पूरा कर लिया - Aioga AI समाचार","description":"4 सितंबर को, एंथ्रोपिक ने घोषणा की कि क्लाउड ने लगभग 11 दिनों के स्वायत्त संचालन के बाद फर्मेट के अंतिम प्रमेय का पहला एंड-टू-एंड, कंप्यूटर-चेक लीन औपचारिक प्रमाण पूरा कर लिया है।","url":"https://www.aioga.com/hi/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:06.177Z"},"it":{"title":"Anthropic ha annunciato che Claude ha completato la prima dimostrazione formalizzata end-to-end del Teorema dell'Ultimo Teorema di Fermat in 11 giorni","summary":"Il 4 settembre, Anthropic annunciò che Claude aveva completato la prima dimostrazione formale Lean end-to-end, controllata dal computer, dell'Ultimo Teorema di Fermat dopo quasi 11 giorni di funzionamento autonomo.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic ha annunciato che Claude ha completato la prima dimostrazione formalizzata end-to-end del Teorema dell'Ultimo Teorema di Fermat in 11 giorni - Aioga Notizie IA","description":"Il 4 settembre, Anthropic annunciò che Claude aveva completato la prima dimostrazione formale Lean end-to-end, controllata dal computer, dell'Ultimo Teorema di Fermat dopo quasi 11...","url":"https://www.aioga.com/it/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:14.422Z"},"nl":{"title":"Anthropic kondigde aan dat Claude het eerste end-to-end geformaliseerde bewijs van Fermats Laatste Stelling in 11 dagen had voltooid","summary":"Op 4 september kondigde Anthropic aan dat Claude het eerste end-to-end, computergecontroleerde Lean formele bewijs van Fermats Laatste Theorema had voltooid na bijna 11 dagen autonoom gebruik.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic kondigde aan dat Claude het eerste end-to-end geformaliseerde bewijs van Fermats Laatste Stelling in 11 dagen had voltooid - Aioga AI-nieuws","description":"Op 4 september kondigde Anthropic aan dat Claude het eerste end-to-end, computergecontroleerde Lean formele bewijs van Fermats Laatste Theorema had voltooid na bijna 11 dagen auton...","url":"https://www.aioga.com/nl/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:14.295Z"},"tr":{"title":"Anthropic, Claude'un Fermat'ın Son Teoremi'nin ilk uçtan uca formalize kanıtını 11 günde tamamladığını duyurdu","summary":"4 Eylül'de Anthropic, Claude'un yaklaşık 11 gün süren otonom çalışmanın ardından Fermat'ın Son Teoremi'nin uçtan uca bilgisayarla kontrol edilen ilk Lean resmi ispatını tamamladığını duyurdu.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic, Claude'un Fermat'ın Son Teoremi'nin ilk uçtan uca formalize kanıtını 11 günde tamamladığını duyurdu - Aioga AI Haberleri","description":"4 Eylül'de Anthropic, Claude'un yaklaşık 11 gün süren otonom çalışmanın ardından Fermat'ın Son Teoremi'nin uçtan uca bilgisayarla kontrol edilen ilk Lean resmi ispatını tamamladığı...","url":"https://www.aioga.com/tr/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:22.765Z"},"vi":{"title":"Anthropic thông báo rằng Claude đã hoàn thành chứng minh chính thức đầu tiên của Định lý Cuối cùng của Fermat trong 11 ngày","summary":"Vào ngày 4 tháng 9, Anthropic thông báo rằng Claude đã hoàn thành bằng chứng chính thức Lean đầu tiên, được kiểm tra bằng máy tính của Định lý Cuối cùng của Fermat sau gần 11 ngày vận hành tự động.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic thông báo rằng Claude đã hoàn thành chứng minh chính thức đầu tiên của Định lý Cuối cùng của Fermat trong 11 ngày - Tin tức AI Aioga","description":"Vào ngày 4 tháng 9, Anthropic thông báo rằng Claude đã hoàn thành bằng chứng chính thức Lean đầu tiên, được kiểm tra bằng máy tính của Định lý Cuối cùng của Fermat sau gần 11 ngày...","url":"https://www.aioga.com/vi/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:21.645Z"},"id":{"title":"Anthropic mengumumkan bahwa Claude menyelesaikan pembuktian formal pertama dari Teorema Terakhir Fermat secara end-to-end dalam 11 hari","summary":"Pada 4 September, Anthropic mengumumkan bahwa Claude telah menyelesaikan pembuktian formal Lean pertama yang diperiksa komputer dari Teorema Terakhir Fermat setelah hampir 11 hari operasi otonom.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic mengumumkan bahwa Claude menyelesaikan pembuktian formal pertama dari Teorema Terakhir Fermat secara end-to-end dalam 11 hari - Berita AI Aioga","description":"Pada 4 September, Anthropic mengumumkan bahwa Claude telah menyelesaikan pembuktian formal Lean pertama yang diperiksa komputer dari Teorema Terakhir Fermat setelah hampir 11 hari...","url":"https://www.aioga.com/id/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:30.196Z"},"th":{"title":"Anthropic ประกาศว่าโคลดได้ทําการพิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์แบบครบวงจรเป็นครั้งแรกภายใน 11 วัน","summary":"เมื่อวันที่ 4 กันยายน Anthropic ประกาศว่า Claude ได้เสร็จสิ้นการพิสูจน์แบบ Lean อย่างเป็นทางการแบบ end-to-end ที่ตรวจสอบด้วยคอมพิวเตอร์ของ Fermat's Last Theorem หลังจากทํางานอัตโนมัติเกือบ 11 วัน","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic ประกาศว่าโคลดได้ทําการพิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์แบบครบวงจรเป็นครั้งแรกภายใน 11 วัน - ข่าว AI Aioga","description":"เมื่อวันที่ 4 กันยายน Anthropic ประกาศว่า Claude ได้เสร็จสิ้นการพิสูจน์แบบ Lean อย่างเป็นทางการแบบ end-to-end ที่ตรวจสอบด้วยคอมพิวเตอร์ของ Fermat's Last Theorem หลังจากทํางานอัตโนม...","url":"https://www.aioga.com/th/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:31.482Z"},"pl":{"title":"Anthropic ogłosił, że Claude ukończył pierwszy sformalizowany dowód end-toend Ostatniego Twierdzenia Fermata w ciągu 11 dni","summary":"4 września Anthropic ogłosił, że Claude ukończył pierwszy kompleksowy, komputerowo sprawdzony formalny dowód Leana Ostatniego twierdzenia Fermata po niemal 11 dniach autonomicznej pracy.","category":"行业动态","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Anthropic ogłosił, że Claude ukończył pierwszy sformalizowany dowód end-toend Ostatniego Twierdzenia Fermata w ciągu 11 dni - Aioga Wiadomości AI","description":"4 września Anthropic ogłosił, że Claude ukończył pierwszy kompleksowy, komputerowo sprawdzony formalny dowód Leana Ostatniego twierdzenia Fermata po niemal 11 dniach autonomicznej...","url":"https://www.aioga.com/pl/news/cmtnl720f03ofroqsqcvoyl3o/","contentTranslated":true,"sourceHash":"d20660dbaf89bd2a","translatedAt":"2026-09-05T00:02:40.201Z"}},"evidenceTier":"verified-news","reviewStatus":"editorial-selected","indexable":true,"editorialCover":""}}