AI just disproved a major math problem. A mathematician explains. — Blankdot