14 citations · 16 across the 9 of their papers we have counts for
10 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…
Formalization of QFT
Michael R. Douglas, Sarah Hoback, Anna Mei +1
A foundational result in constructive quantum field theory is the construction of the free bosonic quantum field theory in four-dimensional Euclidean spacetime and the proof that i…
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…