6 papers
Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
Michael R. Douglas
Mathematicians have embraced interactive theorem provers with growing enthusiasm -- building large shared libraries and machine-checking a string of landmark results. Theoretical p…
Artificial Intelligence and the Structure of Mathematics
Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman
Recent progress in artificial intelligence (AI) is unlocking transformative capabilities for mathematics. There is great hope that AI will help solve major open problems and autono…
Harmonic -forms on real loci of Calabi-Yau manifolds
Michael R. Douglas, Daniel Platt, Yidi Qi +1
We numerically study whether there exist nowhere vanishing harmonic -forms on the real locus of some carefully constructed examples of Calabi-Yau manifolds, which would then giv…
Diffusion Models for Cayley Graphs
Michael R. Douglas, Kit Fraser-Taliente
We review the problem of finding paths in Cayley graphs of groups and group actions, using the Rubik's cube as an example, and we list several more examples of significant mathemat…
Mathematical Data Science
Michael R. Douglas, Kyu-Hwan Lee
Can machine learning help discover new mathematical structures? In this article we discuss an approach to doing this which one can call "mathematical data science". In this paradig…
Progress in Artificial Intelligence and its Determinants
Michael R. Douglas, Sergiy Verstyuk
We study long-run progress in artificial intelligence in a quantitative way. Many measures, including traditional ones such as patents and publications, machine learning benchmarks…