GermanyAntropic je objavio kompletnu računalno provjerenu verziju dokaza za Fermatovu posljednju rečenicu. Šverm Claudeovih agenata stvoren je u jedanaest dana s 13 milijuna linija koda i 29.500 različitih teorema u Leanovom sustavu dokaza. Iako je 1995. godine dokazano Fermatovo posljednje rečenico od strane Andrewa Wilesa, nedostajala je formalna potvrda koja bi mogla biti provjerena korak po korak. Anthropic je istaknuo da je to pojednostavljenje izvornih dokaza Darmona, Diamonda i Taylora, pri čemu je ljudsko uplitanje ograničeno. Međutim, neovisnost ocjene ostaje krhka.
Procjena pristranosti (Sredina): Izvješća se usredotočuju na činjenične tehničke detalje bez političkog konteksta ili vrijednosti.
