Comment les méthodes formelles et l’intelligence artificielle transforment-elles les mathématiques? Cette question était au cœur de la rencontre internationale « Formalization and Proof Assistants », qui s’est tenue du 25 au 27 mars 2026 à UniDistance Suisse. L’événement, organisé par le professeur de mathématiques David Loeffler, s’est inscrit dans le cadre des « Spring Meetings » de la Société Mathématique Suisse et a réuni des expertes et experts de premier plan venus du monde entier.

La manifestation a rassemblé des chercheuses et chercheurs de renom issus du monde académique, ainsi que des représentantes et représentants de l’industrie. Parmi les intervenantes et intervenants figuraient notamment la médaillée Fields Maryna Viazovska (EPFL), ainsi que des spécialistes provenant d’entreprises de pointe en intelligence artificielle, telles que Google DeepMind. Cette diversité de profils a mis en lumière les liens croissants entre recherche fondamentale et innovation technologique. 
 

Nous avons été très heureux d’accueillir sur notre campus un groupe d’experts internationaux aussi remarquable

souligne le Prof. Dr David Loeffler

« La combinaison des méthodes formelles et de l’intelligence artificielle transforme en profondeur la recherche mathématique et ouvre de nouvelles perspectives sur des questions qui occupent la communauté scientifique depuis des siècles. Il est particulièrement stimulant d’observer comment, ici en Valais, l’histoire des mathématiques continue de s’écrire.» 

Soutenu par un généreux don de la Mathlib Initiative, un programme de Renaissance Philanthropy, ainsi que par la Société Mathématique Suisse, cet atelier a offert une plateforme dynamique d’échanges et de collaboration au sein de la communauté mathématique. 

Autres actualités

[Etudiants] Conseils techniques pour se préparer à un examen en ligne

Lire la suite

Journée valaisanne du droit pénal : les deepfakes au cœur des débats

Droit Lire la suite

SMS Spring Meeting : Formalisation et assistants de preuve

Mathématiques et informatique Lire la suite

Postdoctorante ou Postdoctorant en histoire moderne et contemporaine (90%)

UniDistance Suisse Lire la suite

Collaborateur/trice scientifique Student Mobility Office 80-100 %

UniDistance Suisse Lire la suite