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
Le modèle ouvert de China Telecom tient sur une carte de jeu.2026-09-20Claude Code lit désormais le fichier de règles de ses rivaux.
2026-09-19Le modèle de Zhipu a triplé la vitesse du système qui le sert.
2026-09-19Alibaba a ouvert un modèle qui repère 146 maladies au scanner.
2026-09-19L'agent Muse de Meta lit désormais les fichiers de votre Mac.
2026-09-19