Edward Rothberg is CEO and Co-Founder of Gurobi Optimization, which produces one of the world’s fastest mathematical optimization solvers. It’s easy to see why many machine learning capabilities—from ...

In Part 1 of this series on optimization and recovery, we considered two limitations of optimization processes and the light they shed on pseudo-recovery. Let’s now think more about what the ...

What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching numbers but proposing original solutions to problems that have baffled ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

A Korean researcher who solved the “Moving Sofa Problem,” a mathematical challenge that had puzzled mathematicians for nearly 60 years, was selected as one of the top 10 mathematical innovations of ...