Jake Boggan, qui a travaillé 24 ans sur la conjecture de Barnette, réagit à l’annonce de la preuve
1 sourcemis à jour il y a 8 hpertinence 1,5 sur5
L’essentiel
Dans un commentaire sur Hacker News, Jake Boggan dit avoir passé des milliers d’heures sur ce problème. Il écrit que le savoir résolu le rend triste, sans savoir quoi en penser exactement.
Propagation1 article, publié par Simon Willison le 7 oct. à 6 h 47.
Les sources
1 article
Aucune source primaire : la page de l’auteur du fait n’est pas parmi les sources.
Simon WillisonAnalyse : fiche de la sourceRelais
Simon Willison, développeur indépendant (créateur de Datasette, co-créateur de Django)simonwillison.net
Quoting Jake Boggan (site externe)
Sur les mêmes thèmes
Politique
Ethan Mollick revoit son jugement : selon lui, les agents d’IA savent s’organiser seuls
Politique
Les nouveaux contrôles de macOS d’Apple sont la première initiative au niveau du système d’exploitation ciblant spécifiquement les risques liés aux agents d’IA
Politique
Simon Willison réclame des plafonds de budget stricts par défaut sur les services facturés à l’usage
Politique
Nathan Lambert juge le débat sur les risques cyber des modèles ouverts biaisé et conteste l’interdiction
À lire ensuite
Modèles
Google DeepMind annonce Gemini 4 Argon, déployé d’abord auprès de défenseurs cyber de confiance via Fairwind
Modèles
OpenAI lance GPT-6 Sol et GPT-6 Luna, deux modèles plus économiques qui complètent GPT-6 Astra
Modèles
Anthropic publie Claude Opus 5.5 et OpenAI lance GPT-6 Sol et GPT-6 Luna à environ une heure d’écart
Modèles
Anthropic lance Claude Sonnet 5.5, deuxième modèle de la famille Claude 5.5