• Mathematics

  AI to Assist Mathematical Reasoning: A Workshop

  Posted by Mathematics on June 2, 2023 at 5:52 pm

  The National Academies of Science, Engineering, and Mathematics are hosting a virtual workshop on the topic of “AI to Assist Mathematical Reasoning” from June 12-14. The tentative program can be found here. I am one of the members of the organizing committee for this workshop, together with Petros Koumoutsakos, Jordan Ellenberg, Melvin Greer, Brendan Hassett, Yann A. LeCun, Heather Macbeth, Talia Ringer, Kavitha Srinivas, and Michelle Schwalbe. There is some thematic overlap (and a few speakers in common) with the recent IPAM program on machine assisted proof, though with more of a focus on the current and projected technical capabilities of machine learning algorithms for mathematics. Registration for the event is currently open at the web page for the workshop.

   

  What’s new • Read More

  Mathematics replied 1 year, 1 month ago 1 Member · 0 Replies

  • Mathematics - News
• 0 Replies

Log In to Reply