AI bije matematyków w znajdowaniu kontrprzykładów do twierdzeń

Modele językowe AI zaczynają przewyższać matematyków w znajdowaniu kontrprzykładów do hipotez matematycznych — czyli przypadków obalających domniemane twierdzenia. Projekt Xena odnotował, że AI potrafi w krótkim czasie przeszukać przestrzenie, które ręcznie sprawdzałyby się latami. To istotna zmiana w roli człowieka w matematyce: od generowania pomysłów po weryfikację propozycji AI.