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 PhD researcher in Computer Science – Effortful Learning with Generative AI (100 %) PhD researcher in Computer Science – Collaborative Embodied Learning in VR (100%) Assistant-e pour le module de Psychologie différentielle et psychométrie du Bachelor en… Le pouvoir caché des odeurs et des saveurs sur nos comportements