The National Academies of Science, Engineering, and Mathematics are holding a virtual workshop from June 12-14 on AI to assist mathematical reasoning. The workshop is organized by a committee that includes several members such as Petros Koumoutsakos, Jordan Ellenberg, Yann A. LeCun and more. The event’s registration is open on the workshop’s web page, which also has a tentative program. The workshop has a focus on the technical applications of machine learning algorithms in mathematics, with a few speakers who have been featured in the recent IPAM program on machine-assisted proofs.
https://terrytao.wordpress.com/2023/06/02/ai-to-assist-mathematical-reasoning-a-workshop/