As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results