Super billet de @gro-tsen.bsky.social, plus sombre, sur le paysage qui se trame pour la communauté des maths.
"si les IA arrivent à rendre les maths coûteuses, ce sera déjà un effet nuisible spectaculaire"
(rejoignant alors les autres expériences de physique)
www.madore.org/~david/weblo...
