IA y Matemáticas: Por fin tuve un poco de tiempo libre para empezar mi primer intento de usar IA — ChatGPT Pro — para un problema matemático antiguo que dejé de lado hace más de una década. Estoy bastante oxidado con los detalles, pero la IA no. Ya estoy bastante impresionado con el progreso, señalé mi conjetura y ha empezado a desglosarla, haciendo experimentos numéricos, luego deduciendo conjeturas a partir de ellas, probándolas un poco más, y así sucesivamente. Todavía no quiero revelar la pregunta exacta en la que estoy trabajando, ni qué me ha ayudado a encontrar hasta ahora. Y yo mismo estoy un poco oxidado, ya que no he trabajado en problemas de matemáticas durante bastante tiempo. Pero entiendo que si hubiera sido profesor de matemáticas a tiempo completo, esta herramienta habría sido invaluable. Quienes os dedicáis a la investigación matemática para ganáros la vida, ¿cuánto consideráis útil la IA en vuestro trabajo? ¿Ya te ha ayudado a resolver uno de tus grandes problemas?