Techmeme: A look at DARPAs “Exponentiating Mathematics . . . A look at DARPA's “Exponentiating Mathematics” program, which aims to speed up progress in pure mathematics by developing an AI “co-author” to conduct research — Breakthroughs in pure mathematics can take decades A new Defense Department initiative aims to speed things up using artificial intelligence
Can AI Quicken the Pace of Math Discovery? - In the Media . . . The New York Times spoke to Members Patrick Shafto (2021–23) and Andrew Granville (1989–91, 2007, 2009–10) in the School of Mathematics about a new AI initiative asking precisely this question The project is called "Exponentiating Mathematics " Run by the Defense Advanced Research Projects Agency (DARPA), where Shafto works as a program
What’s next for AI and math | MIT Technology Review Squint hard enough and in some ways math problems start to look the same: to solve them you need to take a sequence of steps from start to finish The problem is finding those steps
Math Might Be AI’s Hardest Test Where AI Stands Today in Math According to research and benchmarks thus far, AI is proficient in specific types of mathematics, particularly when the task is clearly defined and well-structured It is very useful for removing dead ends and saving time, and it performs well in algorithmic or discrete math problems
At Secret Math Meeting, Researchers Struggle to Outsmart AI Epoch AI hired Elliot Glazer, who had recently finished his math Ph D , to join the new collaboration for the benchmark, dubbed FrontierMath, in September 2024 The project collected novel