Cet article fascinant m’a renvoyé à l’époque du projet Polymath et des blogs de Gowers et Tao, en retraçant la généalogie qui les lie à Lean et aux preuves par l’IA. J’en recommande la lecture ! (via @monniauxd.bsky.social)
@damefanny.bsky.social Je t’ai vue mais j’ai pas osé demander de free hug 🌈🌈
Ca devrait intéresser @monniauxd.bsky.social @hubertguillaud.bsky.social s'ils ne l'ont pas déjà vue 🙂