Who Will Lead Mathematical AI?

“A small episode from this summer keeps coming back to me. At the National Academies meeting Organizing Mathematical Knowledge in the Age of AI and Formalization, David Spergel discussed Japan’s participation in the Department of Energy’s Genesis Mission. […]”