Humanité vs. IA ─ La "bataille de l'intelligence" révélée par l'Olympiade de mathématiques et la prochaine frontière : les "limites mathématiques" posées par Gemini et OpenAI

1. Ouverture――Le public s'est exclamé pour un "score de 35 points"

Sunshine Coast, Queensland, Australie. Dans le centre de conventions balayé par le vent marin, 641 jeunes mathématiciens de 112 pays se sont rassemblés. La 66e Olympiade Internationale de Mathématiques (IMO) se déroule sur deux jours, avec trois problèmes le premier jour et trois le second, chaque session durant 4,5 heures. Deux cerveaux géants non officiels, "Gemini Deep Think" de Google DeepMind et un modèle non dévoilé d'OpenAI, ont été introduits dans la compétition.

Lorsqu'il a été annoncé que Gemini avait résolu 5 problèmes pour un score de 35 points, le public a réagi avec surprise, et la timeline de X (anciennement Twitter) a été instantanément saturée de "#AImath" et "#GeminiGold".Phys.org

2. Médaille d'or atteinte, mais pas de victoire totale

La ligne de médaille d'or de l'IMO correspond généralement aux 10% des meilleurs scores. Cette année, le seuil était de 35 points, et 67 étudiants ont effectivement décroché l'or, dont 5 avec un score parfait de 42 pointsReuters. Gemini et OpenAI ont tous deux obtenu 35 points, mais ont été arrêtés par la barrière du score parfait. "L'homme garde encore l'avantage." Le titre d'un article de l'AFP était symboliquePhys.org.

3. Stratégie du côté de l'IA――"Résoudre en langage naturel"

Ce qui a attiré l'attention, c'est que les deux entreprises ont fait écrire les preuves directement en langage naturel. La recherche en mathématiques par l'IA consistait traditionnellement à traduire les problèmes en langages formels comme Coq ou Lean, et à les résoudre avec des algorithmes de recherche de preuves. Cette fois, il ne s'agissait ni de transformation séquentielle basée sur Llama, ni de "Chain-of-Thought" de GPT-4. Gemini a reçu une invite de commande pour **"ne pas trop étendre la pensée, mais creuser profondément"**, et a terminé dans le délai de 4,5 heuresReuters. D'un autre côté, OpenAI a "considérablement augmenté le Compute Time pour le test", a révélé le chercheur Noam Brown. "C'était très coûteux", a-t-il ajoutéReuters.

4. L'enthousiasme et le scepticisme sur les réseaux sociaux

• "1/N Enfin, le défi de longue date de l'IA est atteint !"――Le fil d'Alexander Wei d'OpenAI a reçu 30 000 likes en quatre joursX (anciennement Twitter).

• La startup en sciences de la santé DINQ a félicité avec "🏅Congrats! OpenAI takes gold at IMO 2025!"X (anciennement Twitter).

• Sur Reddit /r/math, un fil moquant le coût des ressources de calcul avec "2 000 $ par million de tokens, c'est une blague ?" a rapidement gagné en popularitéReddit.

• Le lauréat de la médaille Fields, Terence Tao, a averti dans une interview que "l'IA doit reconnaître la différence entre un environnement de laboratoire où les essais et la collaboration sont permis, et le cadre rigide d'une salle d'examen"The Times of India.

5. Qui est le "gagnant" ?――Impact sur l'éducation mathématique

Une élève de l'équipe coréenne (17 ans) interviewée sur place a déclaré en riant : "Les réponses de l'IA sont faciles à lire. Mais l'‘inspiration’ appartient encore aux humains." Son professeur a exprimé un point de vue positif : "Je veux utiliser Gemini en classe pour comparer les différentes méthodes de résolution." D'un autre côté, l'équipe japonaise a révélé son intention de proposer à la commission internationale des mesures pour la transparence des critères de notation et la prévention de la tricherie par l'IA.

Dans le domaine de l'éducation, un débat a déjà émergé : "Faut-il laisser l'IA faire les devoirs ou la considérer comme le meilleur tuteur à domicile ?" La Finlande a annoncé un programme pilote pour intégrer l'analyse des preuves interactives LLM dans le programme de mathématiques du lycée dès le lendemain de la compétition.

6. Frontières de la recherche――Défis pour les problèmes non résolus

Le professeur Jung de l'Université Brown a prédit audacieusement que "l'époque où l'IA et les mathématiciens publieront des articles en tant que 'co-auteurs' sur arXiv arrivera dans un an"Reuters. En réalité, Google a suggéré dans un blog la création d'une nouvelle équipe "Gemini-Research" qui s'attaquera à trois thèmes : l'hypothèse de Riemann, la géométrie algébrique et la théorie quantique des champs topologiques. Si cela se réalise, l'IA redéfinira les "stratégies de preuve de théorèmes" et la définition même de la créativité mathématique sera remise en question.

7. Défis――Ressources de calcul, environnement et équité

La consommation d'énergie estimée d'OpenAI est d'environ 1,3 MWh (estimation), équivalente à environ trois heures d'un centre de données refroidi par eau. Outre l'impact environnemental, il existe un risque d'élargissement des disparités en ressources entre les pays participants. Le comité de l'IMO envisage de "séparer la participation de l'IA en une catégorie officielle et d'établir une limite de consommation d'énergie" pour les années à venir.

De plus, la détection de la "tricherie hybride", où un humain pourrait modifier les réponses de l'IA, reste non résolue. DeepMind développe un "jeton auto-certifiant" avec une signature holographique.

8. Vision future――Collaboration ou compétition

En résumé, cette édition de l'IMO a montré au monde que **"l'humanité a remporté une victoire de justesse, mais l'IA est déjà sur le même ring"**.
Les hashtags #TeamHuman et #TeamAI sur les réseaux sociaux sont souvent discutés dans une perspective de confrontation. Cependant, les étudiants sur le terrain commencent à accepter l'IA comme un "rival qui enseigne et avec qui on rivalise".

Lors de la prochaine IMO 2026 (prévue en Serbie), la création d'une catégorie IA et la séparation de la catégorie humaine deviennent de plus en plus probables. La barrière des "35 points" perdra-t-elle alors son sens, ou un nouveau plafond sera-t-il établi ? L'avenir des mathématiques brillera dans l'espace laissé par la craie sur le tableau noir et les transistors en silicium.