Being "optimally useful" is not the goal of mathematics. See for example, https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf https://www.dpmms.cam.ac.uk/~wtg10/2c

Being "optimally useful" is not the goal of mathematics. See for example, https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf