Claude Mythos d’Anthropic aurait résolu la conjecture d’Erdős
Le modèle Claude Mythos d’Anthropic aurait résolu la conjecture d’Erdős sur la distance unitaire, peu après une réfutation similaire par OpenAI.
Mathématiques
L’IA modifie en profondeur la recherche scientifique
L’intelligence artificielle, notamment les modèles de fondation, modifie en profondeur les méthodes de travail des chercheurs dans plusieurs disciplines scientifiques.
AlphaProof Nexus résout des problèmes mathématiques anciens
AlphaProof Nexus de Google DeepMind résout des problèmes mathématiques anciens pour un coût modique, utilisant un compilateur pour la vérification.
Une IA d’OpenAI résout un problème mathématique vieux de 80 ans
Une IA d’OpenAI résout un problème de géométrie insoluble depuis 80 ans, marquant une étape dans la recherche mathématique.
Un modèle d’OpenAI résout une conjecture majeure en géométrie discrète
Un modèle d’IA d’OpenAI a résolu le problème de la distance unitaire, une conjecture vieille de 80 ans en géométrie discrète, marquant une avancée majeure.
ChatGPT 5.5 Pro réalise une recherche mathématique de niveau doctorat
Le mathématicien Timothy Gowers a révélé que ChatGPT 5.5 Pro a généré une recherche mathématique de niveau doctorat en moins de deux heures, sans aide humaine.