Konferenzen  >  Mathematik  >  Neuronale Netze und Künstliche Intelligenz, Maschinelles Lernen  >  Vereinigte Staaten

Fora Group

Ai4 2025, held at the MGM Grand in Las Vegas, is North America’s largest AI industry conference, gathering over 8,000 attendees, 600+ speakers, & 250+ exhibits. Discover the latest applications in AI, explore best practices shaping the future of AI, and enjoy unbeatable networking. Join us as at the epicenter of the global AI community.

Email: info@ai4.io

Artificial Intelligence

Institute for Computational and Experimental Research in Mathematics, Brown University, Providence, RI (ICERM)

Can machines prove theorems? Can they have mathematical ideas? On one hand, category theory offers a formalism for axiomatising ideas from machine learning. On the other hand, mathematicians are excited about the prospect of utilising machine learning techniques to spot new patterns in vast swathes of combinatorial data and hence formulate new conjectures. The purpose of this workshop is to bring together experts from across algebraic combinatorics, category theory, and machine learning in order to make headway on topics at the intersection of these fields.