GermanyPodjetje KI Anthropic je po lastnih navedbah objavilo popolnoma računalniško preverjeno različico dokazov za Fermatovo zadnjo frazo. Švarm Claude-Agentov je nastal v enajstih dneh z 13 milijoni vrstic kode in 29.500 med teoremo v sistemu dokazov Lean. Čeprav je bila dokazana Fermatova zadnja fraza leta 1995 od Andrewa Wilesa, je še vedno obstajala formalna potrditev, ki bi jo računalnik lahko preveril korak za korakom. Anthropic je poudaril, da je to poenostavitev prvotnih dokazov po Darmon, Diamond in Taylor, pri čemer je človeško vmešavanje omejeno. Neodvisnost ocene pa ostaja krhka.
Ocena pristranskosti (Sredina): Die Berichterstattung konzentriert sich auf faktenbasierte technische Details ohne politischen Kontext oder Werturteile. Es wird keine parteipolitische Ausrichtung oder ideologischer Schlussfolgerung hervorgehoben. Die Darstellung bleibt objektiv und berichtet neutral über einen wissenschaftlichen V Die Berichterstattung konzentriert sich auf faktenbasierte technische Details ohne politischen Kontext oder Werturteile. Es wird keine parteipolitische Ausrichtung oder ideologischer Schlussfolgerung hervorgehoben. Die Darstellung bleibt objektiv und berichtet neutral über einen wissenschaftlichen V
