DARPA to 'radically' rev up mathematics research. And yes, with AI

Now that's a sum of all fears

The US Defense Advanced Research Projects Agency, aka DARPA, believes mathematics isn't advancing fast enough....