On Using GeoGebra and ChatGPT for Geometric Discovery-Reference-Cited by-同舟云学术

On Using GeoGebra and ChatGPT for Geometric Discovery

Published:2024-07-30 Issue:8 Volume:13 Page:187
ISSN:2073-431X
Container-title:Computers
language:en
Short-container-title:Computers

Author:

Botana Francisco¹^ORCID,Recio Tomas²^ORCID,Vélez María Pilar²^ORCID

Affiliation:

1. Departamento de Matemática Aplicada I, Universidade de Vigo, Campus A Xunqueira, 36005 Pontevedra, Spain

2. Departamento de Matemáticas y Física, Escuela Politécnica Superior, Universidad Nebrija, C/Santa Cruz de Marcenado 27, 28015 Madrid, Spain

Abstract

This paper explores the performance of ChatGPT and GeoGebra Discovery when dealing with automatic geometric reasoning and discovery. The emergence of Large Language Models has attracted considerable attention in mathematics, among other fields where intelligence should be present. We revisit a couple of elementary Euclidean geometry theorems discussed in the birth of Artificial Intelligence and a non-trivial inequality concerning triangles. GeoGebra succeeds in proving all these selected examples, while ChatGPT fails in one case. Our thesis is that both GeoGebra and ChatGPT could be used as complementary systems, where the natural language abilities of ChatGPT and the certified computer algebra methods in GeoGebra Discovery can cooperate in order to obtain sound and—more relevant—interesting results.

Funder

the Spanish MICINN

Publisher

MDPI AG

Link

https://www.mdpi.com/2073-431X/13/8/187/pdf

Reference20 articles.

1. Newell, A., Shaw, J.C., and Simon, H.A. (1957). Empirical explorations of the logic theory machine: A case study in heuristic. Papers Presented at the February 26–28, 1957, Western Joint Computer Conference: Techniques for Reliability, Association for Computing Machinery.

2. Whitehead, A.N., and Russell, B. (1935). Principia Mathematica, Cambridge University Press. [2nd ed.].

3. Gelernter, H. (2014). Realization of a geometry—Theorem proving machine. English, with English French, German, Russian, and Spanish summaries. Information processing. International Conference on Information Processing, UNESCO, Paris 15–20 June 1959, UNESCO, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, Cambridge University Press.

4. Gelernter, H., Hansen, J., and Loveland, D. (1960, January 3–5). Empirical Explorations of the Geometry-Theorem Proving Machine. Proceedings of the Western Joint IRE-AIEE-ACM Computer Conference, San Francisco, CA, USA.

5. Advancing mathematics by guiding human intuition with AI;Davies;Nature,2021