Ayer crucé un umbral interesante, que creo que muchos otros matemáticos también han estado cruzando recientemente. En medio de tratar de probar un resultado, identifiqué una declaración que parecía cierta y que, de ser cierta, me sería útil. 1/3

En lugar de intentar probarlo, le pregunté a GPT5 al respecto, y en unos 20 segundos recibí una prueba. La prueba se basó en un lema del que no había oído hablar (la declaración estaba un poco fuera de mis áreas principales), así que aunque estoy seguro de que habría llegado allí al final, 2/3

El tiempo que me habría llevado probablemente habría sido del orden de magnitud una hora (una estimación que viene con barras de error bastante anchas). Así que parece que hemos entrado en la era breve pero agradable en la que nuestra investigación se acelera enormemente gracias a la IA, pero la IA todavía nos necesita. 3/3

PD: En caso de que alguien esté preocupado de que use un lema del que no había oído hablar, verifiqué que el lema no era una alucinación.