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.
Komentarze
Brak komentarzy
Komentarze
Jeszcze nikt nie skomentował — napisz pierwszy 👇
Brak komentarzy. Bądź pierwszy!