L'IA est désormais capable de résoudre des problèmes mathématiques d’une complexité inédite, jusqu'à révolutionner la discipline. Et tout indique que ce n'est qu'un début. Va-t-on vers des modèles qui finiront par remplacer les humains ? Entretien avec Gabriel Peyré, directeur scientifique de...
Pour la première fois, l’IA a obtenu un score parfait aux prestigieuses Olympiades internationales des mathématiques (OIM), qui se sont déroulées ce mois-ci à Shanghai. Les modèles, Celia de Huawei et dots-note-3.0 de Xiaohongshu (ou RedNote), ont répondu correctement à 100 % des questions soumises aux participants humains, dont certaines comptent parmi les problèmes mathématique […]