Apprendre des maths à l'université à l'heure de l'IA

À l'occasion de son Assemblée Générale du 18 juin (à Paris), la SMF, en partenariat avec l'UFR de mathématiques de Sorbonne Université, organise une matinée table-ronde / débat autour de l'intrusion de l'IA dans les enseignements et nos cursus de maths au niveau universitaire. Il sera question aussi de faire le point sur l'usage des assistants de preuves (de type Lean) dans nos enseignements. 

Sorbonne Université UPMC
amphi 45A
4 Pl. Jussieu, 75005 Paris
75005 Paris

Références partagées : https://dropsu.sorbonne-universite.fr/s/r5t3Ycdi4TWSeA6
 

Programme

• 9h30 : Accueil par l'UFR de mathématique de Sorbonne Université.
• 9h45 : Présentation des enjeux de la matinée (SMF).
• 10h : "Mathématiques formalisées dans l'enseignement à l'heure de l'IA" par Patrick Massot, professeur au Laboratoire de Mathématiques d'Orsay de l'Université Paris-Saclay
  (50' + questions ; résumé à venir)
• 11h10 : Pause.
• 11h30-12h30 : Table ronde, partages d'expériences, échanges avec la salle sur les usages et l'impact de l'IA sur nos enseignements et sur la transmission des mathématiques.
• Modération : Emmanuel Ferrand (SMF).

Nos enseignements s'adressent aujourd'hui à des personnes qui ont un recours quotidien à L'IAg, Comment adapter nos évaluations à ce contexte ?  Observe-t-on des impacts sur les compétences en logique, en raisonnement, sur la persévérance face au difficultés ?  Quelles expériences positives avec des outils IA dans l'enseignement des maths à l'université ?

Doit-on craindre une mise en difficulté du parcours de formation classique vers la thèse et l'initiation à la recherche, qui nécessite de se confronter à des problèmes ouverts mais accessibles qui permettent de s'approprier les outils et de forger l'intuition ? En effet ces problèmes de recherche incrémentale deviennent aujourd'hui accessibles aux machines. Les mathématiques ne se retrouvent elles pas de fait dans une situation commune à d'autres métiers créatifs, où les outils IA bénéficient majoritairement aux personnes déjà formées, déjà autonomes ?

• 14h-16h : Atelier pour comparer les chartes IA que certains de nos UFR ou nos établissements on pu produire, cartographier les enjeux et essayer de dégager une position commune (salle 15-25 101).

A 16h30, l'assemblée générale de la SMF aura lieu dans cette même salle.

Inscription "journée IA" gratuite mais obligatoire

S'inscrire pour participer à l'AG