Explication
Collatz : comment une fausse preuve assistée par IA a trompé deux vérificateurs
Deux logiciels indépendants ont accepté une prétendue réfutation de Collatz, chacun à cause d’un bogue différent. L’incident montre pourquoi il faut diversifier les contrôles, mais aussi les maintenir à jour.
![Inscription « DevDay 2026 [Recap] » sur fond noir, entourée de cercles colorés portant des signes graphiques.](https://media.scienceactu.com/2026/10/scienceactu-20261001-openai-devday-2026-sol-agents-api-dots-1024x576.webp)
