Matemáticos lanzan First Proof, un examen de matemáticas pionero para la IA
Los matemáticos crearon el examen "First Proof" con problemas no resueltos y novedosos para evaluar rigurosamente las capacidades matemáticas reales de la IA.Resumen
Un equipo de académicos destacados ha lanzado "First Proof", un examen novedoso que consiste en problemas matemáticos no resueltos y relevantes para la investigación actual, diseñado para desafiar y evaluar rigurosamente las capacidades de los sistemas de Inteligencia Artificial en matemáticas puras. Este esfuerzo surge de la frustración con las afirmaciones de la industria de la IA sobre pruebas matemáticas sin ofrecer transparencia, y busca experimentos controlados y transparentes, a diferencia de éxitos previos en problemas de Olimpiadas o búsquedas en la literatura existente. Once expertos matemáticos, incluido un ganador de la Medalla Fields, contribuyeron con pruebas cifradas para estos problemas, descritos como "lemas"—pequeños teoremas cruciales en el camino hacia resultados más significativos pero que no suelen publicarse de forma independiente. El objetivo no es resolver grandes problemas abiertos, sino demostrar el potencial a corto plazo de la IA como una herramienta útil para acelerar las partes más tediosas de la investigación matemática cotidiana.
(Fuente：Scientific American)