Timothy Gowers

Tribune / opinion

Neuf mathématiciens, dont Gowers, Hairer et Witten, demandent aux laboratoires d'IA de cesser de tester des problèmes mathématiques avancés sur des modèles propriétaires

Le 29 septembre 2026 au soir, l'Advisory Group on Mathematics and Artificial Intelligence a publié ses recommandations pour la diffusion responsable de mathématiques produites par IA, nourries par… Lire la brève

Création d'entité / lancement de structure

OpenAI dit avoir résolu plus de cent problèmes mathématiques ouverts et s'adosse à un groupe consultatif indépendant de neuf mathématiciens

Le 21 septembre 2026, OpenAI a annoncé travailler avec un groupe consultatif indépendant constitué par des mathématiciens eux-mêmes, en réponse à la lettre ouverte « A Severe Misalignment of AI in… Lire la brève

Publication scientifique

OpenAI dit avoir réfuté avec une IA la conjecture des distances unité d'Erdos, restée ouverte depuis 1946

Le 20 mai 2026, OpenAI a annoncé qu'un de ses modèles de raisonnement internes avait produit une réfutation du problème des distances unité formulé par Paul Erdos en 1946, l'un des problèmes ouverts… Lire la brève

Timothy Gowers

Dernières brèves

Neuf mathématiciens, dont Gowers, Hairer et Witten, demandent aux laboratoires d'IA de cesser de tester des problèmes mathématiques avancés sur des modèles propriétaires

OpenAI dit avoir résolu plus de cent problèmes mathématiques ouverts et s'adosse à un groupe consultatif indépendant de neuf mathématiciens

OpenAI dit avoir réfuté avec une IA la conjecture des distances unité d'Erdos, restée ouverte depuis 1946

Articles liés

Un modèle d'intelligence artificielle permet de réfuter certaines conjectures mathématiques