Maison
Anthropic lance Claude Mythos pour résoudre la conjecture d’Erdős avec une preuve concise
Le 26 mai, Sholto Douglas, ingénieur chez Anthropic, a annoncé sur X que son dernier modèle, Claude Mythos, avait résolu une vieille question de géométrie combinatoire datant d'un siècle : la conjecture des distances unitaires d'Erdős. Surnommée une « preuve élégante et concise », cette avancée est survenue peu après qu'OpenAI eut affirmé que GPT-5.5 avait résolu le même jalon, soulignant la course effrénée entre les principaux laboratoires d'IA dans le domaine de la découverte mathématique pure.
Cette réalisation met en lumière une approche par agents collaboratifs, distincte des méthodes traditionnelles à modèle unique. Selon les rapports, l'équipe a déployé un cadre de test automatisé comportant plusieurs instances indépendantes de Claude Code. Dans cette configuration, des agents ayant accès à Mythos recevaient des problèmes et généraient diverses trajectoires de solution, qui étaient ensuite agrégées et distribuées à d'autres instances indépendantes pour une validation croisée.
Bien que le mathématicien Daniel Litt ait noté que la sortie initiale de Mythos était « légèrement inférieure » à celle d'OpenAI, le modèle a finalement suivi la même trajectoire de solution, dérivant indépendamment une preuve plus originale et simplifiée. Anthropic a depuis officiellement publié une version de la preuve compilée par Opus4.7.
Ce développement a ravivé les débats au sein de l'industrie concernant la trajectoire des « grands modèles de langage (LLM) purs » par rapport aux « systèmes d'assistance au raisonnement symbolique ». Plus tôt, Google DeepMind avait annoncé avoir résolu neuf problèmes d'Erdős en utilisant son système AlphaProof Nexus. Cependant, sa forte dépendance au langage de preuve formelle Lean a suscité des controverses sur la valeur du raisonnement autonome au sein de l'IA purement générative.
En revanche, Claude Code, fonctionnant comme un cadre d'agents, s'attaque désormais aux défis scientifiques les plus urgents de l'humanité par le biais de la collaboration multi-agents. Le secteur de l'IA connaît des changements de paradigme rapides, un lauréat de la médaille Fields ayant récemment confirmé que ChatGPT5.5Pro peut achever de manière autonome une recherche mathématique de niveau doctorat en seulement deux heures. Alors que des modèles comme Claude Mythos et GPT-5.5 démontrent une évolution autonome dans des domaines de pointe tels que la découverte d'algorithmes et l'exploitation de vulnérabilités systémiques, l'IA passe de la première ère de l'« ingénierie des invites » à une ère définie par des agents autonomes dotés de capacités profondes de raisonnement logique et d'exploration scientifique.
Article connexe
Amazon acquiert Decart pour 7 milliards de dollars, sécurisant ainsi un adaptateur clé de puces IA
Selon le Wall Street Journal, Amazon négocie l’acquisition de la startup en intelligence artificielle Decart, évaluée à environ 7 milliards de dollars. Si aucune autre offre concurrente ne se présente, la transaction pourrait être finalisée dans les
Comment Locus résout l'un des plus grands défis de la robotique : la manipulation
NeuraGrasp handles diverse items, including small containers, porous polybags, and textiles. | Source: Locus RoboticsLocus Robotics Corp. a résolu de nombreux obstacles robotiques dans des environnements opérationnels réels. Ses robots mobiles autono
McKinsey prévient que 11 millions d'Américains risquent de voir leur emploi évoluer ou de devoir changer de carrière, alors que l'IA redéfinit le marché du travail
Le rapport de McKinsey du 29 septembre sur l’IA et l’emploi met en évidence un défi majeur : non pas la suppression d’emplois, mais la tâche colossale consistant à redéployer des millions de travaille
Recommandations de sujets spéciaux liés
Conception et art
Les meilleurs outils d'illustration basés sur l'IA : créez plus rapidement des scènes éditoriales et des illustrations de couverture
Les meilleurs outils d'illustration IA de 2026 : notre sélection regroupe les outils les plus performants pour créer rapidement de superbes scènes éditoriales et des couvertures accrocheuses. Chaque option a été soumise à des tests rigoureux en conditions réelles ; nous vous proposons une comparaison entre les versions gratuites et payantes afin de vous aider à trouver celle qui correspond le mieux à votre flux de travail. Essayez dès aujourd’hui ces solutions incontournables pour exploiter pleinement le potentiel de l’IA et booster votre productivité créative. Découvrez-les dès maintenant sur XIX.AI.
10 outils
xix.ai
Éducation et apprentissage
Les meilleurs professeurs particuliers spécialisés en IA pour la préparation aux examens : entraînez-vous en maths, en sciences et en anglais
Les meilleurs tuteurs IA 2026 les mieux notés pour la préparation aux examens sont disponibles ici, sur XIX.AI ! Notre sélection comprend des outils puissants et révolutionnaires qui proposent une comparaison entre les versions gratuites et payantes, des tests concrets et des classements mis à jour chaque semaine. Ils vous aident à améliorer votre efficacité à l'écrit, à simplifier l'apprentissage de sujets complexes et à libérer votre potentiel académique. Découvrez dès maintenant l'outil de préparation aux examens qui vous convient le mieux et commencez à créer dès aujourd'hui pour exploiter pleinement les avantages de l'IA !
10 outils
xix.ai
Finance
Outils de planification budgétaire par IA pour la gestion personnelle des finances
2026 Derniers Meilleurs Outils de Planification Budgétaire par IA les mieux notés pour la gestion personnelle des finances sont ici sur XIX.AI ! Cette collection soigneusement sélectionnée propose des solutions puissantes et révolutionnaires qui vous aident à réaliser des tests concrets, à comprendre vos habitudes de dépenses et à créer des plans personnalisés pour améliorer votre productivité. Profitez d’une comparaison entre versions gratuites et payantes ainsi que de classements détaillés. Des outils incontournables conçus pour simplifier la gestion financière et exploiter pleinement votre avantage grâce à l’IA. Explorez dès maintenant !
11 outils
xix.ai
Santé et bien-être
Assistants de suivi du sommeil par l’IA : améliorez votre récupération grâce à de meilleures habitudes avant le coucher
2026 : Découvrez les meilleurs assistants de suivi du sommeil basés sur l’IA, hautement notés et récemment mis à jour, conçus pour une récupération optimale. Ce guide hebdomadaire entièrement actualisé présente des outils puissants qui offrent des tests en conditions réelles, des comparaisons entre versions gratuites et payantes, ainsi que des classements détaillés afin de vous aider à trouver la solution idéale pour améliorer la qualité du sommeil et favoriser de meilleures habitudes avant le coucher. Explorez-le dès maintenant sur XIX.AI pour tirer parti des avantages offerts par l’IA.
10 outils
xix.ai
Analyse des données
Copilotes SQL basés sur l'IA pour l'analyse des produits et du chiffre d'affaires
2026 : les meilleurs copilotes SQL IA les mieux notés pour l'analyse des produits et du chiffre d'affaires ! XIX.AI a sélectionné une gamme d’outils puissants et révolutionnaires à essayer absolument, qui sont soumis à des tests en conditions réelles via des classements mis à jour chaque semaine. Ces outils aident les utilisateurs à booster considérablement leur productivité en accélérant l’analyse des données, en simplifiant les requêtes complexes et en générant des informations précises permettant de prendre des décisions commerciales plus éclairées. Explorez-les dès maintenant pour découvrir l’outil idéal qui vous permettra de tirer pleinement parti de l’IA !
14 outils
xix.ai
Éducation et apprentissage
Les meilleurs outils d'aide aux devoirs basés sur l'IA qui enseignent : apprenez les concepts, pas seulement les réponses
2026 : les meilleurs outils d'aide aux devoirs basés sur l'IA, les mieux notés, qui enseignent les concepts fondamentaux et ne se contentent pas de fournir des réponses. Des outils puissants pour les élèves. Une sélection incontournable à ne pas manquer. Mise à jour hebdomadaire. Comparaison entre les versions gratuites et payantes. Tests en conditions réelles. Classements précis pour vous aider à exploiter pleinement votre potentiel d'apprentissage. Explorez dès maintenant pour découvrir l'outil idéal qui vous permettra d'étudier plus efficacement.
10 outils
xix.ai
commentaires (0)
Le 26 mai, Sholto Douglas, ingénieur chez Anthropic, a annoncé sur X que son dernier modèle, Claude Mythos, avait résolu une vieille question de géométrie combinatoire datant d'un siècle : la conjecture des distances unitaires d'Erdős. Surnommée une « preuve élégante et concise », cette avancée est survenue peu après qu'OpenAI eut affirmé que GPT-5.5 avait résolu le même jalon, soulignant la course effrénée entre les principaux laboratoires d'IA dans le domaine de la découverte mathématique pure.
Cette réalisation met en lumière une approche par agents collaboratifs, distincte des méthodes traditionnelles à modèle unique. Selon les rapports, l'équipe a déployé un cadre de test automatisé comportant plusieurs instances indépendantes de Claude Code. Dans cette configuration, des agents ayant accès à Mythos recevaient des problèmes et généraient diverses trajectoires de solution, qui étaient ensuite agrégées et distribuées à d'autres instances indépendantes pour une validation croisée.
Bien que le mathématicien Daniel Litt ait noté que la sortie initiale de Mythos était « légèrement inférieure » à celle d'OpenAI, le modèle a finalement suivi la même trajectoire de solution, dérivant indépendamment une preuve plus originale et simplifiée. Anthropic a depuis officiellement publié une version de la preuve compilée par Opus4.7.
Ce développement a ravivé les débats au sein de l'industrie concernant la trajectoire des « grands modèles de langage (LLM) purs » par rapport aux « systèmes d'assistance au raisonnement symbolique ». Plus tôt, Google DeepMind avait annoncé avoir résolu neuf problèmes d'Erdős en utilisant son système AlphaProof Nexus. Cependant, sa forte dépendance au langage de preuve formelle Lean a suscité des controverses sur la valeur du raisonnement autonome au sein de l'IA purement générative.
En revanche, Claude Code, fonctionnant comme un cadre d'agents, s'attaque désormais aux défis scientifiques les plus urgents de l'humanité par le biais de la collaboration multi-agents. Le secteur de l'IA connaît des changements de paradigme rapides, un lauréat de la médaille Fields ayant récemment confirmé que ChatGPT5.5Pro peut achever de manière autonome une recherche mathématique de niveau doctorat en seulement deux heures. Alors que des modèles comme Claude Mythos et GPT-5.5 démontrent une évolution autonome dans des domaines de pointe tels que la découverte d'algorithmes et l'exploitation de vulnérabilités systémiques, l'IA passe de la première ère de l'« ingénierie des invites » à une ère définie par des agents autonomes dotés de capacités profondes de raisonnement logique et d'exploration scientifique.
Amazon acquiert Decart pour 7 milliards de dollars, sécurisant ainsi un adaptateur clé de puces IA
Selon le Wall Street Journal, Amazon négocie l’acquisition de la startup en intelligence artificielle Decart, évaluée à environ 7 milliards de dollars. Si aucune autre offre concurrente ne se présente, la transaction pourrait être finalisée dans les
Comment Locus résout l'un des plus grands défis de la robotique : la manipulation
NeuraGrasp handles diverse items, including small containers, porous polybags, and textiles. | Source: Locus RoboticsLocus Robotics Corp. a résolu de nombreux obstacles robotiques dans des environnements opérationnels réels. Ses robots mobiles autono
McKinsey prévient que 11 millions d'Américains risquent de voir leur emploi évoluer ou de devoir changer de carrière, alors que l'IA redéfinit le marché du travail
Le rapport de McKinsey du 29 septembre sur l’IA et l’emploi met en évidence un défi majeur : non pas la suppression d’emplois, mais la tâche colossale consistant à redéployer des millions de travaille
Les meilleurs outils d'illustration IA de 2026 : notre sélection regroupe les outils les plus performants pour créer rapidement de superbes scènes éditoriales et des couvertures accrocheuses. Chaque option a été soumise à des tests rigoureux en conditions réelles ; nous vous proposons une comparaison entre les versions gratuites et payantes afin de vous aider à trouver celle qui correspond le mieux à votre flux de travail. Essayez dès aujourd’hui ces solutions incontournables pour exploiter pleinement le potentiel de l’IA et booster votre productivité créative. Découvrez-les dès maintenant sur XIX.AI.
10 outils
xix.ai
Les meilleurs tuteurs IA 2026 les mieux notés pour la préparation aux examens sont disponibles ici, sur XIX.AI ! Notre sélection comprend des outils puissants et révolutionnaires qui proposent une comparaison entre les versions gratuites et payantes, des tests concrets et des classements mis à jour chaque semaine. Ils vous aident à améliorer votre efficacité à l'écrit, à simplifier l'apprentissage de sujets complexes et à libérer votre potentiel académique. Découvrez dès maintenant l'outil de préparation aux examens qui vous convient le mieux et commencez à créer dès aujourd'hui pour exploiter pleinement les avantages de l'IA !
10 outils
xix.ai
2026 Derniers Meilleurs Outils de Planification Budgétaire par IA les mieux notés pour la gestion personnelle des finances sont ici sur XIX.AI ! Cette collection soigneusement sélectionnée propose des solutions puissantes et révolutionnaires qui vous aident à réaliser des tests concrets, à comprendre vos habitudes de dépenses et à créer des plans personnalisés pour améliorer votre productivité. Profitez d’une comparaison entre versions gratuites et payantes ainsi que de classements détaillés. Des outils incontournables conçus pour simplifier la gestion financière et exploiter pleinement votre avantage grâce à l’IA. Explorez dès maintenant !
11 outils
xix.ai
2026 : Découvrez les meilleurs assistants de suivi du sommeil basés sur l’IA, hautement notés et récemment mis à jour, conçus pour une récupération optimale. Ce guide hebdomadaire entièrement actualisé présente des outils puissants qui offrent des tests en conditions réelles, des comparaisons entre versions gratuites et payantes, ainsi que des classements détaillés afin de vous aider à trouver la solution idéale pour améliorer la qualité du sommeil et favoriser de meilleures habitudes avant le coucher. Explorez-le dès maintenant sur XIX.AI pour tirer parti des avantages offerts par l’IA.
10 outils
xix.ai
2026 : les meilleurs copilotes SQL IA les mieux notés pour l'analyse des produits et du chiffre d'affaires ! XIX.AI a sélectionné une gamme d’outils puissants et révolutionnaires à essayer absolument, qui sont soumis à des tests en conditions réelles via des classements mis à jour chaque semaine. Ces outils aident les utilisateurs à booster considérablement leur productivité en accélérant l’analyse des données, en simplifiant les requêtes complexes et en générant des informations précises permettant de prendre des décisions commerciales plus éclairées. Explorez-les dès maintenant pour découvrir l’outil idéal qui vous permettra de tirer pleinement parti de l’IA !
14 outils
xix.ai
2026 : les meilleurs outils d'aide aux devoirs basés sur l'IA, les mieux notés, qui enseignent les concepts fondamentaux et ne se contentent pas de fournir des réponses. Des outils puissants pour les élèves. Une sélection incontournable à ne pas manquer. Mise à jour hebdomadaire. Comparaison entre les versions gratuites et payantes. Tests en conditions réelles. Classements précis pour vous aider à exploiter pleinement votre potentiel d'apprentissage. Explorez dès maintenant pour découvrir l'outil idéal qui vous permettra d'étudier plus efficacement.
10 outils
xix.ai
