Matematyk za grosze: jak AI udowadnia twierdzenia, których ludzie nie potrafili
Wyobraź sobie, że za kilkaset dolarów można rozwiązać problem matematyczny, nad którym przez lata głowili się najtężsi umysły. Brzmi jak science fiction? Zespół naukowców udowodnił, że to możliwe – ich agent oparty na dużych modelach…
