First Proof Project
Independent project that publishes research-level problems, evaluation methods, solutions, and expert commentary for assessing AI systems in mathematics.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
Book of Proof richardhammack.github.io
Richard Hammack (Virginia Commonwealth University).
-
Mathematics for Computer Science ocw.mit.edu
Free MIT OpenCourseWare course with an open textbook, videos, notes, problem sets, and exams on proofs, discrete structures, counting, graphs, modular arithmetic, and discrete probability.
-
AI for Mathematics and Theoretical Computer Science simons.berkeley.edu
Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.
-
Mathematical Reasoning: Writing and Proof tedsundstrom.com
Ted Sundstrom.
-
Proofs of knowledge cseweb.ucsd.edu
-
Demaine. Algorithmic Lower Bounds: Fun with Hardness Proofs ocw.mit.edu
A class taking a practical approach to proving problems can't be solved efficient.
Math › Mathematical Practice > AI for Mathematics: “Independent project that publishes research-level problems, evaluation methods, solutions, and expert commentary for assessing AI systems in mathematics.”