{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-08T18:40:54.188Z","headline":"Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码","description":"Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","url":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","mainEntityOfPage":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","datePublished":"2026-09-04T18:50:48.000Z","dateModified":"2026-09-04T18:50:48.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://x.com/AnthropicAI/status/2095947707605266436","https://aihot.news/items/cmtnbhhu902perog1dmrla299"],"canonicalUrl":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","directAnswer":{"@type":"Answer","text":"Anthropic在公开材料中宣布，Claude上月完成了Fermat大定理的首个形式化证明；标题进一步称，相关Lean代码超过1300万行。","url":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","dateCreated":"2026-09-04T18:50:48.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":"@AnthropicAI) source article","url":"https://x.com/AnthropicAI/status/2095947707605266436","datePublished":"2026-09-04T18:50:48.000Z","provider":{"@type":"Organization","name":"@AnthropicAI)","url":"https://x.com/AnthropicAI/status/2095947707605266436"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.news/items/cmtnbhhu902perog1dmrla299","datePublished":"2026-09-04T18:50:48.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.news/items/cmtnbhhu902perog1dmrla299"}}],"aggregationSource":"@AnthropicAI)","originalPublisher":{"name":"@AnthropicAI)","url":"https://x.com/AnthropicAI/status/2095947707605266436"},"geoDeepAnswer":null,"article":{"id":"cmtnbhhu902perog1dmrla299","slug":"cmtnbhhu902perog1dmrla299","url":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","title":"Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码","title_en":"","summary":"Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","source":"@AnthropicAI)","sourceUrl":"https://x.com/AnthropicAI/status/2095947707605266436","aiHotUrl":"https://aihot.news/items/cmtnbhhu902perog1dmrla299","publishedAt":"2026-09-04T18:50:48.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。"],"articleImages":[],"mediaStatus":"none","articleBodyZh":["Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","背景：材料将该成果归入行业动态，并称其为迄今最大的Lean证明；正文未提供证明细节、代码构成或独立验证信息。","Aioga 观察：Aioga判断：现有材料足以说明Anthropic对该成果的公开表述，但不足以单凭这段摘录判断证明的技术路径、可复现性或其“最大”表述的比较口径。","影响与后续：可能影响：该消息可能提升外界对Claude参与形式化数学工作的关注，但不代表仅凭公告即可确认证明质量、工程成本或相关能力的普遍适用性；需要更多公开材料核验。 后续观察：建议关注完整Lean代码、形式化证明的可访问性、验证过程及第三方复核信息，以判断“首个”和“迄今最大”等表述的具体依据。"],"translationStatus":"","bodyOrigin":"social-summary","editorial":{"summary":"Anthropic在公开材料中宣布，Claude上月完成了Fermat大定理的首个形式化证明；标题进一步称，相关Lean代码超过1300万行。","background":"材料将该成果归入行业动态，并称其为迄今最大的Lean证明；正文未提供证明细节、代码构成或独立验证信息。","viewpoint":"Aioga判断：现有材料足以说明Anthropic对该成果的公开表述，但不足以单凭这段摘录判断证明的技术路径、可复现性或其“最大”表述的比较口径。","implications":"可能影响：该消息可能提升外界对Claude参与形式化数学工作的关注，但不代表仅凭公告即可确认证明质量、工程成本或相关能力的普遍适用性；需要更多公开材料核验。","nextStep":"后续观察：建议关注完整Lean代码、形式化证明的可访问性、验证过程及第三方复核信息，以判断“首个”和“迄今最大”等表述的具体依据。","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-04T19:29:18.401Z","sourceHash":"d11ffd2767495f59","review":{"approved":true,"groundedness":92,"clarity":86,"duplicationRisk":25,"blockingIssues":[],"notes":["“Aioga判断”缺乏上下文说明，建议改为“编辑判断”或直接删除署名式表述。","“可能提升外界关注”属于合理但未由来源直接支持的推测，已使用“可能”限定；如需更严格，可改为“或将引发关注”。","候选内容准确区分了Anthropic的公开表述与尚待核验的技术结论，未将公告内容冒充独立事实。"]},"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":["行业动态","@AnthropicAI)"],"translations":{"zh-CN":{"title":"Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码","summary":"Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码 - Aioga AI资讯","description":"Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","url":"https://www.aioga.com/news/cmtnbhhu902perog1dmrla299/","articleBody":["Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。","背景：材料将该成果归入行业动态，并称其为迄今最大的Lean证明；正文未提供证明细节、代码构成或独立验证信息。","Aioga 观察：Aioga判断：现有材料足以说明Anthropic对该成果的公开表述，但不足以单凭这段摘录判断证明的技术路径、可复现性或其“最大”表述的比较口径。","影响与后续：可能影响：该消息可能提升外界对Claude参与形式化数学工作的关注，但不代表仅凭公告即可确认证明质量、工程成本或相关能力的普遍适用性；需要更多公开材料核验。 后续观察：建议关注完整Lean代码、形式化证明的可访问性、验证过程及第三方复核信息，以判断“首个”和“迄今最大”等表述的具体依据。"]},"en":{"title":"Claude Completes Formal Proof of Fermat's Last Theorem, Generates Over 13 Million Lines of Lean Code","summary":"Anthropic announced that last month Claude completed the first formal proof of Fermat's Last Theorem, marking the largest Lean proof to date.","category":"Industry","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude Completes Formal Proof of Fermat's Last Theorem, Generates Over 13 Million Lines of Lean Code - Aioga AI News","description":"Anthropic announced that last month Claude completed the first formal proof of Fermat's Last Theorem, marking the largest Lean proof to date.","url":"https://www.aioga.com/en/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:33.824Z"},"ja":{"title":"クロードはフェルマーの最終定理の形式的証明を完成させ、1300万行以上のリーンコードを生成しました","summary":"Anthropicは、クロードが先月フェルマーの大定理の最初の正式な証明を完成させたと発表しました。これはこれまでで最大のリーン証明です。","category":"業界動向","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"クロードはフェルマーの最終定理の形式的証明を完成させ、1300万行以上のリーンコードを生成しました - Aioga AIニュース","description":"Anthropicは、クロードが先月フェルマーの大定理の最初の正式な証明を完成させたと発表しました。これはこれまでで最大のリーン証明です。","url":"https://www.aioga.com/ja/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:34.464Z"},"ko":{"title":"클로드는 페르마 마지막 정리의 형식적 증명을 완성하여 1,300만 줄이 넘는 린 코드를 생성했다","summary":"Anthropic은 클로드가 지난달 페르마의 대정리에 대한 첫 공식 증명을 완성했다고 발표했으며, 이는 지금까지 가장 큰 린 증명입니다.","category":"업계 동향","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"클로드는 페르마 마지막 정리의 형식적 증명을 완성하여 1,300만 줄이 넘는 린 코드를 생성했다 - Aioga AI 뉴스","description":"Anthropic은 클로드가 지난달 페르마의 대정리에 대한 첫 공식 증명을 완성했다고 발표했으며, 이는 지금까지 가장 큰 린 증명입니다.","url":"https://www.aioga.com/ko/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:42.573Z"},"es":{"title":"Claude completó la demostración formal del Último Teorema de Fermat, generando más de 13 millones de líneas de código Lean","summary":"Anthropic anunció que Claude completó la primera demostración formal del Gran Teorema de Fermat del mes pasado, que es la mayor demostración Lean hasta la fecha.","category":"Industria","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude completó la demostración formal del Último Teorema de Fermat, generando más de 13 millones de líneas de código Lean - Aioga Noticias de IA","description":"Anthropic anunció que Claude completó la primera demostración formal del Gran Teorema de Fermat del mes pasado, que es la mayor demostración Lean hasta la fecha.","url":"https://www.aioga.com/es/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:43.025Z"},"fr":{"title":"Claude a complété la démonstration formelle du dernier théorème de Fermat, générant plus de 13 millions de lignes de code Lean","summary":"Anthropic a annoncé que Claude a achevé la première démonstration formelle du Grand Théorème de Fermat le mois dernier, qui constitue la plus grande démonstration Lean à ce jour.","category":"Industrie","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude a complété la démonstration formelle du dernier théorème de Fermat, générant plus de 13 millions de lignes de code Lean - Aioga Actualités IA","description":"Anthropic a annoncé que Claude a achevé la première démonstration formelle du Grand Théorème de Fermat le mois dernier, qui constitue la plus grande démonstration Lean à ce jour.","url":"https://www.aioga.com/fr/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:51.715Z"},"de":{"title":"Claude vollendete den formalen Beweis des letzten Satzes von Fermat und erzeugte über 13 Millionen Zeilen Lean-Code","summary":"Anthropic gab bekannt, dass Claude letzten Monat den ersten formellen Beweis von Fermats Großen Theorem abgeschlossen hat, der bisher der größte Lean-Beweis ist.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude vollendete den formalen Beweis des letzten Satzes von Fermat und erzeugte über 13 Millionen Zeilen Lean-Code - Aioga KI-News","description":"Anthropic gab bekannt, dass Claude letzten Monat den ersten formellen Beweis von Fermats Großen Theorem abgeschlossen hat, der bisher der größte Lean-Beweis ist.","url":"https://www.aioga.com/de/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:22:50.971Z"},"pt-BR":{"title":"Claude completou a prova formal do Último Teorema de Fermat, gerando mais de 13 milhões de linhas de código Lean","summary":"A Anthropic anunciou que Claude completou a primeira prova formal do Grande Teorema de Fermat no mês passado, que é a maior demonstração Lean até hoje.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude completou a prova formal do Último Teorema de Fermat, gerando mais de 13 milhões de linhas de código Lean - Aioga Notícias de IA","description":"A Anthropic anunciou que Claude completou a primeira prova formal do Grande Teorema de Fermat no mês passado, que é a maior demonstração Lean até hoje.","url":"https://www.aioga.com/pt-BR/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:00.641Z"},"ru":{"title":"Клод завершил формальное доказательство последней теоремы Ферма, сгенерировав более 13 миллионов строк бережливого кода","summary":"Anthropic объявил, что Клод завершил в прошлом месяце первое формальное доказательство Великой теоремы Ферма, которое является крупнейшим доказательством Лин на сегодняшний день.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Клод завершил формальное доказательство последней теоремы Ферма, сгенерировав более 13 миллионов строк бережливого кода - Aioga Новости ИИ","description":"Anthropic объявил, что Клод завершил в прошлом месяце первое формальное доказательство Великой теоремы Ферма, которое является крупнейшим доказательством Лин на сегодняшний день.","url":"https://www.aioga.com/ru/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:00.622Z"},"ar":{"title":"أكمل كلود البرهان الرسمي لمبرهنة فيرما الأخيرة، حيث أنتج أكثر من 13 مليون سطر من الشيفرة اللين","summary":"أعلنت مجلة أنثروبيك أن كلود أكمل أول برهان رسمي الشهر الماضي لنظرية فيرما الكبرى، وهو أكبر برهان لين حتى الآن.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"أكمل كلود البرهان الرسمي لمبرهنة فيرما الأخيرة، حيث أنتج أكثر من 13 مليون سطر من الشيفرة اللين - Aioga أخبار الذكاء الاصطناعي","description":"أعلنت مجلة أنثروبيك أن كلود أكمل أول برهان رسمي الشهر الماضي لنظرية فيرما الكبرى، وهو أكبر برهان لين حتى الآن.","url":"https://www.aioga.com/ar/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:09.248Z"},"hi":{"title":"क्लाउड ने फ़र्मेट के अंतिम प्रमेय का औपचारिक प्रमाण पूरा किया, जिससे लीन कोड की 13 मिलियन से अधिक लाइनें उत्पन्न हुईं","summary":"एंथ्रोपिक ने घोषणा की कि क्लाउड ने पिछले महीने फर्मेट के महान प्रमेय का पहला औपचारिक प्रमाण पूरा किया, जो अब तक का सबसे बड़ा दुबला प्रमाण है।","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"क्लाउड ने फ़र्मेट के अंतिम प्रमेय का औपचारिक प्रमाण पूरा किया, जिससे लीन कोड की 13 मिलियन से अधिक लाइनें उत्पन्न हुईं - Aioga AI समाचार","description":"एंथ्रोपिक ने घोषणा की कि क्लाउड ने पिछले महीने फर्मेट के महान प्रमेय का पहला औपचारिक प्रमाण पूरा किया, जो अब तक का सबसे बड़ा दुबला प्रमाण है।","url":"https://www.aioga.com/hi/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:09.561Z"},"it":{"title":"Claude completò la dimostrazione formale dell'Ultimo Teorema di Fermat, generando oltre 13 milioni di righe di codice Lean","summary":"Anthropic ha annunciato che Claude ha completato il mese scorso la prima dimostrazione formale del Grande Teorema di Fermat, che è la più grande dimostrazione Lean fino ad oggi.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude completò la dimostrazione formale dell'Ultimo Teorema di Fermat, generando oltre 13 milioni di righe di codice Lean - Aioga Notizie IA","description":"Anthropic ha annunciato che Claude ha completato il mese scorso la prima dimostrazione formale del Grande Teorema di Fermat, che è la più grande dimostrazione Lean fino ad oggi.","url":"https://www.aioga.com/it/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:18.442Z"},"nl":{"title":"Claude voltooide het formele bewijs van Fermats laatste stelling, waarmee hij meer dan 13 miljoen regels Lean-code genereerde","summary":"Anthropic kondigde aan dat Claude vorige maand het eerste formele bewijs van Fermats Grote Theorema heeft voltooid, dat tot nu toe het grootste Lean-bewijs is.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude voltooide het formele bewijs van Fermats laatste stelling, waarmee hij meer dan 13 miljoen regels Lean-code genereerde - Aioga AI-nieuws","description":"Anthropic kondigde aan dat Claude vorige maand het eerste formele bewijs van Fermats Grote Theorema heeft voltooid, dat tot nu toe het grootste Lean-bewijs is.","url":"https://www.aioga.com/nl/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:18.486Z"},"tr":{"title":"Claude, Fermat'ın Son Teoremi'nin resmi ispatını tamamladı ve 13 milyondan fazla Lean kodu satırı üretti","summary":"Anthropic, Claude'un geçen ay Fermat Büyük Teoremi'nin ilk resmi ispatını tamamladığını duyurdu; bu, bugüne kadarki en büyük Lean ispatıdır.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude, Fermat'ın Son Teoremi'nin resmi ispatını tamamladı ve 13 milyondan fazla Lean kodu satırı üretti - Aioga AI Haberleri","description":"Anthropic, Claude'un geçen ay Fermat Büyük Teoremi'nin ilk resmi ispatını tamamladığını duyurdu; bu, bugüne kadarki en büyük Lean ispatıdır.","url":"https://www.aioga.com/tr/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:27.108Z"},"vi":{"title":"Claude đã hoàn thành chứng minh chính thức Định lý Cuối cùng của Fermat, tạo ra hơn 13 triệu dòng mã Lean","summary":"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ý Vĩ đại Fermat vào tháng trước, đây là chứng minh Lean lớn nhất từ trước đến nay.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude đã hoàn thành chứng minh chính thức Định lý Cuối cùng của Fermat, tạo ra hơn 13 triệu dòng mã Lean - Tin tức AI Aioga","description":"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ý Vĩ đại Fermat vào tháng trước, đây là chứng minh Lean lớn nhất từ trước đến nay.","url":"https://www.aioga.com/vi/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:26.553Z"},"id":{"title":"Claude menyelesaikan pembuktian formal Teorema Terakhir Fermat, menghasilkan lebih dari 13 juta baris kode Lean","summary":"Anthropic mengumumkan bahwa Claude telah menyelesaikan bukti formal pertama bulan lalu atas Teorema Besar Fermat, yang merupakan bukti Lean terbesar hingga saat ini.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude menyelesaikan pembuktian formal Teorema Terakhir Fermat, menghasilkan lebih dari 13 juta baris kode Lean - Berita AI Aioga","description":"Anthropic mengumumkan bahwa Claude telah menyelesaikan bukti formal pertama bulan lalu atas Teorema Besar Fermat, yang merupakan bukti Lean terbesar hingga saat ini.","url":"https://www.aioga.com/id/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:35.938Z"},"th":{"title":"โคลดได้พิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์อย่างเป็นทางการ สร้างโค้ดลีนมากกว่า 13 ล้านบรรทัด","summary":"Anthropic ประกาศว่าโคลดได้ทําการพิสูจน์อย่างเป็นทางการครั้งแรกของทฤษฎีบทใหญ่ของแฟร์มาต์เมื่อเดือนที่แล้ว ซึ่งเป็นการพิสูจน์แบบ Lean ที่ใหญ่ที่สุดจนถึงปัจจุบัน","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"โคลดได้พิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์อย่างเป็นทางการ สร้างโค้ดลีนมากกว่า 13 ล้านบรรทัด - ข่าว AI Aioga","description":"Anthropic ประกาศว่าโคลดได้ทําการพิสูจน์อย่างเป็นทางการครั้งแรกของทฤษฎีบทใหญ่ของแฟร์มาต์เมื่อเดือนที่แล้ว ซึ่งเป็นการพิสูจน์แบบ Lean ที่ใหญ่ที่สุดจนถึงปัจจุบัน","url":"https://www.aioga.com/th/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:35.604Z"},"pl":{"title":"Claude ukończył formalny dowód Ostatniego twierdzenia Fermata, generując ponad 13 milionów linii kodu Lean","summary":"Anthropic ogłosił, że Claude ukończył pierwszy formalny dowód Wielkiego Twierdzenia Fermata w zeszłym miesiącu, które jest największym dowodem Lean do tej pory.","category":"行业动态","source":"@AnthropicAI)","aggregationSource":"@AnthropicAI)","pageTitle":"Claude ukończył formalny dowód Ostatniego twierdzenia Fermata, generując ponad 13 milionów linii kodu Lean - Aioga Wiadomości AI","description":"Anthropic ogłosił, że Claude ukończył pierwszy formalny dowód Wielkiego Twierdzenia Fermata w zeszłym miesiącu, które jest największym dowodem Lean do tej pory.","url":"https://www.aioga.com/pl/news/cmtnbhhu902perog1dmrla299/","contentTranslated":true,"sourceHash":"351c004116faa7ba","translatedAt":"2026-09-04T19:23:43.974Z"}},"evidenceTier":"social-signal","reviewStatus":"editorial-selected","indexable":true,"editorialCover":"/page-visuals/topic-timeline.png"}}