The artificial intelligence (AI) program DeepMind has gotten closer to proving a math conjecture that's bedeviled mathematicians for decades and revealed another new conjecture that may unravel how ...
It’s an educated guess, not a proof. But a good conjecture will guide math forward, pointing the way into the mathematical unknown. Mountain climbing is a beloved metaphor for mathematical research.