Fall 2026
Lisa Carbone
Subtitle:
AI Tools in Mathematics-2
Course Description:
This section will explore the intersection of artificial intelligence, formal mathematical reasoning and computation, with a focus on concepts from linear algebra, graph theory and number theory. Topics include using Large Language Models (LLMs) for advanced mathematics, prompt engineering for mathematical tasks, verification of AI-generated output for mathematical proofs, mathematical proofs using the formal proof assistant Lean 4. We also explore the integration of LLMs with Computer Algebra Systems and SMT solvers.
Text:
Notes will be provided.
Prerequisites:
A course on writing mathematical proofs is recommended but not required. Programming experience is not required.
***************************************************************************************************
Fall 2025
In Fall 2025, there will be three sections of Math 591 cross-listed to Undergraduate course 495:
Section 01: AI Tools in Mathematics - Instructor: Lisa Carbone
Course Description: see Syllabus
Prerequisites: Background in proof-based mathematics, 640:300 Intro Math Reasoning is strongly recommended. Programming experience will be beneficial but is not essential.
Section 02: Tensor Networks as a bridge between Neural Networks and Quantum Physics - Instructor Mariano Echeverria
Course Description: see Syllabus
Prerequisites: Linear Algebra (Math 250) is the only prerequisite for this course, but the website will list 244 and 250 as the prerequisites. In such case, please fill out the Prerequisite Override Form for assistance with registration.
Section 03: An Introduction to Machine Learning - Instructor Ayush Khaitan
Course Description: see Syllabus
Prerequisites: A course in Linear Algebra