Start-ups are racing to revolutionise mathematics with AI