Une nouvelle prépublication de Wang & Wu de l'Université du Hunan prouve la conjecture sphérique de Hadwiger, ouverte depuis 1974, grâce à l'assistance d'Open AI Codex. Les auteurs déclarent que l'IA a aidé à développer les détails de la preuve, à identifier les lacunes, à organiser le manuscrit et à corriger l'anglais, tout en assumant l'entière responsabilité. Cela fait suite à la formalisation par Claude du dernier théorème de Fermat dans Lean la même semaine.

L'auteur, qui avait tenté cette preuve durant ses études supérieures, souligne que le rapport GPT-4 d'OpenAI estime que 100% du travail des mathématiciens est exposé aux LLM — plus que celui des écrivains ou des artistes. Le retard de l'impact de l'IA pourrait venir du fait que les mathématiques ont moins de valeur économique et de données d'entraînement.

Cela soulève la question de savoir si les mathématiques pures suivront la musique classique vers un modèle de « conservatoire » — institutionnalisé dans l'académie avec peu de rôles professionnels en dehors des universités. Un conservatoire mathématique pourrait préserver le domaine même lorsque la création de résultats devient facile, mais que leur compréhension reste difficile. Les mathématiques pures existent déjà dans ce conservatoire (l'académie), où les résultats sont compris par peu de personnes.

Entités clés : Entreprises : Open AI, Université du Hunan | Personnes : Wang, Wu, Claude Fable | Lieux : Université du Hunan