Matemáticas, problemas de palabras, sentido común y inteligencia artificial

El artículo discute las capacidades y limitaciones de la tecnología actual de inteligencia artificial (IA) para resolver problemas de palabras que combinan matemáticas elementales con razonamiento de sentido común. Ningún sistema de IA existente puede resolver estos problemas de manera confiable. Revisamos tres enfoques que se han desarrollado, utilizando tecnología de lenguaje natural de IA: proporcionar la respuesta directamente, generar un programa informático que resuelva el problema y outputear una representación formalizada que puede ser ingresada a un verificador de teoremas automatizado. Revisamos algunos benchmarks que se han desarrollado para evaluar estos sistemas y algunos estudios experimentales. Discutimos las limitaciones de la tecnología existente para resolver este tipo de problemas. Argumentamos que no está claro si estas limitaciones serán importantes en el desarrollo de la tecnología de IA para la investigación matemática pura, pero que sí lo serán en las aplicaciones de la matemática, y bien podrían ser importantes en el desarrollo de programas capaces de leer y entender contenido matemático escrito por humanos.