Un développeur web a résolu par l'IA une conjecture de 50 ans.
Dan Abramov, développeur web réputé, a publié le 18 septembre une preuve de la conjecture de raffinement de Conway. Il a piloté ChatGPT et Claude pendant cinq semaines, pour environ 40 000 dollars de calcul. Un vérificateur de preuves accepte le résultat, mais aucun mathématicien ne l'a relu.
Pourquoi c'est importantLes machines certifient désormais une preuve que personne n'a lue, ce qui change qui peut faire des mathématiques. Cela chiffre aussi un résultat difficile : cinq semaines et le prix d'une voiture d'occasion.
▶ Vidéo associée: John Horton Conway | The surreal numbers
Lire dans l'app — gratuit, en 9 langues
Actus liées
Cinquante agents IA ont inventé la bureaucratie dans Minecraft.2026-10-30DoorDash n'a reçu que quelques centaines de commandes d'agents IA.
2026-10-30Les nouvelles règles d'OpenAI interdisent à son IA de refuser l'arrêt.
2026-10-30OpenAI dit que sa surveillance aurait repéré sa propre faille à temps.
2026-10-30L'agent Claude d'un prestataire a tourné deux mois au Pentagone.
2026-10-30