OAL-RAG 2024: Tomás Recio (Universidad Antonio de Nebrija)

Item: OAL-RAG 2024: Tomás Recio (Universidad Antonio de Nebrija)
Rating: 4
Author: PostSingularity Institute

par Tomás Recio et M. Pilar Vélez

Sciences formelles & physiques Mathématiques PBMGéométrie PBMWGéométrie algébrique

🎙 Tomás Recio et M. Pilar Vélez 👥 498 📅 7 juillet 2026 ⏱ 46 min 👁 4 📄 conférence scientifique 🧭 2026-08-16

Disponible en : Français (actuel) English

Mots-clés

preuve automatiquegéométrie algébrique réelleGeoGebra Discoverycomplexitébases de Gröbner

Résumé

Cette conférence, présentée par Tomás Recio et M. Pilar Vélez lors de l’événement OAL-RAG 2024, porte sur l’utilisation de méthodes de géométrie algébrique computationnelle pour la preuve automatique et la découverte de théorèmes en géométrie élémentaire. Les intervenants présentent d’abord les fonctionnalités de raisonnement automatique de GeoGebra et de son prototype GeoGebra Discovery, qui intègre des outils de calcul formel (comme les bases de Gröbner et l’élimination des quantificateurs réels) pour prouver des énoncés géométriques. Ils illustrent ces capacités avec des exemples classiques (théorème de Varignon, inégalités de Bottema) et montrent comment le système peut également traiter des inégalités. Ensuite, ils introduisent un nouvel outil, le ‘géomètre automatique’, qui génère automatiquement des théorèmes à partir d’une figure donnée. Pour évaluer l’intérêt de ces théorèmes, ils proposent une mesure de complexité basée sur la difficulté d’exprimer la thèse comme combinaison des hypothèses, en utilisant des bases de Gröbner. Ils comparent cette mesure à la difficulté humaine perçue, notamment sur des problèmes d’olympiades. Enfin, ils discutent des défis théoriques restants, notamment l’extension de ces méthodes au contexte réel (avec inégalités) et la recherche d’algorithmes pour calculer les polynômes de plus petit degré dans les expressions de la thèse. La conférence se termine par des questions du public sur les temps de calcul et les perspectives de recherche.

215 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : la conférence présente des avancées récentes dans le domaine de la preuve automatique en géométrie, avec des outils concrets (GeoGebra Discovery) et des résultats expérimentaux. L’argumentation est solide, s’appuyant sur des exemples précis et des démonstrations algorithmiques. Les intervenants expliquent clairement les principes mathématiques sous-jacents (bases de Gröbner, élimination des quantificateurs) et justifient leurs choix. La proposition de mesure de complexité est originale et bien motivée, avec des exemples convaincants. Cependant, certains aspects restent exploratoires et les preuves formelles ne sont pas entièrement détaillées dans la vidéo.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est bonne : les intervenants sont des experts reconnus et les méthodes utilisées sont issues de la littérature en géométrie algébrique computationnelle. Les sources ne sont pas explicitement citées dans la transcription, mais les outils mentionnés (GeoGebra, Tarski, etc.) sont bien connus. Le titre est en adéquation avec le contenu, qui se concentre sur les travaux de Tomás Recio. La vidéo ne comporte pas de séquence publicitaire. Aucun commentaire n’a été fourni pour analyse.

186 mots

Adéquation titre / contenu

Le titre est précis et correspond au contenu : il s'agit bien de la conférence de Tomás Recio lors de l'événement OAL-RAG 2024.

Qualité & fiabilité

8/10

Exposé technique par des experts reconnus en géométrie algébrique computationnelle, présentant des résultats issus de leurs travaux de recherche. Les algorithmes et les exemples sont détaillés, mais la vidéo ne fournit pas de preuves formelles complètes ni de références bibliographiques explicites dans la transcription.

Moments clés

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

Sources citées

GeoGebra — Logiciel de mathématiques dynamiques utilisé pour les démonstrations automatiques.
GeoGebra Discovery — Prototype de GeoGebra avec des outils de raisonnement automatique.

Sources concordantes

GeoGebra Discovery — Le logiciel présenté dans la vidéo est disponible en ligne.

Apport & nouveautés

L’apport principal de cette conférence est la proposition d’une mesure de complexité pour les théorèmes géométriques, basée sur la difficulté d’exprimer la thèse comme combinaison des hypothèses. Cette mesure, calculée via des bases de Gröbner, semble corrélée avec la difficulté humaine perçue, comme le montrent les exemples de problèmes d’olympiades. De plus, l’introduction du ‘géomètre automatique’ ouvre des perspectives pour la découverte automatique de théorèmes intéressants. Les défis soulevés, notamment l’extension aux inégalités et le calcul de polynômes de plus petit degré, constituent des pistes de recherche prometteuses.

Pour aller plus loin :

Bases de Gröbner — Outil fondamental en algèbre computationnelle, utilisé pour les calculs de complexité.
Élimination des quantificateurs — Technique utilisée pour traiter les inégalités dans GeoGebra Discovery.
Théorème de Varignon — Exemple classique de théorème de géométrie élémentaire.
Inégalité de Bottema — Exemple d’inégalité géométrique traitée par le système.

143 mots

Profil radar

Le profil radar montre une très bonne maîtrise technique (niveau technique élevé) et une bonne fiabilité, avec une quantité et une qualité d'information substantielles. La vidéo est donc très utile pour un public averti, mais moins accessible aux débutants.

Fiabilité 8/10