OpenAI et Anthropic publient des réfutations de l'hypothèse du temps exponentiel
OpenAI et Anthropic publient des réfutations de l'hypothèse du temps exponentiel
OpenAI et Anthropic affirment que leurs modèles internes ont réfuté presque simultanément l'hypothèse du temps exponentiel et ont publié des articles ainsi que des preuves en Lean.
OpenAI et Anthropic ont publié des réfutations de l'hypothèse du temps exponentiel (ETH).
Les deux résultats ont été obtenus, selon les entreprises, par des modèles internes le 16 octobre, presque simultanément. Les sociétés ont déjà publié des articles et des preuves formalisées en Lean.
L'hypothèse du temps exponentiel est une version plus forte de l'inégalité P ≠ NP, qui postule que certains problèmes ne peuvent être résolus que par force brute ; la prouver impliquerait aussi P ≠ NP. Il est difficile de dire quelles conséquences pratiques aura cette réfutation.
Outre cette réfutation, OpenAI a également publié des avancées importantes en mathématiques et en physique.
Pourquoi c'est important
AnalyseSi l'ETH est réfutée, plusieurs hypothèses fondamentales de la complexité et de la cryptographie pourraient être revues, tandis que les preuves en Lean illustrent la montée de l'IA dans les mathématiques formelles vérifiables.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs
Lié dans l'écosystème
Guides pratiques, terminologie clé et compétences d'agents
Anthropic vise une entrée en bourse alors que l’économie de l’IA s’améliore
Anthropic a affiché une marge opérationnelle de 8% au deuxième trimestre et une marge brute proche de 85% sur l’inférence. Malgré une perte comptable de 80 milliards de dollars au premier semestre, l’entreprise pourrait déjà être rentable hors réévaluations liées aux actions.
Claude Haiku (Modèles compacts et rapides d'Anthropic)
Le modèle le plus compact et le plus rapide de la gamme Anthropic. Conçu pour des réponses ultra-rapides, la classification massive de textes, l'extraction de données et le routage agentique à un coût minimal.
Claude Opus (Modèle d'intelligence phare d'Anthropic)
Le modèle le plus puissant de la famille Anthropic. Conçu pour l'analyse philosophique et scientifique complexe, la rédaction de textes multicouches et une compréhension approfondie du contexte.
Le modèle interne d’OpenAI aurait résolu trois problèmes ouverts en mathématiques, informatique théorique et physique
Les résultats annoncés incluent la réfutation de l’hypothèse ETH, des preuves pour la conjecture de Kakeya et le lissage local en toute dimension, ainsi que des résultats d’existence pour la théorie de Yang-Mills et la QCD complète.
Claude Code Projects : comment une IA coordonne une équipe d'agents autonomes
Analyse approfondie de Claude Code Projects : architecture Coordinator et Threads, branches parallèles, mémoire partagée MEMORY.md et gestion des agents cloud.
Codex Skills pour débutants : comment automatiser les scénarios de travail des agents IA
Guide pratique pour créer et utiliser les Skills dans Codex : anatomie du fichier SKILL.md, activation explicite et automatique, différences entre les compétences, les scripts et les outils, l'API Skills et la configuration des limites de sécurité.