https://proofandmachine.github.io/articles/base-rates-and-how-to-read-a-claim/ 2026-06-03 https://proofandmachine.github.io/articles/the-library-that-is-eating-mathematics/ 2026-06-07 https://proofandmachine.github.io/articles/hunting-primes-with-a-distributed-machine/ 2026-06-11 https://proofandmachine.github.io/articles/ai-tutors-and-what-mathematics-teaching-needs/ 2026-06-15 https://proofandmachine.github.io/articles/alphatensor-and-matrix-multiplication/ 2026-06-19 https://proofandmachine.github.io/articles/the-largest-proof-ever-produced/ 2026-06-23 https://proofandmachine.github.io/articles/what-chain-of-thought-really-does/ 2026-06-27 https://proofandmachine.github.io/articles/machines-that-generate-conjectures/ 2026-07-01 https://proofandmachine.github.io/articles/symbolic-versus-neural/ 2026-07-05 https://proofandmachine.github.io/articles/the-busy-beaver-and-what-cannot-be-computed/ 2026-07-09 https://proofandmachine.github.io/articles/p-versus-np-for-people-who-write-code/ 2026-07-13 https://proofandmachine.github.io/articles/how-to-check-an-ai-s-mathematics/ 2026-07-17 https://proofandmachine.github.io/articles/collatz-and-the-limits-of-brute-force/ 2026-07-21 https://proofandmachine.github.io/articles/benchmarks-and-the-contamination-problem/ 2026-07-25 https://proofandmachine.github.io/articles/the-four-colour-theorem/ 2026-07-29 https://proofandmachine.github.io/articles/olympiad-geometry-and-the-machine/ 2026-08-02 https://proofandmachine.github.io/articles/ten-riddles-that-break-ai/ 2026-08-06 https://proofandmachine.github.io/articles/inside-a-proof-assistant/ 2026-08-10 https://proofandmachine.github.io/articles/why-language-models-cannot-count/ 2026-08-14 https://proofandmachine.github.io/articles/how-machines-learned-to-do-mathematics/ 2026-08-18 https://proofandmachine.github.io/articles/machines-reading-the-mathematical-literature/ 2026-08-20 https://proofandmachine.github.io/articles/why-mathematics-is-hard-to-get-out-of-a-pdf/ 2026-08-22 https://proofandmachine.github.io/articles/getting-a-straight-answer-out-of-maple/ 2026-08-24 https://proofandmachine.github.io/articles/maple-at-forty/ 2026-08-25 https://proofandmachine.github.io/about/ 2026-08-26 https://proofandmachine.github.io/accessibility/ 2026-08-26 https://proofandmachine.github.io/articles/ 2026-08-26 https://proofandmachine.github.io/contact/ 2026-08-26 https://proofandmachine.github.io/ 2026-08-26 https://proofandmachine.github.io/privacy/ 2026-08-26 https://proofandmachine.github.io/search/ 2026-08-26 https://proofandmachine.github.io/terms/ 2026-08-26 https://proofandmachine.github.io/tool/ 2026-08-26