October 28, 2026
La publication d'OpenAI réfutant l'hypothèse du temps exponentiel formalisée en Lean 4 par Anthropic (signée Claude et découverte par un modèle interne) ; le même jour, le Steering Council de Python confirme le retrait du JIT expérimental de 3.13 de la branche principale, tandis que Tailscale SSH reconnaît une vulnérabilité d'élévation de privilèges
ETHhypothèse du temps exponentiel3-SATk-CNF