Terence Tao s’interroge sur la durabilité de l’IA en mathématiques
Le mathématicien Terence Tao alerte sur le risque d’épuisement des problèmes mathématiques ouverts par l’IA, qui ne générerait pas de nouvelles théories.
Mathématiques
OpenAI annonce avoir résolu un problème mathématique majeur
OpenAI a annoncé avoir découvert une solution au problème de Navier-Stokes, un défi mathématique majeur non résolu depuis près d’un siècle, selon des rapports initiaux.
OpenAI présente une solution IA au problème de Navier-Stokes
OpenAI a annoncé avoir généré une solution au problème du prix du millénaire de Navier-Stokes grâce à l’intelligence artificielle, incluant une preuve formelle.
OpenAI accusé de pratiques déloyales sur un problème mathématique majeur
Un mathématicien de NYU accuse OpenAI de pratiques déloyales concernant un problème mathématique majeur doté d’une récompense d’un million de dollars.
OpenAI : une « découverte mathématique majeure » contestée
OpenAI a annoncé une « découverte mathématique majeure », mais cette affirmation est rapidement contestée par des universitaires qui évoquent un manque de reconnaissance.
L’IA incarnée face au ‘mur de l’IA de périphérie’ et aux défis mathématiques
La surcharge computationnelle constitue un ‘mur de l’IA de périphérie’ qui freine le développement de l’intelligence artificielle physique et incarnée, nécessitant de nouvelles approches mathématiques.
L’IA d’OpenAI résout des problèmes mathématiques, une « crise existentielle » pour les experts
La publication par OpenAI de solutions à des problèmes mathématiques de longue date provoque une « crise existentielle » chez les mathématiciens.
LLM : de brillants calculateurs mais de piètres créatifs selon des mathématiciens
Deux mathématiciens de renom, Timothy Gowers et Peter Sarnak, affirment que les LLM sont de brillants calculateurs mais manquent de créativité mathématique.
L’IA excelle en maths par sa mémoire, non par sa pensée
Une analyse récente suggère que la force de l’IA en mathématiques réside dans sa capacité de mémoire plutôt que dans un raisonnement supérieur.
Un modèle Anthropic progresse sur l’hypothèse de Riemann
Un modèle d’IA non publié d’Anthropic a fait des progrès inattendus sur l’hypothèse de Riemann, un problème mathématique non résolu depuis plus de 150 ans.