Savais-tu qu'une intelligence artificielle a atteint le niveau médaille d'or aux Olympiades internationales de mathématiques ? En deux mille vingt-cinq, une version de recherche de Gemini Deep Think résout cinq problèmes sur six. Ici, il faut produire un raisonnement, pas simplement deviner un résultat. Ces problèmes demandent de construire une démonstration que des correcteurs peuvent examiner. Une figure géométrique illustre cette idée, sans prétendre être une solution du concours. Une figure jolie ne prouve rien seule : chaque étape doit être justifiée pour devenir une vraie preuve mathématique.
Le système obtient trente-cinq points sur quarante-deux, avec une évaluation officielle annoncée. Ce score atteint le seuil de l'or de cette édition. Il ne faut pas lui inventer une médaille physique, une place d'élève dans la salle ou une victoire sur tous les mathématiciens.
Le résultat concerne une version avancée de recherche et des problèmes précis. Il ne garantit pas que chaque réponse d'un chatbot grand public soit juste. Le progrès est spectaculaire, mais l'exigence reste la même : une démonstration se vérifie, même quand une machine semble convaincante.
Ce que l’on sait
Le résultat35/42 concerne une version de recherche avancée et l’édition 2025. Il ne garantit pas les réponses d’un chatbot grand public.
Pour aller à la source
Références consultées le 12 octobre 2026.
Signaler une erreur ou apporter une précision
