Hacker News
- Terence Tao – Machine-Assisted Proofs [video] https://www.youtube.com/watch?v=5ZIIGLiQWNM 31 comments
- Machine-Assisted Proof [pdf] https://www.ams.org/notices/202501/rnoti-p6.pdf 96 comments
- Machine Assisted Proof [video] https://www.youtube.com/watch?v=AayZuuDDKP0 81 comments
- Terence Tao, "Machine Assisted Proof" [video] https://www.youtube.com/watch?v=AayZuuDDKP0 2 comments
- Terry Tao talks about advances in machine assisted proofs https://www.youtube.com/watch?v=AayZuuDDKP0 3 comments math
- Workshop “Machine assisted proofs” - Feb 13-17 next year, at the Institute for Pure and Applied Mathematics (IPAM - California) with Erika Abraham, Jeremy Avigad, Kevin Buzzard, Jordan Ellenberg, Tim Gowers, Marijn Heule, Terence Tao https://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/ 12 comments math