Hacker News
- Can Computers Prove Theorems? http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 58 comments
- Theorem Proving in Lean (a computer proof assistant) https://leanprover.github.io/theorem_proving_in_lean/#01_introduction.html 14 comments math
- Voevodsky’s Mathematical Revolution | Using Computers to Prove Theorems http://blogs.scientificamerican.com/guest-blog/2013/10/01/voevodskys-mathematical-revolution/ 68 comments math
- Can computers prove theorems?: "And will we soon all be out of a job? Kevin Buzzard worries us all." http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 9 comments opensource
- Can computers prove theorems?: "And will we soon all be out of a job? Kevin Buzzard worries us all." http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 67 comments math
- Mathematicians of the Future?: Why it matters that computers could someday prove their own theorems. http://www.slate.com/articles/health_and_science/science/2015/03/computers_proving_mathematical_theorems_how_artificial_intelligence_could.html 32 comments math
- For the first time, computer scientists and mathematicians have used AI to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory https://phys.org/news/2021-12-maths-hail-breakthrough-applications-artificial.html 89 comments technews
- "What is the point of computers? A question for pure mathematicians", by Kevin Buzzard. "[C]omputers might soon help mathematicians to prove theorems in areas where they have not previously been useful ... [and] will also help us in the communication and teaching of mathematics." [PDF, 28pp] https://arxiv.org/pdf/2112.11598 4 comments math
- Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems) https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 8 comments programming