{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T04:01:34Z","timestamp":1772164894868,"version":"3.50.1"},"reference-count":20,"publisher":"MDPI AG","issue":"8","license":[{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004837","name":"the Spanish MICINN","doi-asserted-by":"publisher","award":["PID2020-113192GB-I00"],"award-info":[{"award-number":["PID2020-113192GB-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>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\u2014more relevant\u2014interesting results.<\/jats:p>","DOI":"10.3390\/computers13080187","type":"journal-article","created":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T15:25:23Z","timestamp":1722353123000},"page":"187","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On Using GeoGebra and ChatGPT for Geometric Discovery"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0212-6470","authenticated-orcid":false,"given":"Francisco","family":"Botana","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica Aplicada I, Universidade de Vigo, Campus A Xunqueira, 36005 Pontevedra, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1011-295X","authenticated-orcid":false,"given":"Tomas","family":"Recio","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1ticas y F\u00edsica, Escuela Polit\u00e9cnica Superior, Universidad Nebrija, C\/Santa Cruz de Marcenado 27, 28015 Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5724-4300","authenticated-orcid":false,"given":"Mar\u00eda Pilar","family":"V\u00e9lez","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1ticas y F\u00edsica, Escuela Polit\u00e9cnica Superior, Universidad Nebrija, C\/Santa Cruz de Marcenado 27, 28015 Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"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\u201328, 1957, Western Joint Computer Conference: Techniques for Reliability, Association for Computing Machinery.","DOI":"10.1145\/1455567.1455605"},{"key":"ref_2","unstructured":"Whitehead, A.N., and Russell, B. (1935). Principia Mathematica, Cambridge University Press. [2nd ed.]."},{"key":"ref_3","unstructured":"Gelernter, H. (2014). Realization of a geometry\u2014Theorem proving machine. English, with English French, German, Russian, and Spanish summaries. Information processing. International Conference on Information Processing, UNESCO, Paris 15\u201320 June 1959, UNESCO, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, Cambridge University Press."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Gelernter, H., Hansen, J., and Loveland, D. (1960, January 3\u20135). Empirical Explorations of the Geometry-Theorem Proving Machine. Proceedings of the Western Joint IRE-AIEE-ACM Computer Conference, San Francisco, CA, USA.","DOI":"10.1145\/1460361.1460381"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1038\/s41586-021-04086-x","article-title":"Advancing mathematics by guiding human intuition with AI","volume":"600","author":"Davies","year":"2021","journal-title":"Nature"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1038\/s41586-023-06747-5","article-title":"Solving olympiad geometry without human demonstrations","volume":"625","author":"Trinh","year":"2024","journal-title":"Nature"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Parisse, B. (2024, July 22). G\u00e9om\u00e9trie et Olympiades: AI Google 23++ vs Xcas 40. Available online: https:\/\/www-fourier.ujf-grenoble.fr\/~parisse\/irem\/alphageo.html#sec5.","DOI":"10.1108\/SD-03-2024-0039"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.46328\/ijte.607","article-title":"Are lesson plans created by ChatGPT more effective? An experimental study","volume":"7","author":"Karaman","year":"2024","journal-title":"Int. J. Technol. Educ. (IJTE)"},{"key":"ref_9","unstructured":"OpenAI (2024, July 22). ChatGPT: Optimizing Language Models for Dialogue. Available online: https:\/\/openai.com\/blog\/chatgpt."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Botana, F., and Recio, T. (2024). Geometric Loci and ChatGPT: Caveat Emptor!. Computation, 12.","DOI":"10.3390\/computation12020030"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-031-40113-8_8","article-title":"Solving the self-regulated learning problem: Exploring the performance of ChatGPT in Mathematics","volume":"14099","author":"Huang","year":"2023","journal-title":"International Conference on Innovative Technologies and Learning"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez-Ruiz, L.M., Moll-L\u00f3pez, S., Nu\u00f1ez-P\u00e9rez, A., Mor\u00e1n-Fern\u00e1ndez, J.A., and Vega-Fleitas, E. (2023). ChatGPT challenges blended learning methodologies in engineering education: A case study in mathematics. Appl. Sci., 13.","DOI":"10.3390\/app13106039"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s13163-018-0286-1","article-title":"Detecting truth, just on parts","volume":"32","author":"Recio","year":"2019","journal-title":"Rev. Matem\u00e1tica Complut."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s10472-018-9590-1","article-title":"Rewriting input expressions in complex algebraic geometry provers","volume":"85","author":"Recio","year":"2019","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_15","first-page":"188","article-title":"Problem 11984: Sum of Powers of the Sides of a Triangle. In Problems and Solutions","volume":"126","author":"Edgar","year":"2019","journal-title":"Am. Math. Mon."},{"key":"ref_16","first-page":"43","article-title":"Showing Proofs, Assessing Difficulty with GeoGebra Discovery","volume":"398","author":"Quaresma","year":"2024","journal-title":"Electronic Proceedings in Theoretical Computer Science EPTCS, Proceedings of the 14th International Conference on Automated Deduction in Geometry, Belgrade, Serbia, 20\u201322 September 2023"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-319-15081-9_7","article-title":"Giac and GeoGebra Improved Gr\u00f6bner basis computations","volume":"Volume 8942","author":"Gutierrez","year":"2015","journal-title":"Computer Algebra and Polynomials: Applications of Algebra and Number Theory"},{"key":"ref_18","first-page":"101","article-title":"Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned","volume":"Volume 398","author":"Quaresma","year":"2024","journal-title":"Proceedings 14th International Conference on Automated Deduction in Geometry, Belgrade, Serbia, 20\u201322 September 2023, Electronic Proceedings in Theoretical Computer Science EPTCS"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10817-007-9071-4","article-title":"A Graphical User Interface for Formal Proofs in Geometry","volume":"39","author":"Narboux","year":"2007","journal-title":"J. Autom. Reason."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.jsc.2018.04.007","article-title":"Formalization of the arithmetization of Euclidean plane geometry and applications","volume":"90","author":"Boutry","year":"2019","journal-title":"J. Symb. Comput."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/13\/8\/187\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T15:26:41Z","timestamp":1760110001000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/13\/8\/187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,30]]},"references-count":20,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2024,8]]}},"alternative-id":["computers13080187"],"URL":"https:\/\/doi.org\/10.3390\/computers13080187","relation":{},"ISSN":["2073-431X"],"issn-type":[{"value":"2073-431X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,30]]}}}