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...

0 reposts0 likes

No replies yet.