{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-08T20:00:47.205Z","headline":"Claude 完成 Fermat 大定理的首个全机器校验形式化证明","description":"Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","url":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","mainEntityOfPage":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","datePublished":"2026-09-04T22:50:16.000Z","dateModified":"2026-09-04T22:50:16.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://x.com/kimmonismus/status/2096007967749349844","https://aihot.virxact.com/items/cmtnkhh70034droqs3fevneuh"],"canonicalUrl":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","directAnswer":{"@type":"Answer","text":"来源摘要称，Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，使用超过 1300 万行 Lean 代码。","url":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","dateCreated":"2026-09-04T22:50:16.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":"@kimmonismus) source article","url":"https://x.com/kimmonismus/status/2096007967749349844","datePublished":"2026-09-04T22:50:16.000Z","provider":{"@type":"Organization","name":"@kimmonismus)","url":"https://x.com/kimmonismus/status/2096007967749349844"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.virxact.com/items/cmtnkhh70034droqs3fevneuh","datePublished":"2026-09-04T22:50:16.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.virxact.com/items/cmtnkhh70034droqs3fevneuh"}}],"aggregationSource":"@kimmonismus)","originalPublisher":{"name":"@kimmonismus)","url":"https://x.com/kimmonismus/status/2096007967749349844"},"geoDeepAnswer":null,"article":{"id":"cmtnkhh70034droqs3fevneuh","slug":"cmtnkhh70034droqs3fevneuh","url":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","title":"Claude 完成 Fermat 大定理的首个全机器校验形式化证明","title_en":"","summary":"Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","source":"@kimmonismus)","sourceUrl":"https://x.com/kimmonismus/status/2096007967749349844","aiHotUrl":"https://aihot.virxact.com/items/cmtnkhh70034droqs3fevneuh","publishedAt":"2026-09-04T22:50:16.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。"],"articleImages":[],"mediaStatus":"none","articleBodyZh":["Claude 完成 Fermat 大定理的首个全机器校验形式化证明 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","背景：材料将该成果描述为迄今最大的 Lean 证明，并称其为首个全机器校验的费马大定理形式化证明，但未提供证明文件或独立核验信息。","Aioga 观察：Aioga 判断：该消息的核心价值在于展示 Claude 参与大型形式化证明任务的案例；但现有材料仅提供单一来源摘要，结论仍需结合可复核证据理解。","影响与后续：可能影响：形式化数学证明的工程规模与自动化进展值得关注；但现有材料不足以证明该成果已被独立复核，也不代表相关方法已适用于其他证明任务。 后续观察：需要关注完整 Lean 代码、可复现环境、证明校验结果及独立来源，进一步核实证明范围、代码规模和“首个”表述。"],"translationStatus":"","bodyOrigin":"social-summary","editorial":{"summary":"来源摘要称，Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，使用超过 1300 万行 Lean 代码。","background":"材料将该成果描述为迄今最大的 Lean 证明，并称其为首个全机器校验的费马大定理形式化证明，但未提供证明文件或独立核验信息。","viewpoint":"Aioga 判断：该消息的核心价值在于展示 Claude 参与大型形式化证明任务的案例；但现有材料仅提供单一来源摘要，结论仍需结合可复核证据理解。","implications":"可能影响：形式化数学证明的工程规模与自动化进展值得关注；但现有材料不足以证明该成果已被独立复核，也不代表相关方法已适用于其他证明任务。","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-04T23:28:06.015Z","sourceHash":"1a4a5bcc058da852","review":{"approved":true,"groundedness":94,"clarity":91,"duplicationRisk":38,"blockingIssues":[],"notes":["“Aioga 判断”属于明确标注的观点，不构成事实冒充。","内容较多重复来源中的核心信息；如需进一步降低重复度，可压缩 summary 与 background 的重叠表述。","“全机器校验”及“首个”等表述沿用来源材料，但来源未附完整证明文件或独立核验信息，候选内容已对此作出适当限定。"]},"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":["行业动态","@kimmonismus)"],"translations":{"zh-CN":{"title":"Claude 完成 Fermat 大定理的首个全机器校验形式化证明","summary":"Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude 完成 Fermat 大定理的首个全机器校验形式化证明 - Aioga AI资讯","description":"Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","url":"https://www.aioga.com/news/cmtnkhh70034droqs3fevneuh/","articleBody":["Claude 完成 Fermat 大定理的首个全机器校验形式化证明 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。","背景：材料将该成果描述为迄今最大的 Lean 证明，并称其为首个全机器校验的费马大定理形式化证明，但未提供证明文件或独立核验信息。","Aioga 观察：Aioga 判断：该消息的核心价值在于展示 Claude 参与大型形式化证明任务的案例；但现有材料仅提供单一来源摘要，结论仍需结合可复核证据理解。","影响与后续：可能影响：形式化数学证明的工程规模与自动化进展值得关注；但现有材料不足以证明该成果已被独立复核，也不代表相关方法已适用于其他证明任务。 后续观察：需要关注完整 Lean 代码、可复现环境、证明校验结果及独立来源，进一步核实证明范围、代码规模和“首个”表述。"]},"en":{"title":"Claude completes the first full machine-verified formal proof of Fermat's Last Theorem","summary":"Anthropic announced that Claude completed the first formal proof of Fermat's Last Theorem, taking 11 days and totaling over 13 million lines of Lean code, making it the largest Lean proof to date.","category":"Industry","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude completes the first full machine-verified formal proof of Fermat's Last Theorem - Aioga AI News","description":"Anthropic announced that Claude completed the first formal proof of Fermat's Last Theorem, taking 11 days and totaling over 13 million lines of Lean code, making it the largest Lea...","url":"https://www.aioga.com/en/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:36.800Z"},"ja":{"title":"Claude がフェルマーの大定理の初の完全機械検証形式証明を達成","summary":"Anthropic は Claude がフェルマーの大定理の初の形式的証明を完成させたことを発表しました。所要時間は 11 日、合計で 1,300 万行以上の Lean コードとなり、これまでで最大の Lean 証明です。","category":"業界動向","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude がフェルマーの大定理の初の完全機械検証形式証明を達成 - Aioga AIニュース","description":"Anthropic は Claude がフェルマーの大定理の初の形式的証明を完成させたことを発表しました。所要時間は 11 日、合計で 1,300 万行以上の Lean コードとなり、これまでで最大の Lean 証明です。","url":"https://www.aioga.com/ja/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:35.658Z"},"ko":{"title":"Claude, 페르마 대정리의 첫 전체 머신 검증 형식적 증명 완료","summary":"Anthropic은 Claude가 페르마 대정리의 첫 번째 형식적 증명을 완료했다고 발표했으며, 소요 시간은 11일, 총 1,300만 행 이상의 Lean 코드로 지금까지 가장 큰 Lean 증명이라고 밝혔습니다.","category":"업계 동향","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude, 페르마 대정리의 첫 전체 머신 검증 형식적 증명 완료 - Aioga AI 뉴스","description":"Anthropic은 Claude가 페르마 대정리의 첫 번째 형식적 증명을 완료했다고 발표했으며, 소요 시간은 11일, 총 1,300만 행 이상의 Lean 코드로 지금까지 가장 큰 Lean 증명이라고 밝혔습니다.","url":"https://www.aioga.com/ko/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:40.278Z"},"es":{"title":"Claude completa la primera verificación formal completamente automatizada del último teorema de Fermat","summary":"Anthropic anunció que Claude completó la primera demostración formal del último teorema de Fermat, tomando 11 días y un total de más de 13 millones de líneas de código Lean, siendo la demostración Lean más grande hasta la fecha.","category":"Industria","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude completa la primera verificación formal completamente automatizada del último teorema de Fermat - Aioga Noticias de IA","description":"Anthropic anunció que Claude completó la primera demostración formal del último teorema de Fermat, tomando 11 días y un total de más de 13 millones de líneas de código Lean, siendo...","url":"https://www.aioga.com/es/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:40.277Z"},"fr":{"title":"Claude réalise la première preuve formelle entièrement automatisée du dernier théorème de Fermat","summary":"Anthropic annonce que Claude a complété la première preuve formelle du dernier théorème de Fermat, prenant 11 jours et totalisant plus de 13 millions de lignes de code Lean, ce qui constitue la plus grande preuve Lean à ce jour.","category":"Industrie","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude réalise la première preuve formelle entièrement automatisée du dernier théorème de Fermat - Aioga Actualités IA","description":"Anthropic annonce que Claude a complété la première preuve formelle du dernier théorème de Fermat, prenant 11 jours et totalisant plus de 13 millions de lignes de code Lean, ce qui...","url":"https://www.aioga.com/fr/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:44.622Z"},"de":{"title":"Claude hat den ersten vollständig maschinellen formalen Beweis des Fermatschen Satzes abgeschlossen","summary":"Anthropic kündigte an, dass Claude den ersten formalen Beweis des Fermatschen Satzes fertiggestellt hat, der 11 Tage dauerte und insgesamt über 13 Millionen Zeilen Lean-Code umfasste, was bisher der größte Lean-Beweis ist.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude hat den ersten vollständig maschinellen formalen Beweis des Fermatschen Satzes abgeschlossen - Aioga KI-News","description":"Anthropic kündigte an, dass Claude den ersten formalen Beweis des Fermatschen Satzes fertiggestellt hat, der 11 Tage dauerte und insgesamt über 13 Millionen Zeilen Lean-Code umfass...","url":"https://www.aioga.com/de/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:43.669Z"},"pt-BR":{"title":"Claude completo a primeira prova formal totalmente mecânica do Teorema de Fermat","summary":"A Anthropic anunciou que Claude completou a primeira prova formal do Teorema de Fermat, levando 11 dias e totalizando mais de 13 milhões de linhas de código em Lean, sendo a maior prova Lean até hoje.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude completo a primeira prova formal totalmente mecânica do Teorema de Fermat - Aioga Notícias de IA","description":"A Anthropic anunciou que Claude completou a primeira prova formal do Teorema de Fermat, levando 11 dias e totalizando mais de 13 milhões de linhas de código em Lean, sendo a maior...","url":"https://www.aioga.com/pt-BR/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:47.873Z"},"ru":{"title":"Claude завершил первое полностью машинное формальное доказательство теоремы Ферма","summary":"Anthropic объявила, что Claude завершил первое формальное доказательство теоремы Ферма, потратив 11 дней и создав более 13 миллионов строк кода Lean, что является на сегодняшний день крупнейшим доказательством на языке Lean.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude завершил первое полностью машинное формальное доказательство теоремы Ферма - Aioga Новости ИИ","description":"Anthropic объявила, что Claude завершил первое формальное доказательство теоремы Ферма, потратив 11 дней и создав более 13 миллионов строк кода Lean, что является на сегодняшний де...","url":"https://www.aioga.com/ru/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:47.948Z"},"ar":{"title":"كلود يُنجز أول برهان رسمي كامل لفرضية فيرما الكبرى باستخدام الآلة","summary":"أعلنت Anthropic أن كلود أكمل أول برهان رسمي لفيرما الكبرى، واستغرق ذلك 11 يومًا، بما يزيد عن 13 مليون سطر من كود Lean، وهو أكبر برهان Lean حتى الآن.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"كلود يُنجز أول برهان رسمي كامل لفرضية فيرما الكبرى باستخدام الآلة - Aioga أخبار الذكاء الاصطناعي","description":"أعلنت Anthropic أن كلود أكمل أول برهان رسمي لفيرما الكبرى، واستغرق ذلك 11 يومًا، بما يزيد عن 13 مليون سطر من كود Lean، وهو أكبر برهان Lean حتى الآن.","url":"https://www.aioga.com/ar/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:53.921Z"},"hi":{"title":"Claude ने Fermat के अंतिम सिद्धांत का पहला पूरी तरह से मशीन-चेकेड फॉर्मल प्रूफ पूरा किया","summary":"Anthropic ने घोषणा की कि Claude ने Fermat के अंतिम सिद्धांत का पहला फॉर्मल प्रूफ पूरा किया, जिसमें 11 दिन का समय लगा और कुल मिलाकर 13 मिलियन से अधिक Lean कोड लाइनें लिखी गईं, यह अब तक का सबसे बड़ा Lean प्रूफ है।","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude ने Fermat के अंतिम सिद्धांत का पहला पूरी तरह से मशीन-चेकेड फॉर्मल प्रूफ पूरा किया - Aioga AI समाचार","description":"Anthropic ने घोषणा की कि Claude ने Fermat के अंतिम सिद्धांत का पहला फॉर्मल प्रूफ पूरा किया, जिसमें 11 दिन का समय लगा और कुल मिलाकर 13 मिलियन से अधिक Lean कोड लाइनें लिखी गईं, यह अब...","url":"https://www.aioga.com/hi/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:51.688Z"},"it":{"title":"Claude completa la prima dimostrazione formale completamente automatica del Teorema di Fermat","summary":"Anthropic annuncia che Claude ha completato la prima dimostrazione formale del grande Teorema di Fermat, in 11 giorni, con oltre 13 milioni di righe di codice Lean, rappresentando la più grande dimostrazione Lean fino ad oggi.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude completa la prima dimostrazione formale completamente automatica del Teorema di Fermat - Aioga Notizie IA","description":"Anthropic annuncia che Claude ha completato la prima dimostrazione formale del grande Teorema di Fermat, in 11 giorni, con oltre 13 milioni di righe di codice Lean, rappresentando...","url":"https://www.aioga.com/it/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:57.240Z"},"nl":{"title":"Claude voltooit de eerste volledig geautomatiseerde formele verificatie van de Fermat's Last Theorem","summary":"Anthropic kondigt aan dat Claude de eerste formele verificatie van Fermat's laatste stelling heeft voltooid, in 11 dagen tijd, met in totaal meer dan 13 miljoen regels Lean-code, wat tot nu toe de grootste Lean-bewijs is.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude voltooit de eerste volledig geautomatiseerde formele verificatie van de Fermat's Last Theorem - Aioga AI-nieuws","description":"Anthropic kondigt aan dat Claude de eerste formele verificatie van Fermat's laatste stelling heeft voltooid, in 11 dagen tijd, met in totaal meer dan 13 miljoen regels Lean-code, w...","url":"https://www.aioga.com/nl/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:20:57.483Z"},"tr":{"title":"Claude, Fermat'nın Büyük Teoremi'nin ilk tamamen makine tarafından doğrulanmış biçimli kanıtını tamamladı","summary":"Anthropic, Claude'un Fermat'nın Son Teoremi'nin ilk biçimsel kanıtını tamamladığını duyurdu; bu süreç 11 gün sürdü ve toplamda 13 milyondan fazla Lean satırı içeriyor, şimdiye kadarki en büyük Lean kanıtı.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude, Fermat'nın Büyük Teoremi'nin ilk tamamen makine tarafından doğrulanmış biçimli kanıtını tamamladı - Aioga AI Haberleri","description":"Anthropic, Claude'un Fermat'nın Son Teoremi'nin ilk biçimsel kanıtını tamamladığını duyurdu; bu süreç 11 gün sürdü ve toplamda 13 milyondan fazla Lean satırı içeriyor, şimdiye kada...","url":"https://www.aioga.com/tr/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:21:06.590Z"},"vi":{"title":"Claude hoàn thành chứng minh hình thức toàn bộ cho Định lý Fermat","summary":"Anthropic thông báo Claude hoàn thành chứng minh hình thức đầu tiên cho Định lý Fermat sau 11 ngày, với tổng cộng hơn 13 triệu dòng mã Lean, là chứng minh Lean lớn nhất cho đến nay.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude hoàn thành chứng minh hình thức toàn bộ cho Định lý Fermat - Tin tức AI Aioga","description":"Anthropic thông báo Claude hoàn thành chứng minh hình thức đầu tiên cho Định lý Fermat sau 11 ngày, với tổng cộng hơn 13 triệu dòng mã Lean, là chứng minh Lean lớn nhất cho đến nay...","url":"https://www.aioga.com/vi/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:21:00.940Z"},"id":{"title":"Claude menyelesaikan bukti formal pertama dari Teorema Besar Fermat secara mesin penuh","summary":"Anthropic mengumumkan Claude telah menyelesaikan bukti formal pertama dari Teorema Besar Fermat, memakan waktu 11 hari, dengan total lebih dari 13 juta baris kode Lean, menjadi bukti Lean terbesar yang pernah ada.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude menyelesaikan bukti formal pertama dari Teorema Besar Fermat secara mesin penuh - Berita AI Aioga","description":"Anthropic mengumumkan Claude telah menyelesaikan bukti formal pertama dari Teorema Besar Fermat, memakan waktu 11 hari, dengan total lebih dari 13 juta baris kode Lean, menjadi buk...","url":"https://www.aioga.com/id/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:21:10.419Z"},"th":{"title":"Claude ทำการพิสูจน์คณิตศาสตร์เชิงรูปแบบแรกของทฤษฎีบทใหญ่ของ Fermat ด้วยเครื่องทั้งหมด","summary":"Anthropic ประกาศว่า Claude ทำการพิสูจน์เชิงรูปแบบของทฤษฎีบทใหญ่ของแฟร์มาต์สำเร็จครั้งแรก ใช้เวลา 11 วัน รวมโค้ด Lean กว่า 13 ล้านบรรทัด ถือเป็นการพิสูจน์ Lean ที่ใหญ่ที่สุดจนถึงปัจจุบัน","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude ทำการพิสูจน์คณิตศาสตร์เชิงรูปแบบแรกของทฤษฎีบทใหญ่ของ Fermat ด้วยเครื่องทั้งหมด - ข่าว AI Aioga","description":"Anthropic ประกาศว่า Claude ทำการพิสูจน์เชิงรูปแบบของทฤษฎีบทใหญ่ของแฟร์มาต์สำเร็จครั้งแรก ใช้เวลา 11 วัน รวมโค้ด Lean กว่า 13 ล้านบรรทัด ถือเป็นการพิสูจน์ Lean ที่ใหญ่ที่สุดจนถึงปัจ...","url":"https://www.aioga.com/th/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:21:10.496Z"},"pl":{"title":"Claude zakończył pierwsze w pełni automatyczne sprawdzenie formalne Wielkiego Twierdzenia Fermata","summary":"Anthropic ogłosiło, że Claude zakończył pierwsze formalne dowodzenie Wielkiego Twierdzenia Fermata, które zajęło 11 dni i obejmowało ponad 13 milionów linijek kodu Lean, co jest największym dowodem Lean do tej pory.","category":"行业动态","source":"@kimmonismus)","aggregationSource":"@kimmonismus)","pageTitle":"Claude zakończył pierwsze w pełni automatyczne sprawdzenie formalne Wielkiego Twierdzenia Fermata - Aioga Wiadomości AI","description":"Anthropic ogłosiło, że Claude zakończył pierwsze formalne dowodzenie Wielkiego Twierdzenia Fermata, które zajęło 11 dni i obejmowało ponad 13 milionów linijek kodu Lean, co jest na...","url":"https://www.aioga.com/pl/news/cmtnkhh70034droqs3fevneuh/","contentTranslated":true,"sourceHash":"98a29ce95bc2e598","translatedAt":"2026-09-04T23:21:15.533Z"}},"evidenceTier":"social-signal","reviewStatus":"editorial-selected","indexable":true,"editorialCover":"/page-visuals/topic-timeline.png"}}