General audience paper about math proofs

Stream: general

[Antoine Chambert-Loir]

I just publish a general audience paper about math proofs in La Recherche, a french equivalent of Scientific American.
The link below is behind paywall, alas…

https://www.larecherche.fr/math%C3%A9matiques-informatique/les-assistants-de-preuve-ou-la-v%C3%A9rit%C3%A9-math%C3%A9matique

[Luigi Massacci]

(You can un-block it by watching an ad)