DARPA is launching the expMath project to enhance the pace of mathematical research, which they believe is currently stagnating. A recent event introduced plans to use artificial intelligence to develop tools capable of proposing and proving mathematical abstractions. They noted that between 1878 and 2018, pure mathematics grew at an unremarkable rate of less than 1 percent in scientific publications, contrasting sharply with progress in other scientific fields. DARPA hopes to bridge this gap and drive radical change in the mathematics discipline.
These fields have experienced changes but mathematics hasn't, and what we want to do is bring that change to mathematics.
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.
Collection
[
|
...
]