AI may have solved one of mathematics’ biggest puzzles

For centuries, scientific progress has depended not only on human curiosity, but also on the tools we have created to…