ICM 2026 Panel - AI in College Math Education

ICM 2026 Panel - AI in College Math Education

Humanities, Social Sciences & Thought Education JNEducationJNUTeaching of a specific subject
🎙 Simons Foundation 👥 59K 📅 August 25, 2026 ⏱ 90 min 👁 1 📄 debate 🧭 2026-08-25
Available in: English (current) Français

Keywords

AImathematics educationlearningmemoryformalization

Summary

This panel discussion, moderated by Ravi Vakil, brings together four experts to examine the impact of AI on college mathematics education. The panelists introduce themselves and their varied perspectives: Jared Alper discusses his work on autoformalization and undergraduate research projects; Emily Brily focuses on gateway courses and student preparedness; Alex Krovich shares his experience using Lean and LLMs to create educational video games and mastery-based learning; and Barbara Oakley sets the stage with a discussion of the science of learning, emphasizing the importance of long-term memory and the parallels between human brains and large language models. The discussion then moves to key questions about the role of AI in the classroom, the potential for AI to accelerate or hinder learning, and the need for students to develop critical thinking skills. The panelists explore the tension between using AI as a tool for exploration and ensuring that students internalize fundamental concepts. They also consider the implications for assessment, curriculum design, and the future of mathematics education. The final portion of the panel is reserved for audience questions, where the panelists engage with concerns about equity, academic integrity, and the changing nature of mathematical work.

193 words

Critical Evaluation

Value of the Information & Strength of the Argument

The panel provides a high-value discussion grounded in both theoretical frameworks and practical experience. Barbara Oakley’s opening segment on cognitive science, referencing the work of Daniel Kahneman and Nelson Cowan, offers a solid foundation for understanding how learning occurs and why memorization and long-term memory are crucial. The panelists’ arguments are well-reasoned and balanced, acknowledging both the potential benefits and risks of AI in education. They avoid sensationalism and instead focus on evidence-based observations from their own teaching and research. The discussion is particularly strong when panelists share concrete examples, such as Alex Krovich’s video game approach to real analysis and Jared Alper’s undergraduate research projects. The argumentation is solid, with panelists building on each other’s points and respectfully challenging assumptions. The emphasis on the need for students to build their own neural connections and the analogy between AI’s ‘workspace’ and human working memory is compelling and well-articulated.

Scientific Rigor, Source Quality, Title Accuracy

The panel demonstrates a strong commitment to scientific rigor, with panelists referencing established theories and research in cognitive science and mathematics education. Barbara Oakley’s references to the work of Daniel Kahneman, Nelson Cowan, and research from Anthropic provide credible scientific grounding. The panelists also draw on their own practical experience, which adds authenticity. The title ‘ICM 2026 Panel - AI in College Math Education’ accurately reflects the content, which is a focused discussion on the topic. The panel is well-structured, with a clear introduction, expert presentations, and a Q&A session. The discussion remains grounded and avoids speculative long-term predictions, as promised by the moderator. The quality of sources is high, though the discussion would benefit from more explicit citations of specific studies or publications. The panelists’ expertise is evident, and their arguments are well-supported.

297 words

Title / Content Match

The title accurately reflects the content: a panel discussion on AI in college math education.

Quality & Reliability

8/10

Panel of experts in mathematics and education, grounded in cognitive science and practical experience, with explicit commitment to evidence-based discussion.

Key Moments

Cited Sources

Concurring Sources

Contribution & Novelties

The panel provides a timely and nuanced discussion of AI in college math education, moving beyond hype to consider practical implications. It offers a unique combination of perspectives from research mathematicians, educators, and cognitive scientists. The discussion highlights the importance of grounding AI use in the science of learning, emphasizing the need for students to build long-term memory and critical thinking skills. It also showcases innovative educational experiments, such as using Lean for formalization and creating video game-based learning environments. The panel’s commitment to evidence-based discussion and its focus on the near-term future make it a valuable resource for educators and policymakers.

Pour aller plus loin :

  • Learning and memory — Provides a broad overview of learning theories and memory processes.
  • Large language model — Explains the architecture and training of LLMs, relevant to the discussion of AI in education.
  • Lean (proof assistant) — Details the Lean proof assistant, which is central to the formalization efforts mentioned by panelists.
  • Cognitive load theory — Relevant to the discussion of how AI can reduce or increase cognitive load in learning.
  • Zone of proximal development — Concept referenced by Alex Krovich in the context of personalized learning.

194 words

Radar Profile

The radar profile shows a balanced performance across all dimensions, with particularly high scores in quantity of information and technical level. The panel is information-dense and technically sophisticated, while maintaining a strong focus on practical applications and educational outcomes. The slightly lower score in quality of information reflects the lack of explicit citations, but the overall profile indicates a high-quality, well-rounded discussion.

Reliability 8/10