Math 1810C: Artificial Intelligence and Euclidean Geometry
Instructor:
Junehyuk Jung (Associate Professor of Mathematics)
Peter Zenz (Tamarkin Assistant Professor)
TA:
Steven Creech
Class meeting:
MWF 1:00-1:50 PM Barus & Holley 163
Office Hour:
M2-3PM Kassar 215 or by appointments via Zoom
Preferred contact:
Website:
https://sites.google.com/brown.edu/junehyuk
Textbook:
Geometry: Euclid and Beyond by Robin Hartshorne
Prerequisites:
(MATH 0520 or 0540) and (MATH 1530 or 1540)
Reading and homework assignments:
Homework is due on Friday.
No late homework is accepted in any circumstance.
Exams
Midterm: 10/20 1PM-1:50PM
Final: 12/10 1PM~4PM (Not 12/15 2PM!) in class (Final presentation. Details will be announced.)
Goals:
This course explores the exciting field of automated reasoning systems for complex mathematical problems, inspired by Google DeepMind’s AlphaGeometry. We’ll delve into the mathematical foundations of such systems, starting with the essentials of Euclidean geometry from Euclid’s Elements, including axioms and deductive reasoning. The course structure combines theoretical learning with hands-on experience. We will also focus on the practical application of building a Euclidean geometry reasoning system. Students will work in groups throughout the semester to develop their own system to solve geometry problems.
Grading:
The grade will be based on 10 homework assignments (30%), 1 midterm(40%), and 1 final presentation (30%)
Two lowest homework grades are going to be dropped.
A total score of 60% or more guarantees a pass.
A total score of 90% or more guarantees an A, a score of 80% or more a B, 70% or more a C.
Collaboration policy:
You may discuss material and ideas required for homework with other students or get help as discussed below, but this homework is done primarily on your own and the solutions must be written by you alone. If you work with someone else you must indicate that person's name. These assignments are graded by a grader, returned to you, and grades reported on Canvas at the appropriate time.
Allowed help resources are: my office hours and the math resource center in Kassar House. You may not consult the internet for homework solutions.
Credit hours and estimate of work load.
Expect 4 hours per each class + reading + assignments + self study. 40 hours of exam and presentation preparation (midterm+final). Approximately 140 hours in total.
Accommodations for students with disabilities.
Brown University is committed to full inclusion of all students. Please inform me early in the term if you may require accommodations or modification of any of course procedures. You may speak with me after class, during office hours, or by appointment. If you need accommodations around online learning or in classroom accommodations, please be sure to reach out to Student Accessibility Services (SAS) for their assistance (seas@brown.edu, 401-863-9588). Students in need of short-term academic advice or support can contact one of the deans in The College.
Other resources.
Especially during this period it is important to care for one's well-being. The university has resources available, to all students, in particular CAPS, the college, the graduate school, and in our department the directors of undergraduate and graduate studies.