"What's the difference between mathematical optimization and machine learning?" This is a question that — as the CEO of a mathematical optimization software company — I get asked all the time.

Two recent collaborations between mathematicians and DeepMind demonstrate the potential of machine learning to help researchers generate new mathematical conjectures. Mathematicians often work ...