Math 525 Home Page


Fall 2023


Information about the course, including text, meeting times and places, grading, and homework policies is in the syllabus.

Here is a summary of the course. I suggest rereading it a few times through the course of the semester.

Notes can be found here.

Blank copies of both versions of the midterm.

Blank copies of the first 9 quizzes are here.

September 28: Terry Tao writes: "When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well."

August 25: For Monday, August 28, read Section 7.1 and prepare for a quiz.

August 26: The first homework assignment, problems 14 and 24 from Section 7.1, is now in Gradescope.