{"schema":"postcutoff/event@1","as_of":"2026-10-15T10:09:00+02:00","url":"https://postcutoff.com/e/2026-09-25-harvard-cmsa-phd-math-education-ai-recommendations/","md":"https://postcutoff.com/e/2026-09-25-harvard-cmsa-phd-math-education-ai-recommendations/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-09-25-harvard-cmsa-phd-math-education-ai-recommendations","date":"2026-09-25","date_precision":"day","short_title":"Harvard CMSA summit: recommendations for the maths PhD in the age of AI","deck":null,"takeaway":null,"category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":[{"n":1,"title":"Report of Summit on PhD Math Education in the Age of AI (PDF, CMSA)","url":"https://cmsa.fas.harvard.edu/media/2026/09/Summit-on-PhD-Math-Education-in-the-Age-of-AI.pdf","type":"official","group":"primary","domain":"cmsa.fas.harvard.edu"},{"n":2,"title":"Harvard CMSA: Summit on PhD Math Education in the Age of AI (event page)","url":"https://cmsa.fas.harvard.edu/event/summit2026/","type":"official","group":"primary","domain":"cmsa.fas.harvard.edu"},{"n":3,"title":"Terence Tao's blog: Recommendations of the Summit on PhD Math Education in the Age of AI (guest post by Bryna Kra and Rachel Ward, Sept 25, 2026)","url":"https://terrytao.wordpress.com/2026/09/25/recommendations-of-the-summit-on-phd-math-education-in-the-age-of-ai/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"},{"n":4,"title":"Terence Tao's blog: Cognitive Sanctuaries, or: Manifesto of the Department Chair (Jess Werk, Sept 27, 2026)","url":"https://terrytao.wordpress.com/2026/09/27/cognitive-sanctuaries-or-manifesto-of-the-department-chair/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":2,"filed":"2026-10-15","updated":"2026-10-15","orgs":["Harvard University","Harvard CMSA"],"title":"Harvard CMSA summit of 24 senior mathematicians recommends rebuilding the maths PhD for AI: in-person assessment, mandatory AI disclosure, thesis need not be the first proof","summary":"After a closed Sept 17–18, 2026 summit at Harvard's Center of Mathematical Sciences and Applications, 24 senior mathematicians (including Larry Guth, Curtis McMullen, Ravi Vakil, Emily Riehl, Daniel Litt and Javier Gómez-Serrano) published a first-draft report on PhD maths education in the age of AI on Sept 25. Its nine top recommendations: grade by in-person written or oral assessment rather than homework, give every student access to AI tools but never require them, always disclose AI use, hold rigorous yearly in-person reviews, and stop awarding PhDs \"primarily on the basis of the text of the dissertation\"; a thesis \"need not record the first proof of a statement\".","key_facts":["Summit: Sept 17–18, 2026 at Harvard CMSA, 20 Garden Street, closed and invitation-only; organisers Dan Freed, Joe Harris, Mark Kisin and Melanie Matchett Wood (CMSA event page)","Report published Sept 25 as a guest post by Bryna Kra and Rachel Ward on Terence Tao's blog, with an 8-page PDF; called a first draft to be refined 'over the coming months'; feedback by blog comment or email to CMSA","Top recommendations: (1) new training in collaboration, formulating questions, interdisciplinary work, AI tools and formalization; (2) communication skills as an explicit degree expectation; (3) assessment by in-person written or oral exams, not homework; (4) AI tools available to all graduate students, 'with use never mandatory'; (5) regular advisor–student discussions about AI use","(6) Three ethical rules: responsibility for the correctness and understanding of mathematics under your name, 'always disclose AI use', and explicit agreement from all involved parties before entering material into an AI system; (7) rigorous in-person assessment of research by multiple faculty at least annually; (8) a thesis need not record the first proof of a statement; (9) no PhD awarded primarily on the dissertation text; a rigorous defence requires 'complete mastery'","Graded list of AI uses, from likely helpful to likely harmful to learning: figures, literature search, language clean-up, proofreading, introductions to new fields, coding, self-refereeing, autoformalization, deep exploration, brainstorming and, last, proof generation. Principle: 'AI use should accelerate understanding, not bypass understanding'","Privacy: even with training opt-outs, privacy with commercial systems cannot be guaranteed; locally run open-weight models are named as the exception","The views 'represent broad agreement but are not necessarily unanimously held' (report)","Same week on Tao's blog: Jess Werk's guest post 'Cognitive Sanctuaries' (Sept 27) argues for department structures that protect slow thinking for PhD students"],"key_numbers":[],"tags":["mathematics","education","phd","ai-disclosure","academia","guidelines"],"science":null,"body_md":"## What happened\n\nHarvard's mathematics department and CMSA invited 24 senior mathematicians, plus some PhD students and postdocs, to a two-day\nmeeting on how the mathematics PhD should change now that AI systems can produce proofs. Four working groups wrote an 8-page\nreport. It keeps the aims of the PhD but changes how they are checked: written work (homework, the dissertation text) is no longer\ntreated as a reliable proxy for understanding, so the report moves assessment to in-person exams, annual committee reviews, a\nprospectus defence and a thesis defence. It sets no fixed rules on AI in research and encourages \"rapid experimentation\", but asks\nstudents to be careful before offloading \"anything that will help them learn how to think\".\n\n## Why it matters\n\nIt is one of several community documents from September 2026 (ICIAM statement, AGMAI recommendations, the Mathathon statement,\nthe Fields medallists' letter) in which mathematicians set norms for AI after the wave of AI-assisted proofs. This one is the\nmost concrete about degree requirements, and it comes from department leaders at Harvard, MIT, Stanford, Princeton and Berkeley.\nThe post had 18 comments when read on Oct 15, some disputing how far rule 6(iii) reaches.","disputed":[],"related":[{"id":"2026-09-29-agmai-recommendations-ai-math-results","url":"https://postcutoff.com/e/2026-09-29-agmai-recommendations-ai-math-results/","date":"2026-09-29","date_precision":"day","short_title":"Mathematicians' AGMAI publishes norms for AI labs releasing AI-generated results","deck":"Simons Institute TCS group issues 12 actions","takeaway":"These are the first detailed, community-backed norms for how AI-generated mathematics should be disclosed, verified and absorbed.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":4,"official":2,"filed":"2026-09-30","updated":"2026-10-07","orgs":["AGMAI","Simons Institute"]},{"id":"2026-09-28-mathathon-joint-statement","url":"https://postcutoff.com/e/2026-09-28-mathathon-joint-statement/","date":"2026-09-28","date_precision":"day","short_title":"Caltech 'Mathathon' is reworked into 'Old Problems, New Proofs' after an open letter from mathematicians","deck":null,"takeaway":"It is part of the September 2026 push by research mathematicians to set norms for AI in their field, after the Fields medalists' letter, the ICIAM statement and OpenAI's advisory group.","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Caltech","XTX Markets","SAIR"]},{"id":"2026-09-24-iciam-statement-mathematics-ai","url":"https://postcutoff.com/e/2026-09-24-iciam-statement-mathematics-ai/","date":"2026-09-24","date_precision":"day","short_title":"ICIAM issues a Statement on Mathematics and Artificial Intelligence","deck":"LMS had commented on the Navier–Stokes episode","takeaway":"It shows that the September 2026 controversies reached formal institutional positions across the international mathematical societies.","category":"policy-safety","category_label":"Policy & safety","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["ICIAM","London Mathematical Society"]},{"id":"2026-09-11-fields-medalists-letter-ai-mathematics","url":"https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/","date":"2026-09-11","date_precision":"day","short_title":"Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems","deck":null,"takeaway":"It marked open tension between AI labs and the mathematical community at the moment AI began producing major results, and shaped norms for credit and verification.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["mathandai.org"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"},{"id":"daniel-litt","name":"Daniel Litt","url":"https://postcutoff.com/person/daniel-litt/"}],"posts":[{"id":"2026-09-27-werk-cognitive-sanctuaries","title":"Jess Werk: 'Cognitive Sanctuaries or: Manifesto of the Department Chair' (guest post on Terence Tao's blog)","url":"https://postcutoff.com/p/2026-09-27-werk-cognitive-sanctuaries/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-15","type":"filed","text":"Created from report PDF, Tao blog post and CMSA event page read"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-15","run":null,"sources_read":"Report PDF, Tao blog post and CMSA event page read","updated":"2026-10-15","human_review":null,"version":{"date":"2026-10-15"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":148,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":87,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":178,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":117,"in_training_data":false}],"short_url":null}