AI riješio matematički problem koji je desetljećima odolijevao ljudima