OpenAI affirme que son IA a réfuté l’hypothèse du temps exponentiel

OpenAI affirme que son IA a réfuté l’hypothèse du temps exponentiel, selon laquelle les cas les plus difficiles du problème 3-SAT exigent un temps de calcul exponentiel. Si elle était confirmée, cette réfutation remettrait en cause une limite majeure de l’informatique théorique. Elle ne résoudrait pas pour autant la question P contre NP.

La preuve, formalisée dans Lean et publiée sur GitHub, doit encore être examinée de façon indépendante, notamment par les deux chercheurs à l’origine de l’hypothèse. D’ici là, l’annonce reste à confirmer.

Claude Code et ses jetons gaspillés

Autre sujet marquant de la semaine : Flamerix AI a publié un script qui désactive les résumés automatiques de Claude Code, qu’elle juge responsables de 15 à 20 % des jetons consommés. Selon l’entreprise, pour générer toutes les 30 secondes une étiquette de quelques mots, l’outil renverrait au modèle l’historique complet de chaque agent actif.

Anthropic confirme ce mécanisme, mais estime son coût à environ 2 % via l’API et 6 % dans le terminal. La société a commencé à déployer un correctif qui s’appuie sur le cache.

L’Odyssée selon Musk

Elon Musk, lui, a relancé Grok Imagine pour créer une fresque générée par IA qu’il présente comme « historiquement exacte », inspirée du poème d’Homère et destinée à concurrencer l’adaptation de L’Odyssée par Christopher Nolan. Il a publiquement attaqué le casting du réalisateur, affirmant qu’il répondait à des impératifs de diversité imposés par l’Académie.

Le premier épisode, d’une durée de sept minutes et produit avec Wonder Studios, illustre les progrès de la vidéo générée par IA. Il laisse aussi voir des animations figées, un manque d’incarnation et des réactions très partagées.

Ces trois dossiers montrent l’étendue de l’IA générative, des mathématiques pures aux coûts quotidiens des outils de développement, jusqu’aux querelles culturelles. Le premier dépendra de la vérification des experts, le deuxième de la rapidité du correctif d’Anthropic.