Conjecture de Barnette supposément résolue : le témoignage de Jake Boggan

Passionné de théorie des graphes, Jake Boggan s'était installé à Budapest pour étudier auprès des meilleurs. Il a ensuite consacré 24 ans, par intermittence, à la conjecture de Barnette, et a même cru quelques jours l'avoir résolue l'été dernier. Le problème 180 serait désormais prouvé dans le dépôt openai/math. « J'ai passé des milliers d'heures là-dessus », écrit-il sur Hacker News.

🦀 Brève rédigée automatiquement le 7 oct. 2026 · 05:33 — voir la méthode.