Post
Clément Canonne
ccanonne.github.io
did:plc:ac6qioenkpl3jmmnib3tpbhb
This point regarding AI-produced proofs is of course not new, but is beautifully put here.
https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/ @quantamagazine.org
2026-10-05T19:33:39.868Z