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.