Three mathematicians just proved a famous 30-year-old conjecture in geometry, with an assist from AI. The conjecture says that even within enormous, scattered and chaotic assemblages of points existing across innumerable dimensions, simple, orderly shapes will inevitably crop up.