التفاصيل البيبلوغرافية
| العنوان: |
On Using GeoGebra and ChatGPT for Geometric Discovery. |
| المؤلفون: |
Botana, Francisco, Recio, Tomas, Vélez, María Pilar |
| المصدر: |
Computers (2073-431X); Aug2024, Vol. 13 Issue 8, p187, 30p |
| مصطلحات موضوعية: |
LANGUAGE models, CHATGPT, EUCLIDEAN geometry, ARTIFICIAL intelligence, GEOMETRY education, TRIANGLES |
| مستخلص: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Computers (2073-431X) is the property of MDPI and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Complementary Index |
Full Text Finder