Math Genius AI to Co-author Proofs within Three Years

robinsrowe writes: How must faster will technology advance with AI agents solving new mathematical proofs? AI today isn't very good at math. Vividly demonstrated recently, when the White House used AI to calculate "reciprocal tariffs" that made no math sense whatsoever. (AI doesn't know the math difference between a tariff and a deficit.) That AI today cannot mathematically reason is a rich source of AI hallucinations. DARPA, the research arm of the U.S. Department of Defense, aims to make AI math be much, much, much better. Not merely better at calculations, but to make AI do abstract math thinking. DARPA says that "The goal of Exponentiating Mathematics (expMath) is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions." Article in The Register...

The US Defense Advanced Research Projects Agency, aka DARPA, believes mathematics isn't advancing fast enough. So to accelerate – or "exponentiate" – the rate of mathematical research, DARPA this week held a Proposers Day event to engage with the technical community in the hope that attendees will prepare proposals to submit once the actual Broad Agency Announcement (BAA) solicitation goes out. Whoa, slow down there, Uncle Sam. DARPA's project, dubbed expMath, aims to jumpstart math innovation with the help of artificial intelligence, or machine learning for those who prefer a less loaded term.