flâneur

expMath | DARPA

darpa.mil · 447 words · saved by 1 readers

Official websites use .mil A .mil website belongs to an official U.S. Department of War organization. Secure .mil websites use HTTPS A lock ( ) or https:// means you’ve safely connected to the .mil website. Share sensitive information only on official, secure websites. Mathematics is the source of significant technological advances. However, progress in math is slow for two primary reasons. Recent advances in artificial intelligence (AI) suggest the possibility of increasing the rate of progress in mathematics. Still, a wide gap exists between state-of-the-art AI capabilities and pure mathematics research. 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. expMath will comprise teams focused on developing AI capable of auto decomposition and auto(in)formalization and teams focused on evaluation with respect to professional-level mathema

Mathematics is the source of significant technological advances. However, progress in math is slow for two primary reasons. Decomposing problems into useful lemmas is a laborious and manual process. To advance the field of mathematics, mathematicians use their knowledge and experience to explore candidate lemmas, which, when composed together, prove theorems. Ideally, these lemmas are generalizable beyond the specifics of the current problem so they can be easily understood and ported to new contexts. Proving candidate lemmas is slow, effortful, and iterative. Putative proofs may have…

saved by

related reading