Machines are getting better at maths – artificial intelligence has learned to solve university-level calculus problems in seconds. François Charton and Guillaume Lample at Facebook AI Research trained ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...