The Nationwide Academies of Science, Engineering, and Arithmetic are internet hosting a digital workshop on the subject of “AI to Help Mathematical Reasoning” from June 12-14. The tentative program might be discovered right here. I’m one of many members of the organizing committee for this workshop, along with Petros Koumoutsakos, Jordan Ellenberg, Melvin Greer, Brendan Hassett, Yann A. LeCun, Heather Macbeth, Talia Ringer, Kavitha Srinivas, and Michelle Schwalbe. There’s some thematic overlap (and some audio system in frequent) with the current IPAM program on machine assisted proof, although with extra of a give attention to the present and projected technical capabilities of machine studying algorithms for arithmetic. Registration for the occasion is at present open at the online web page for the workshop.