Post

Gro-Tsen
@gro-tsen.bsky.social

Article sur un sujet potentiellement intéressant, mais… qui parle d'un forum de maths sans nommer ce forum de maths — ce qui est quand même du “journalist slop” caractérisé (mais POURQUOI font-ils ce genre de choses? 🤬). Mais sinon, le problème est bien réel, et sérieux.

Pixels | Le Monde@pixelsfr.bsky.social

Quand l’IA pollue les forums de maths

lemonde.frQuand l’IA pollue les forums de mathsLes sites spécialisés sont confrontés à un afflux de « contributions » nourries par des intelligences artificielles.
Thomas🪴
@lipsum.dev

Si des crackpots arrivent à prouver des trucs non triviaux en Lean avec de l'IA, je serais curieux de savoir quelle IA ils utilisent, car avec ChatGPT c'est loin de donner des trucs qui fonctionnent directement...

Thomas🪴
@lipsum.dev

Ah en fait dans l'article il est dit : > Le message est vite mis en « spam » : le code fourni ne peut même pas être lu par une machine, c’est-à-dire compilé. Du coup je me demande bien l'intérêt d'aller crackpotiser en Lean...