Harvard mathematicians are shaping how AI advances mathematical discovery, how its results are evaluated, and how the next generation is trained.
Two Harvard-hosted summits brought mathematicians together to address the future of research and doctoral education.
At CMSA, 32 participants from academia, government, and industry developed recommendations for the future of mathematical research.
Organizers
Dan Freed (Harvard), Larry Guth (MIT), Bryna Kra (Northwestern), Emily Riehl (Johns Hopkins), and Mohammed Abouzaid (Stanford).
A Harvard-led gathering of 24 mathematicians developed recommendations to help departments rethink doctoral training as AI reshapes mathematical practice.
Harvard organizers
Dan Freed, Joe Harris, Mark Kisin, and Melanie Matchett Wood.
The reports are invitations to further discussion. Feedback information is available on the summit pages.
Harvard brings together mathematicians at the forefront of developments in mathematics and AI.
Math and AI workshops, seminars, and summits hosted or cosponsored by Harvard Mathematics and CMSA.
Loading the event schedule…
No matching events. Try another search or select “All events.”
All times are Eastern. Follow each event link for current details and participation requirements.
Harvard faculty are helping guide efforts in evaluation, education, mathematical communication, and the relationship between mathematics and the AI industry.
Testing AI on problems drawn from mathematical research, with transparent evaluation by mathematicians. CMSA presented the second-batch project through public webinars.
How do we evaluate AI on research mathematics? Explore First Proof in this video about the project.
Photo: Harvard Mathematics Watch on YouTube ↗The video opens on YouTube.
The Advisory Group on Mathematics and Artificial Intelligence advises AI companies on engagement with mathematics, including the responsible presentation and release of results.
The 2026 National Academies of Sciences, Engineering, and Medicine report Data and Computing in K–12 Education: Foundational Competencies identifies the knowledge and skills all students need to navigate a world shaped by data, computing, and AI.
National and independent efforts with Harvard faculty involvement.
Education, public dialogue, and contributions to the mathematics and AI community.
Lauren Williams (Harvard) · Board of Directors
A mathematical research repository created in response to AI’s changing role in the field, with disclosure of AI use and human understanding. Deposits are moderated, rather than peer reviewed.
Laura DeMarco (Harvard) · Invited speaker
An invited address on what mathematics education can and should offer at every level, including how teaching can respond to the possibilities opened by AI.
View the JMM addressCurtis McMullen (Harvard) · Coauthor
McMullen joins fellow mathematicians in a declaration calling for AI development to advance mathematical understanding, nurture students and ideas, and respect the community’s contributions. It recognizes AI’s potential to accelerate mathematical study while urging thoughtful choices about how these tools are developed and used.
Read the declarationMelanie Matchett Wood (Harvard) · Panel moderator
A national conversation on how AI and formalization are changing the creation, organization, and validation of mathematical knowledge, and the shared infrastructure needed to support that work.
Meeting details & agendaCMSA’s 2024 Mathematics and Machine Learning program connected mathematical questions with new computational approaches. Participants returned in 2025 to share the work it helped set in motion.
Seminar communities and selected recordings from events hosted at Harvard.
A forum at CMSA for mathematical practice in the age of AI. Organized by Aaron Landesman and Ahsan Khan.
CMSA’s seminar on emerging tools and mathematical ideas, organized in 2026–27 by Michael Douglas and Luca Pesce.
Dan Freed & the First Proof editors · June 3, 2026
First Proof editors · June 10, 2026
Daniel Litt · September 9, 2026 · Recording on event page
Javier Gómez-Serrano (Brown University) · September 11, 2026 · Navier–Stokes special lecture
CMSA workshop · September 15–18, 2025 · Video playlist on event page
