Chinese and English archive texts include AI-assisted translations, not independently human-reviewed. Consult the original-language sources alongside them.
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.
What changed
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.
Programme only: delivery and common policy outcomes unverified. Massot’s position is individual; the roundtable also invites positive experiences.
Editorial research question
Editorial interpretation: The programme explicitly compares mathematical training with other creative occupations, linking assessment, reasoning and research independence.
This is an editorial interpretation or question, separate from factual statements.
Evidence & sources
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.
SRC-0370Lines 54–90: event description, programme and date; especially lines 68–77.
Société Mathématique de France · FR · Date unknown
Case
Related documents
DOC-0358Learning mathematics at university in the age of AICite this record
ANTI-AI ARCHIVE. “SMF schedules discussion of AI and university mathematics.” evt-0313. Include this page’s URL and your access date when citing.