100+ reactions to 100+ solutions(proofsandprompts.com)
79 points by jacobedawson | 73 comments
A blog post on Proofs and Prompts reacting to over 100 solutions, likely AI-generated math proofs; the page showed only a browser check screen.
#proofs on Hacker News
2 stories tagged proofs, newest first.
Everything you always wanted to know about mathematics (2013) [pdf](math.cmu.edu)
841 points by ggr2342 | 142 comments
A PDF textbook from Carnegie Mellon introducing mathematical thinking, logic, and proof-writing for beginning university students.