Photo : VCG
Un système universel d'intelligence artificielle (IA) développé par une équipe de recherche chinoise est devenu le premier au monde à résoudre presque toutes les questions de géométrie de niveau olympique des 25 dernières années en un maximum de 38 minutes, les questions de géométrie générées par le système étant désormais incluses dans de prestigieuses compétitions de mathématiques humaines, a rapporté Science Daily.
L'équipe de recherche dirigée par Zhang Chi de l'Institution d'intelligence artificielle générale de Pékin a développé TongGeometry, le premier système d'IA général au monde doté d'une double capacité de proposition autonome de problèmes et de résolution automatique de problèmes.
Les résultats de la recherche ont été publiés dans Nature Machine Intelligence le 26 janvier.
Zhang a expliqué que TongGeometry peut identifier et extraire des problèmes de haute qualité qui répondent aux critères esthétiques des mathématiciens humains à partir d'un immense corpus de configurations spatiales.
Il s'agit du premier changement de paradigme au monde dans ce domaine, passant de la « résolution imitative de problèmes » à la « création autonome », indique le rapport.
Contrairement à AlphaGeometry, un système d'IA de géométrie de niveau Olympiade d'IA développé par DeepMind début 2024, TongGeometry démontre un niveau d'intelligence plus élevé.
Il ne s'agit pas seulement d'un interprète de premier plan qui réussit chaque évaluation avec un score parfait, mais également d'un compositeur de problèmes compétent, capable de créer des problèmes mathématiques élégants et originaux, a rapporté Science Daily.
La capacité originale de TongGeometry à créer des problèmes a déjà été reconnue par les milieux universitaires et professionnels, indique le rapport.
Trois questions de géométrie originales générées de manière autonome par le système ont été officiellement incluses dans le concours national de mathématiques des lycées 2024 (division de Pékin) et dans l'Olympiade de mathématiques Ersatz des États-Unis, marquant la première fois que des problèmes créés par l'IA sont admis dans des concours de mathématiques humaines de haut calibre.
Cette réussite signifie que l'équipe de recherche chinoise a atteint une autonomie technologique clé dans le domaine principal du raisonnement automatisé, avec des performances et une diversité fonctionnelle dépassant les meilleures références internationales représentées par DeepMind, selon le rapport.
