Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

All equals are not created equal—mathematicians sometimes play fast and loose. In programming, equal signs mean different things, and variables have different types. Turning intuitive math expertise ...