If models can learn to master complex calculations, they could solve problems that have so far eluded us