Chinese and English archive texts include AI-assisted translations, not independently human-reviewed. Consult the original-language sources alongside them.
Source metadata and links checked; this does not mean the original was saved.
Material description
Full official programme checked. 18 June 2026 is the scheduled event date; webpage release and actual delivery unverified. Shared reference-material link returned 404. Massot's abstract strongly criticises generative AI, not an SMF-wide ban. Lean proof assistants are distinguished from generative AI.
This page provides metadata and source links. It does not imply possession of a full copy or permission to reproduce the work.
Sources & original material
Société Mathématique de France · FR · Date unknown
Related events
SMF schedules discussion of AI and university mathematics
The programme lists Patrick Massot’s critical discussion of generative AI and formalized mathematics, a roundtable on assessment and research training, and a workshop comparing institutional AI charters.
Related cases
Cite this record
ANTI-AI ARCHIVE. “Learning mathematics at university in the age of AI.” doc-0358. Include this page’s URL and your access date when citing.