DARPA to 'radically' rev up mathematics research. 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.…