Scientists make huge breakthrough to give AI mathematical capabilities never seen before