Od 12 lat ludzie nie mogli tego rozwiązać. AI właśnie zmieniła naukę

Zdjęcie: Programista siedzący tyłem przed dwoma monitorami z kodem, biurko z lampką, kubkiem z długopisami i myszką w przytulnym pokoju.


Zespół badaczy z Peking University opracował system sztucznej inteligencji, który poradził sobie z wieloletnim problemem matematycznym – hipotezą zaproponowaną w 2014 r. przez Dana Andersona. Według autorów projektu narzędzie potrzebowało około 80 godzin, aby znaleźć rozwiązanie i sformalizować dowód....