Jusqu’où iront les technologies d’intelligence artificielle (IA) dans leurs capacités à battre les humains ? Elles traduisent à la volée dans toutes les langues ou presque, écrasent des champions du monde au go, génèrent des textes, images et vidéos plus vrais que nature sur simple demande… Maintenant, elles se piquent de mathématiques, considérées comme l’un des sommets de l’intelligence.

Cet été, plusieurs de ces systèmes ont obtenu l’équivalent d’une médaille d’or au prestigieux concours des Olympiades internationales de mathématiques, qui réunissent les meilleurs jeunes de moins de 20 ans dans cet exercice.

Cinq problèmes sur six ont été résolus par les IA, Gemini de Google, un logiciel d’OpenAI, mais aussi Seed-Prover de ByteDance (propriétaire du chinois TikTok), ou Aristotle, de la start-up américaine Harmonic. Ces programmes ont seulement « séché » sur un exercice combinatoire de pavage d’un plan, résolu par quatre participants humains.