Chinese and English archive texts include AI-assisted translations, not independently human-reviewed. Consult the original-language sources alongside them.
Société Mathématique de France
Read original source (FR)https://smf.emath.fr/node/3693205
Reading location
Lines 54–90: event description, programme and date; especially lines 68–77.
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.
Capture status
No verified capture is recorded. The original page may change; an access date is not a historical version date.
Events citing this source
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.
Cite this record
ANTI-AI ARCHIVE. “Learning mathematics at university in the age of AI.” src-0370. Include this page’s URL and your access date when citing.