Búsqueda · 28 momentos en 20 episodios
Luisa AchaerandioIsabel CorderoJuan Carlos GilIgnacio CrespoFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial y tesis doctoralmatemáticos usando ia para resolver problemaschatgpt pro resuelve tesis doctoralinvestigador usa chatgpt prodemostración de resultado con leandirector de tesis problema resueltoInteligencia ArtificialMatemáticoTesis DoctoralChatGPT ProLeanFrancis VillatoroIgnacio Crespo
Inteligencia Artificial y Tesis doctoral
Con
0:000:301:001:302:002:303:003:20
Francis Villatoro habla sobre cómo la inteligencia artificial está transformando el trabajo de los matemáticos y menciona una experiencia personal de un matemático que usó IA para resolver problemas planteados en su tesis doctoral.
…programa está bien hecho. Yo puedo ver el programa y ver los argumentos que llevan a que estas configuraciones son estrictamente las necesarias y como son muchas, ver en detalle cada una es imposible; no tiene una cierta confianza de que eso está bien hecho. Con la IA eso va a pasar dentro de muy poco. Ahora mismo muchos matemáticos están usando la IA para algún resultado que han hecho ellos o recientemente un matemático que ahora se dedica a inteligencia artificial decía: “mira, yo en mi tesis doctoral mi director me pidió que resolviera tal”. Problema y no fui capaz. Y yo tenía unos apuntes de durante cuatro años estuve trabajando, publiqué varios artículos sobre el tema pero no fui capaz de resolver el problema que me planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los he pasado al ChatGPT Pro y en un día me ha dado la demostración de mi resultado y me da una demostración que a mí me convence y la he pasado a Lean y en Lean es un código, no sé. Eran 150.000 líneas, una barbaridad, una cosa absoluta. Absolutamente inabarcable. Y el link dice que la demostración es correcta. Yo me tengo que creer que esa demostración es correcta, pero no la entiendo. ¿Alguien habrá que sea capaz de entenderlo? Y…
Significado #1 · Palabras #1
Ignacio Crespo reflexiona sobre la posibilidad de que inteligencias artificiales aceleren la investigación científica y compara esta situación con la recepción de conocimiento proveniente de otras fuentes.
Habla: Ignacio CrespoSignificado #14inteligencias artificiales aceleran investigación científicarecepción de conocimiento desde inteligencias artificialescomparación con fuentes de conocimiento externas…que a pesar de estar de acuerdo con ello y que estoy también de acuerdo con que soy divulgador, a mí producir ciencia no es lo que me está moviendo, me mueve conocerla, descubrir, de acuerdo, eso me encanta. Entonces me pregunto por qué me genera un poco de Valle inquietante también la idea de que una inteligencia artificial o un conjunto de ellas estén acelerando la investigación científica, porque no es porque quiera hacer ciencia. Y entonces me he puesto a compararlo con qué pasaría, cómo reaccionaría yo si ese conocimiento en lugar de venir de una inteligencia artificial viniera, como ya has dejado más. O menos ver, Héctor, de una raza alienígena con la que contactamos, como un experimento mental. Y mi emoción es distinta. No sé si le pasa a más gente del chat, pero mi forma de percibirlo sería diferente. Ahí no tengo ningún problema a priori y creo que…
Francis Villatoro habla sobre cómo la inteligencia artificial está transformando el trabajo de los matemáticos y menciona una experiencia personal de un matemático que usó IA para resolver problemas planteados en su tesis doctoral.
Habla: Francis VillatoroSignificado #1 · Palabras #1inteligencia artificial y tesis doctoralmatemáticos usando ia para resolver problemaschatgpt pro resuelve tesis doctoralinvestigador usa chatgpt prodemostración de resultado con leandirector de tesis problema resuelto…programa está bien hecho. Yo puedo ver el programa y ver los argumentos que llevan a que estas configuraciones son estrictamente las necesarias y como son muchas, ver en detalle cada una es imposible; no tiene una cierta confianza de que eso está bien hecho. Con la IA eso va a pasar dentro de muy poco. Ahora mismo muchos matemáticos están usando la IA para algún resultado que han hecho ellos o recientemente un matemático que ahora se dedica a inteligencia artificial decía: “mira, yo en mi tesis doctoral mi director me pidió que resolviera tal”. Problema y no fui capaz. Y yo tenía unos apuntes de durante cuatro años estuve trabajando, publiqué varios artículos sobre el tema pero no fui capaz de resolver el problema que me planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los he pasado al ChatGPT Pro y en un día me ha dado la demostración de mi resultado y me da una demostración que a mí me convence y la he pasado a Lean y en Lean es un código, no sé. Eran 150.000 líneas, una barbaridad, una cosa absoluta. Absolutamente inabarcable. Y el link dice que la demostración es correcta. Yo me tengo que creer que esa demostración es correcta, pero no la entiendo. ¿Alguien habrá que sea capaz de entenderlo? Y…