Des mathématiciens alertent sur les dérives de l’IA
Plus de 2 300 mathématiciens lancent un appel pour encadrer le développement de l’IA.
Mathématiques
L’IA peut-elle produire des preuves mathématiques fiables ?
Des mathématiciens de Cambridge, Oxford, Columbia et ETH Zurich s’inquiètent de la fiabilité des preuves mathématiques générées par l’IA.
Un modèle d’IA résout un problème mathématique vieux de 80 ans
Un modèle d’IA d’OpenAI aurait résolu un problème mathématique complexe, insoluble pour les humains depuis 80 ans.
Une IA résout une énigme mathématique vieille de 80 ans
Une IA a résolu un problème de géométrie vieux de 80 ans en proposant une solution inédite, marquant une avancée significative dans la recherche mathématique.
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.
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.