Could a ‘Math Genius’ AI Co-author Proofs Within Three Years?
A new DARPA project called expMath “aims to jumpstart math innovation with the help of AI,” writes The Register. America’s “Defense Advanced Research Projects Agency” believes mathematics isn’t advancing fast enough, according to their article…
So t…