OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...
Inside the symmetries of a crystal shape, a postdoctoral researcher has unearthed a counterexample to a basic conjecture about multiplicative inverses. “I’m nearly at the end of the talk, and it’s ...
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.