IA y Matemáticas: Finalmente tuve un poco de tiempo libre para comenzar mi primer intento de usar IA -- ChatGPT Pro -- para un viejo problema matemático que dejé de lado hace más de una década. Estoy bastante oxidado en los detalles, pero la IA no lo está. Ya estoy bastante impresionado por el progreso, señalé mi conjetura y ha comenzado a descomponerla, realizando experimentos numéricos, deduciendo conjeturas a partir de ellos, probando esas un poco más, y así sucesivamente. Aún no quiero revelar la pregunta exacta en la que estoy trabajando, ni lo que me ha ayudado a encontrar hasta ahora. Y yo mismo estoy un poco oxidado, ya que no he trabajado en problemas matemáticos durante bastante tiempo. Pero puedo ver cómo, si hubiera sido un profesor de matemáticas a tiempo completo, esta herramienta habría sido invaluable. Aquellos de ustedes que hacen investigación matemática para ganarse la vida, ¿cuánto encuentran útil la IA en su trabajo? ¿Ya les ha ayudado a resolver uno de sus Grandes Problemas?