Les assistants de preuve : (pas si) bêtes et méchants ? (Faustine Oliva)
Le 11 juin 2026, de 10h30 à 12h, Faustine Oliva (CGGG) fera une présentation dans le cadre du séminaire PhilosophIA. La séance aura lieu en Zoom. Le lien de connexion est le suivant : https://univ-amu-fr.zoom.us/j/89079264034?pwd=LkbpbT0VFbm446WkbAjfvYbeVnisKJ.1
Titre de l'intervention :
Les assistants de preuve : (pas si) bêtes et méchants ?
Résumé de l'intervention :
Notre objectif est de proposer quelques pistes pour interroger le bien-fondé d'un rapprochement entre l'utilisation des assistants de preuve et le recours à des systèmes d'intelligence artificielle dans le cadre de la recherche et de l'étude des démonstrations. Pour cela nous clarifierons les rapports entre mécanisation, calcul et automatisation au sein des premiers. A travers des exemples nous montrerons ensuite que les possibilités calculatoires offertes par les assistants de preuve, en jouant le rôle de produit de contraste, permettent d'améliorer la compréhension qu'a le sujet des concepts qu'il manipule et des actes qu'il met en œuvre.
Invitation Zoom complète :
Sujet: PhilosophIA – Faustine Oliva
Heure: 11 juin 2026 10:30 Paris
Participer à la réunion Zoom
https://univ-amu-fr.zoom.us/j/89079264034?pwd=LkbpbT0VFbm446WkbAjfvYbeVnisKJ.1
Lien du chat de la réunion
https://univ-amu-fr.zoom.us/launch/jc/89079264034
ID de réunion: 890 7926 4034
Code secret: 645988
---
Une seule pression sur l’appareil mobile
+33170379729,,89079264034# France
+33170950103,,89079264034# France
---
Participez à l’aide d’un protocole SIP
89079264034@139.124.199.120
• 89079264034@139.124.199.240
Code secret: 645988
Instructions pour participer
https://univ-amu-fr.zoom.us/meetings/89079264034/invitations?signature=3Q5cySSUVUhhMWwcEVx2lZeID557xWsN4ejKxc4qeF8