{"$schema": "https://iptc.org/std/ninjs/ninjs-schema_3.2.json", "uri": "urn:newsml:wireva.mib.news:item:bc7c8249-33b1-4b9b-96ef-b5356e789e51", "type": "text", "profile": "standard", "version": "1", "versioncreated": "2026-09-09T01:12:17.779673Z", "firstcreated": "2026-09-09T01:11:23.670351Z", "pubstatus": "usable", "urgency": 5, "language": "de", "headline": "KI formalisiert Fermats letzten Satz in 13 Millionen Lean-Zeilen", "byline": "Moritz Albrecht", "located": "Germany", "copyrightholder": "Haydamax OÜ", "copyrightnotice": "Wireva / Junkr", "usageterms": "Subscribers may republish this item in full, including translation and trimming, with the credit “Wireva / Junkr”. Set rel=canonical to https://junkr.party/technologie/ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen/ when publishing on the web.", "description_text": "Ein KI-gestütztes Projekt hat den bestehenden Beweis von Andrew Wiles in eine riesige maschinenprüfbare Lean-Formalisierung übertragen. Einen neuen Beweis hat die KI nicht gefunden.", "altids": {"mosaic": "bc7c8249-33b1-4b9b-96ef-b5356e789e51", "story": "89a793cb-f409-4728-bcaa-f49901cbd8e0", "slug": "ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen"}, "subject": [{"name": "Technology", "rel": "direct", "literal": "technology", "code": "medtop:13000000", "scheme": "http://cv.iptc.org/newscodes/mediatopic/", "uri": "http://cv.iptc.org/newscodes/mediatopic/13000000"}], "place": [{"name": "Germany", "literal": "de", "code": "DE", "scheme": "http://cv.iptc.org/newscodes/countrycodes/"}], "person": [], "organisation": [], "genre": [{"name": "Standard story", "literal": "standard"}], "service": [{"name": "Wireva", "literal": "wireva"}], "associations": {"featuremedia": {"uri": "urn:newsml:wireva.mib.news:media:72c335e5-e669-4c96-b0fa-714bb35cd849", "type": "picture", "version": "1", "pubstatus": "usable", "headline": "", "description_text": "", "copyrightholder": "commons.wikimedia.org", "copyrightnotice": "copyright C. J. Mozzochi, Princeton N.J", "usageterms": "File-level licence not yet resolved from Commons; fetch the original for exact terms.", "altids": {"wireva": "72c335e5-e669-4c96-b0fa-714bb35cd849"}, "extra": {"wireva:delivery_mode": "preview_and_link", "wireva:rights": {"licence": "Wikimedia — licence per file", "licence_url": "https://commons.wikimedia.org/wiki/Commons:Reusing_content_outside_Wikimedia", "licence_raw": "Attribution-only licence", "licence_verified_at": "2026-09-09T01:12:17.792697Z", "attribution_required": true, "attribution_text": "copyright C. J. Mozzochi, Princeton N.J", "redistribution_allowed": false, "commercial_use_allowed": false, "modifications_allowed": false, "share_alike_required": false}, "wireva:provenance": {"creator": "", "source_name": "commons.wikimedia.org", "source_url": "https://commons.wikimedia.org/wiki/File:Andrew_wiles1.jpg", "source_page_url": "https://commons.wikimedia.org/wiki/File:Andrew_wiles1.jpg", "our_page_url": "https://junkr.party/technologie/ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen/"}, "wireva:role": "lead"}, "renditions": {"preview": {"href": "https://nbg1.your-objectstorage.com/ckln/image-assets/f0b79a9fe7586af956ad4076dcefc17018511a83193546c40ab34450eba2bb95.jpg", "mimetype": "image/jpeg", "width": 1250, "height": 900}, "source": {"href": "https://commons.wikimedia.org/wiki/File:Andrew_wiles1.jpg", "mimetype": "image/jpeg"}}}}, "extra": {"wireva:story": {"uri": "urn:newsml:wireva.mib.news:story:89a793cb-f409-4728-bcaa-f49901cbd8e0", "slug": "ai-formalizes-fermats-last-theorem-proof-in-13-million-lines-of-lean-20260909", "status": "updated", "languages": ["de", "en"], "item_count": 2, "is_breaking": false}, "wireva:rights": {"class": "agency_original", "redistribution_allowed": true, "commercial_use_allowed": true, "modifications_allowed": true, "share_alike_required": false, "attribution_required": true, "attribution_text": "Wireva / Junkr", "canonical_required": true, "canonical_url": "https://junkr.party/technologie/ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen/", "linkback_required": true, "licence": "Wireva subscriber licence", "licence_url": "", "licensor": "Haydamax OÜ", "valid_until": null, "excerpt_max_chars": 0, "decided_by_rule": "agency_original_verified", "needs_review": false}, "wireva:provenance": {"production_method": "automated", "ai_stages": {}, "model": "", "human_reviewed": false, "reviewed_by": "", "reviewed_at": null, "editorial_control": true, "editorial_responsibility": "Haydamax OÜ (Wireva)", "factchecked": false, "verification_status": "multi_source", "independent_confirmations": 1, "official_source_used": false, "used_press_release": false, "public_interest": false, "ai_disclosure_required": false, "ai_disclosure_text": "", "independence_check": {"status": "passed", "score": 0.053, "checked_at": "2026-09-09T01:12:17.789481Z"}}, "wireva:publication": {"name": "Junkr", "domain": "junkr.party", "country": "DE", "url": "https://junkr.party/technologie/ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen/"}, "wireva:links": {"self": "https://wireva.mib.news/api/v1/items/bc7c8249-33b1-4b9b-96ef-b5356e789e51", "html": "https://wireva.mib.news/item/bc7c8249-33b1-4b9b-96ef-b5356e789e51/ki-formalisiert-fermats-letzten-satz-in-13-millionen-lean-zeilen/", "story": "https://wireva.mib.news/story/ai-formalizes-fermats-last-theorem-proof-in-13-million-lines-of-lean-20260909/"}, "wireva:metrics": {"word_count": 359, "char_count": 2737, "reading_time_seconds": 196}}}