Scientists at Fudan University, Peking University, and the Shanghai Academy of AI for Science (SAIS) used an artificial intelligence system called Packing Star to solve a 300-year-old maths problem ...