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. 

La Diligentia Foundation soutient un projet de recherche d’UniDistance Suisse sur les obstacles administratifs dans le système fiscal

Économie Lire la suite

Le Valais, au cœur de la recherche économique empirique

Économie Lire la suite

«UniDistance Suisse est une institution attrayante dans le domaine de la recherche scientifique de haut niveau»

Économie Lire la suite

Félicitations à Christoph Drobner pour sa nomination à la CEU

Économie Lire la suite

Premier hackathon à UniDistance Suisse

Mathématiques et informatique Lire la suite