Baptized AlphaGeometry, this AI represents such a significant advancement in this field that its results have been published in the *Nature* journal. This AI is limited to problems of Euclidean geometry in the plane, similar to what is taught in college, based on triangles and Thales’ theorem.
But why should that be surprising? After all, AIs now beat the top chess players hands down, compete with the best Go players, can respond pertinently and with a level of language adapted to complex questions, generate all kinds of images, anticipate the weather, or predict the 3D conformation of proteins from their chemical formula, which no physical model is capable of doing.
Naively, one might have imagined that finding “small” geometry demonstrations would be relatively easy. And, more generally, that…
Después de su bautismo como AlphaGeometry, esta IA representa un avance tan significativo en este campo que sus resultados han sido publicados en la revista *Nature*.
Además, esta IA se limita a problemas de geometría euclidiana en el plano, similar a lo que se enseña en la escuela, basado en triángulos y el teorema de Thalès. ¿Pero por qué debería ser sorprendente?
Después de todo, las IA ahora vencen fácilmente a los mejores jugadores de ajedrez, compiten con los mejores jugadores de Go, pueden responder de manera pertinente y con un nivel de lenguaje adaptado a preguntas complejas, generar todo tipo de imágenes, anticipar el clima o predecir la conformación 3D de proteínas a partir de su fórmula química, algo que ningún modelo físico es capaz de hacer. Ingenuamente, uno podría haber imaginado que encontrar demostraciones “pequeñas” de geometría sería relativamente fácil.
Y, más en general, que…