Post

@ccanonne.github.io

This point regarding AI-produced proofs is of course not new, but is beautifully put here. www.quantamagazine.org/is-ai-the-en... @quantamagazine.org

Clément Canonne

@ccanonne.github.io

(The rest of the article is worth a read too! Maybe nothing really new per se, but well and crisply expressed)

5/10/26, 7:37 pm1 repost5 likes

Clément Canonne

@ccanonne.github.io

The very last sentence, by Litt, is the only one truly irking me. "If we can’t adapt, he added, “whose fault is that?”" I wonder. Whose fault would it be, bringing an overfunded sledgehammer to the foundations of a centuries-old endeavor without giving a damn and requiring it adapt in merely years?