A golden age of mathematics may be at hand as AI enters the field

AI has solved problems that human mathematicians grappled in vain with for decades