Maison
Les modèles d'IA réalisent une percée dans la résolution de problèmes mathématiques complexes
Ce week-end, Neel Somani, ingénieur logiciel, ancien chercheur en analyse quantitative et fondateur d’une start-up, évaluait les capacités mathématiques du nouveau modèle d’OpenAI lorsqu’il est tombé sur un résultat surprenant. Après avoir saisi un problème dans ChatGPT et laissé le système traiter la demande pendant 15 minutes, il a retrouvé une solution complète. Il a examiné la démonstration et l’a vérifiée à l’aide d’un outil appelé Harmonic — et tout était correct.
« Je voulais établir une base de référence pour comprendre à quel moment les grands modèles linguistiques peuvent résoudre efficacement des problèmes mathématiques ouverts, et à quel moment ils rencontrent encore des difficultés », a expliqué Somani. La découverte inattendue était que le dernier modèle avait repoussé les limites du possible.
Le raisonnement de ChatGPT était particulièrement saisissant, appliquant de manière fluide des principes mathématiques tels que la formule de Legendre, le postulat de Bertrand et le théorème de l’étoile de David. Le modèle a finalement fait référence à un article publié en 2013 sur Math Overflow, dans lequel le mathématicien de Harvard Noam Elkies avait fourni une solution élégante à un problème connexe. Cependant, la démonstration finale de ChatGPT différait de celle d’Elkies sur des points essentiels, offrant une solution plus complète à une variante du problème initialement posé par le légendaire mathématicien Paul Erdős. La vaste collection de problèmes non résolus d’Erdős est devenue un terrain d’essai pour les capacités de l’IA.
Pour ceux qui sont sceptiques quant à l'intelligence artificielle, ce résultat est remarquable — et ce n'est pas un cas isolé. Les outils d'IA sont désormais omniprésents en mathématiques, allant des LLM axés sur la formalisation comme Aristotle de Harmonic aux systèmes de revue de littérature comme Deep Research d'OpenAI. Depuis la sortie de GPT-5.2 — dont Somani note qu’il est « anecdotiquement plus doué pour le raisonnement mathématique que les versions précédentes » —, le nombre de problèmes résolus a considérablement augmenté, soulevant de nouvelles questions sur la capacité des grands modèles linguistiques à repousser les frontières de la connaissance humaine.
Somani examinait les problèmes d’Erdős, un ensemble de plus de 1 000 conjectures du mathématicien hongrois répertoriées en ligne. Ces problèmes, dont les thèmes et les niveaux de difficulté varient considérablement, sont devenus une cible de choix pour l’exploration mathématique pilotée par l’IA. Les premières solutions autonomes ont vu le jour en novembre grâce à un modèle alimenté par Gemini appelé AlphaEvolve, mais plus récemment, Somani et d’autres ont observé que GPT-5.2 fait preuve d’une maîtrise exceptionnelle des mathématiques avancées.
Depuis Noël, 15 problèmes ont été mis à jour, passant de « non résolus » à « résolus » sur le site web des problèmes d'Erdős — 11 de ces solutions mentionnant explicitement la contribution de modèles d'IA.
Le mathématicien de renom Terence Tao offre une perspective plus détaillée sur ces progrès sur sa page GitHub, en soulignant huit problèmes distincts où les modèles d'IA ont apporté des contributions autonomes substantielles, ainsi que six autres cas où des progrès ont été réalisés en identifiant et en s'appuyant sur des recherches antérieures. Bien que le raisonnement mathématique entièrement autonome de l'IA reste un objectif lointain, il est évident que les grands modèles commencent à jouer un rôle significatif.
Inscrivez-vous sur la liste d'attente de Disrupt 2026
Inscrivez-vous sur la liste d'attente de Disrupt 2026 pour bénéficier d'un accès prioritaire dès la mise en vente des billets Early Bird. Les éditions précédentes de Disrupt ont accueilli sur nos scènes des dirigeants de Google Cloud, Netflix, Microsoft, Box, Phia, a16z, ElevenLabs, Wayve, Hugging Face, Elad Gil et Vinod Khosla — parmi plus de 250 experts du secteur animant plus de 200 sessions conçues pour accélérer votre croissance et renforcer votre avantage concurrentiel. De plus, entrez en contact avec des centaines de startups à l'origine d'innovations dans tous les secteurs.
Inscrivez-vous sur la liste d'attente de Disrupt 2026
Inscrivez-vous sur la liste d'attente de Disrupt 2026 pour bénéficier d'un accès prioritaire dès la mise en vente des billets Early Bird. Les éditions précédentes de Disrupt ont accueilli sur nos scènes des dirigeants de Google Cloud, Netflix, Microsoft, Box, Phia, a16z, ElevenLabs, Wayve, Hugging Face, Elad Gil et Vinod Khosla — qui font partie des plus de 250 experts du secteur animant plus de 200 sessions conçues pour accélérer votre croissance et renforcer votre avantage concurrentiel. De plus, entrez en contact avec des centaines de startups qui font avancer l'innovation dans tous les secteurs.
Sur Mastodon, Tao a suggéré que la nature évolutive des systèmes d'IA les rend « particulièrement bien adaptés pour s'attaquer à la « longue traîne » des problèmes d'Erdős moins connus, dont beaucoup ont en réalité des solutions simples ».
« Par conséquent, bon nombre de ces problèmes d’Erdős plus accessibles ont désormais plus de chances d’être résolus par des méthodes purement basées sur l’IA que par des approches humaines ou hybrides », a ajouté Tao.
Un autre facteur contributif est la tendance récente à la formalisation — un processus détaillé qui facilite la vérification et l'extension du raisonnement mathématique. Bien que la formalisation ne nécessite pas intrinsèquement l'IA ou des ordinateurs, une nouvelle génération d'outils automatisés a considérablement rationalisé le flux de travail. L'« assistant de preuve » open source Lean, développé chez Microsoft Research en 2013, s'est largement imposé dans le domaine pour la formalisation des preuves. Des outils d'IA comme Aristotle de Harmonic promettent désormais d'automatiser une grande partie de ce travail de formalisation.
Pour Tudor Achim, fondateur d’Harmonic, l’augmentation soudaine du nombre de problèmes d’Erdős résolus est moins significative que le fait que des mathématiciens de renom commencent à prendre ces outils au sérieux. « Je m’intéresse davantage au fait que des professeurs de mathématiques et d’informatique utilisent [des outils d’IA] », a déclaré Achim. « Ces personnes ont une réputation à défendre, donc lorsqu’elles confirment qu’elles utilisent Aristotle ou ChatGPT, cela constitue une validation significative. »
Article connexe
La valorisation de SpaceX bondit à 2,6 billions de dollars, dépassant brièvement celle d'Amazon
SpaceX a brièvement dépassé Amazon pour devenir la cinquième entreprise la plus précieuse au monde, frôlant presque le dépassement de Microsoft, avant que ses actions ne reculent de ces sommets avant la clôture du marché le mardi.Après une hausse de
OpenAI dévoile son programme de parrainage Codex pour augmenter les quotas d'utilisation
Alors que les outils d’IA se généralisent, les limites de quota bloquent souvent la productivité. OpenAI a récemment annoncé une nouvelle promotion Codex sur les réseaux sociaux, offrant des avantages concrets aux utilisateurs.Pendant deux semaines,
Meta lance une campagne publicitaire optimiste sur l’IA, mise en musique par une chanson sur l’extinction de l’humanité
La dernière publicité de Meta s’ouvre sur un gros plan en noir et blanc saisissant sur un œil, capturant l’anxiété liée au défilement effréné de titres alarmants sur l’IA qui volerait des emplois, isolerait la société et déclencherait une crise mondi
Recommandations de sujets spéciaux liés
Assistante de réunion
Les meilleurs outils de transcription basés sur l'IA pour les comptes rendus d'appels clients
Les meilleurs outils de transcription IA les mieux notés de 2026 pour les comptes-rendus d'appels clients ! XIX.AI a sélectionné une gamme d'outils puissants et révolutionnaires à essayer absolument, qui ont fait leurs preuves dans la pratique pour fournir des comptes-rendus précis et détaillés. Vous pouvez comparer côte à côte les options gratuites et payantes et découvrir comment elles boostent votre productivité. Découvrez dès maintenant l'outil qui vous convient le mieux et tirez pleinement parti de l'IA pour optimiser votre communication avec vos clients !
10 outils
xix.ai
Synthèse vocale
Meilleures plateformes de doublage par IA pour les shorts multilingues, tutoriels et présentations de produits
2026 Dernières Meilleures Platesformes de Doublage IA les mieux notées pour les courtes vidéos multilingues, tutoriels et présentations de produits ! XIX.AI propose une collection puissante et révolutionnaire, sélectionnée après des tests rigoureux en conditions réelles et des classements mis à jour chaque semaine. Vous y trouverez des options incontournables qui améliorent considérablement la productivité, vous permettant de créer du contenu de haute qualité plus rapidement sans perdre de temps. Explorez dès maintenant pour découvrir l’outil idéal et débloquer votre avantage grâce à l’IA.
9 outils
xix.ai
Productivité
Outils de suivi des réunions ChatGPT pour le suivi des actions à mener, des responsables et des échéances
Classement 2026 des meilleurs outils de suivi de réunions ChatGPT ! XIX.AI a sélectionné une collection d’outils performants et très bien notés qui vous aident à transformer rapidement vos notes de réunion en actions concrètes, à suivre sans effort les responsables et les échéances, et à rester organisé tout au long de vos projets. Chaque outil est soumis à des tests rigoureux en conditions réelles afin de garantir sa fiabilité. Consultez le comparatif entre les versions gratuites et payantes ainsi que les classements pour découvrir la solution idéale qui vous permettra de booster votre productivité. Découvrez-les dès maintenant !
9 outils
xix.ai
Assistante de réunion
Les meilleurs outils d'organisation d'agenda basés sur l'IA : planifiez plus efficacement vos réunions hebdomadaires en quelques minutes
La page « Les meilleurs outils de création d’ordres du jour basés sur l’IA en 2026 » présente une sélection d’outils les mieux notés qui facilitent la planification des réunions hebdomadaires d’équipe. Ces solutions performantes vous aident à créer des ordres du jour structurés et efficaces en quelques minutes seulement, vous permettant ainsi de gagner un temps précieux et d’améliorer votre productivité. XIX.AI s’assure que tous les outils proposés sont soumis à des tests rigoureux en conditions réelles avant d’être inclus dans la sélection. Consultez notre comparatif entre les versions gratuites et payantes et découvrez les options incontournables qui vous permettront d’obtenir des résultats révolutionnaires. Explorez dès maintenant notre sélection pour trouver l’outil idéal qui vous permettra de fluidifier vos processus de travail !
15 outils
xix.ai
Entreprise
Meilleurs outils de plan d’affaires par IA pour les startups
2026 Derniers Meilleurs Outils de Plan d’Affaires par IA les Plus Évalués pour les Startups ! XIX.AI sélectionne une collection puissante et révolutionnaire d’outils incontournables, testés en conditions réelles et classés selon des mises à jour hebdomadaires rigoureuses. Ces solutions de premier plan aident les startups à rédiger des plans parfaits, à booster leur productivité et à exploiter pleinement leur avantage en IA. Explorez dès maintenant pour découvrir l’outil qui vous correspond parfaitement !
9 outils
xix.ai
Commercialisation
Les meilleurs outils de création de profils IA pour l'étude d'audience
Les meilleurs outils 2026 de création de personas basés sur l’IA, les mieux notés pour l’étude d’audience, sont disponibles ici sur XIX.AI ! Cette sélection regroupe des outils puissants et révolutionnaires qui vous aident à mener des tests concrets et à créer des profils d’audience précis grâce à une comparaison détaillée entre les versions gratuites et payantes. Vous découvrirez les options incontournables qui améliorent l'efficacité de la rédaction et vous permettent de tirer pleinement parti de l'IA dans vos stratégies marketing. Explorez-la dès maintenant pour trouver l'outil qui vous convient le mieux !
9 outils
xix.ai
commentaires (0)
Ce week-end, Neel Somani, ingénieur logiciel, ancien chercheur en analyse quantitative et fondateur d’une start-up, évaluait les capacités mathématiques du nouveau modèle d’OpenAI lorsqu’il est tombé sur un résultat surprenant. Après avoir saisi un problème dans ChatGPT et laissé le système traiter la demande pendant 15 minutes, il a retrouvé une solution complète. Il a examiné la démonstration et l’a vérifiée à l’aide d’un outil appelé Harmonic — et tout était correct.
« Je voulais établir une base de référence pour comprendre à quel moment les grands modèles linguistiques peuvent résoudre efficacement des problèmes mathématiques ouverts, et à quel moment ils rencontrent encore des difficultés », a expliqué Somani. La découverte inattendue était que le dernier modèle avait repoussé les limites du possible.
Le raisonnement de ChatGPT était particulièrement saisissant, appliquant de manière fluide des principes mathématiques tels que la formule de Legendre, le postulat de Bertrand et le théorème de l’étoile de David. Le modèle a finalement fait référence à un article publié en 2013 sur Math Overflow, dans lequel le mathématicien de Harvard Noam Elkies avait fourni une solution élégante à un problème connexe. Cependant, la démonstration finale de ChatGPT différait de celle d’Elkies sur des points essentiels, offrant une solution plus complète à une variante du problème initialement posé par le légendaire mathématicien Paul Erdős. La vaste collection de problèmes non résolus d’Erdős est devenue un terrain d’essai pour les capacités de l’IA.
Pour ceux qui sont sceptiques quant à l'intelligence artificielle, ce résultat est remarquable — et ce n'est pas un cas isolé. Les outils d'IA sont désormais omniprésents en mathématiques, allant des LLM axés sur la formalisation comme Aristotle de Harmonic aux systèmes de revue de littérature comme Deep Research d'OpenAI. Depuis la sortie de GPT-5.2 — dont Somani note qu’il est « anecdotiquement plus doué pour le raisonnement mathématique que les versions précédentes » —, le nombre de problèmes résolus a considérablement augmenté, soulevant de nouvelles questions sur la capacité des grands modèles linguistiques à repousser les frontières de la connaissance humaine.
Somani examinait les problèmes d’Erdős, un ensemble de plus de 1 000 conjectures du mathématicien hongrois répertoriées en ligne. Ces problèmes, dont les thèmes et les niveaux de difficulté varient considérablement, sont devenus une cible de choix pour l’exploration mathématique pilotée par l’IA. Les premières solutions autonomes ont vu le jour en novembre grâce à un modèle alimenté par Gemini appelé AlphaEvolve, mais plus récemment, Somani et d’autres ont observé que GPT-5.2 fait preuve d’une maîtrise exceptionnelle des mathématiques avancées.
Depuis Noël, 15 problèmes ont été mis à jour, passant de « non résolus » à « résolus » sur le site web des problèmes d'Erdős — 11 de ces solutions mentionnant explicitement la contribution de modèles d'IA.
Le mathématicien de renom Terence Tao offre une perspective plus détaillée sur ces progrès sur sa page GitHub, en soulignant huit problèmes distincts où les modèles d'IA ont apporté des contributions autonomes substantielles, ainsi que six autres cas où des progrès ont été réalisés en identifiant et en s'appuyant sur des recherches antérieures. Bien que le raisonnement mathématique entièrement autonome de l'IA reste un objectif lointain, il est évident que les grands modèles commencent à jouer un rôle significatif.
Inscrivez-vous sur la liste d'attente de Disrupt 2026
Inscrivez-vous sur la liste d'attente de Disrupt 2026 pour bénéficier d'un accès prioritaire dès la mise en vente des billets Early Bird. Les éditions précédentes de Disrupt ont accueilli sur nos scènes des dirigeants de Google Cloud, Netflix, Microsoft, Box, Phia, a16z, ElevenLabs, Wayve, Hugging Face, Elad Gil et Vinod Khosla — parmi plus de 250 experts du secteur animant plus de 200 sessions conçues pour accélérer votre croissance et renforcer votre avantage concurrentiel. De plus, entrez en contact avec des centaines de startups à l'origine d'innovations dans tous les secteurs.
Inscrivez-vous sur la liste d'attente de Disrupt 2026
Inscrivez-vous sur la liste d'attente de Disrupt 2026 pour bénéficier d'un accès prioritaire dès la mise en vente des billets Early Bird. Les éditions précédentes de Disrupt ont accueilli sur nos scènes des dirigeants de Google Cloud, Netflix, Microsoft, Box, Phia, a16z, ElevenLabs, Wayve, Hugging Face, Elad Gil et Vinod Khosla — qui font partie des plus de 250 experts du secteur animant plus de 200 sessions conçues pour accélérer votre croissance et renforcer votre avantage concurrentiel. De plus, entrez en contact avec des centaines de startups qui font avancer l'innovation dans tous les secteurs.
Sur Mastodon, Tao a suggéré que la nature évolutive des systèmes d'IA les rend « particulièrement bien adaptés pour s'attaquer à la « longue traîne » des problèmes d'Erdős moins connus, dont beaucoup ont en réalité des solutions simples ».
« Par conséquent, bon nombre de ces problèmes d’Erdős plus accessibles ont désormais plus de chances d’être résolus par des méthodes purement basées sur l’IA que par des approches humaines ou hybrides », a ajouté Tao.
Un autre facteur contributif est la tendance récente à la formalisation — un processus détaillé qui facilite la vérification et l'extension du raisonnement mathématique. Bien que la formalisation ne nécessite pas intrinsèquement l'IA ou des ordinateurs, une nouvelle génération d'outils automatisés a considérablement rationalisé le flux de travail. L'« assistant de preuve » open source Lean, développé chez Microsoft Research en 2013, s'est largement imposé dans le domaine pour la formalisation des preuves. Des outils d'IA comme Aristotle de Harmonic promettent désormais d'automatiser une grande partie de ce travail de formalisation.
Pour Tudor Achim, fondateur d’Harmonic, l’augmentation soudaine du nombre de problèmes d’Erdős résolus est moins significative que le fait que des mathématiciens de renom commencent à prendre ces outils au sérieux. « Je m’intéresse davantage au fait que des professeurs de mathématiques et d’informatique utilisent [des outils d’IA] », a déclaré Achim. « Ces personnes ont une réputation à défendre, donc lorsqu’elles confirment qu’elles utilisent Aristotle ou ChatGPT, cela constitue une validation significative. »
La valorisation de SpaceX bondit à 2,6 billions de dollars, dépassant brièvement celle d'Amazon
SpaceX a brièvement dépassé Amazon pour devenir la cinquième entreprise la plus précieuse au monde, frôlant presque le dépassement de Microsoft, avant que ses actions ne reculent de ces sommets avant la clôture du marché le mardi.Après une hausse de
OpenAI dévoile son programme de parrainage Codex pour augmenter les quotas d'utilisation
Alors que les outils d’IA se généralisent, les limites de quota bloquent souvent la productivité. OpenAI a récemment annoncé une nouvelle promotion Codex sur les réseaux sociaux, offrant des avantages concrets aux utilisateurs.Pendant deux semaines,
Meta lance une campagne publicitaire optimiste sur l’IA, mise en musique par une chanson sur l’extinction de l’humanité
La dernière publicité de Meta s’ouvre sur un gros plan en noir et blanc saisissant sur un œil, capturant l’anxiété liée au défilement effréné de titres alarmants sur l’IA qui volerait des emplois, isolerait la société et déclencherait une crise mondi
Les meilleurs outils de transcription IA les mieux notés de 2026 pour les comptes-rendus d'appels clients ! XIX.AI a sélectionné une gamme d'outils puissants et révolutionnaires à essayer absolument, qui ont fait leurs preuves dans la pratique pour fournir des comptes-rendus précis et détaillés. Vous pouvez comparer côte à côte les options gratuites et payantes et découvrir comment elles boostent votre productivité. Découvrez dès maintenant l'outil qui vous convient le mieux et tirez pleinement parti de l'IA pour optimiser votre communication avec vos clients !
10 outils
xix.ai
2026 Dernières Meilleures Platesformes de Doublage IA les mieux notées pour les courtes vidéos multilingues, tutoriels et présentations de produits ! XIX.AI propose une collection puissante et révolutionnaire, sélectionnée après des tests rigoureux en conditions réelles et des classements mis à jour chaque semaine. Vous y trouverez des options incontournables qui améliorent considérablement la productivité, vous permettant de créer du contenu de haute qualité plus rapidement sans perdre de temps. Explorez dès maintenant pour découvrir l’outil idéal et débloquer votre avantage grâce à l’IA.
9 outils
xix.ai
Classement 2026 des meilleurs outils de suivi de réunions ChatGPT ! XIX.AI a sélectionné une collection d’outils performants et très bien notés qui vous aident à transformer rapidement vos notes de réunion en actions concrètes, à suivre sans effort les responsables et les échéances, et à rester organisé tout au long de vos projets. Chaque outil est soumis à des tests rigoureux en conditions réelles afin de garantir sa fiabilité. Consultez le comparatif entre les versions gratuites et payantes ainsi que les classements pour découvrir la solution idéale qui vous permettra de booster votre productivité. Découvrez-les dès maintenant !
9 outils
xix.ai
La page « Les meilleurs outils de création d’ordres du jour basés sur l’IA en 2026 » présente une sélection d’outils les mieux notés qui facilitent la planification des réunions hebdomadaires d’équipe. Ces solutions performantes vous aident à créer des ordres du jour structurés et efficaces en quelques minutes seulement, vous permettant ainsi de gagner un temps précieux et d’améliorer votre productivité. XIX.AI s’assure que tous les outils proposés sont soumis à des tests rigoureux en conditions réelles avant d’être inclus dans la sélection. Consultez notre comparatif entre les versions gratuites et payantes et découvrez les options incontournables qui vous permettront d’obtenir des résultats révolutionnaires. Explorez dès maintenant notre sélection pour trouver l’outil idéal qui vous permettra de fluidifier vos processus de travail !
15 outils
xix.ai
2026 Derniers Meilleurs Outils de Plan d’Affaires par IA les Plus Évalués pour les Startups ! XIX.AI sélectionne une collection puissante et révolutionnaire d’outils incontournables, testés en conditions réelles et classés selon des mises à jour hebdomadaires rigoureuses. Ces solutions de premier plan aident les startups à rédiger des plans parfaits, à booster leur productivité et à exploiter pleinement leur avantage en IA. Explorez dès maintenant pour découvrir l’outil qui vous correspond parfaitement !
9 outils
xix.ai
Les meilleurs outils 2026 de création de personas basés sur l’IA, les mieux notés pour l’étude d’audience, sont disponibles ici sur XIX.AI ! Cette sélection regroupe des outils puissants et révolutionnaires qui vous aident à mener des tests concrets et à créer des profils d’audience précis grâce à une comparaison détaillée entre les versions gratuites et payantes. Vous découvrirez les options incontournables qui améliorent l'efficacité de la rédaction et vous permettent de tirer pleinement parti de l'IA dans vos stratégies marketing. Explorez-la dès maintenant pour trouver l'outil qui vous convient le mieux !
9 outils
xix.ai
