DARPA’s I2O program to develop AI‑math “co‑author” for advancing pure math via auto‑decomposition, auto‑formalization, evaluation. Mathematics is the source of significant technological advances; however, progress in math is slow.
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. Advances in mathematics are slow for two reasons. First, 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...
Sign Up 
