Búsqueda · 33 momentos en 15 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasgpt 54 resuelve problemas matemáticosdemostración con prompt únicopensamiento caótico de gpt 5480 minutos para la demostraciónFrancis VillatoroTerry TaoGPT 5.4Jared LitzmanMadrid
Demostración con prompt único
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro describe la naturaleza caótica e inútil del 'pensamiento' generado por GPT 5.4 al resolver problemas matemáticos, a pesar de que tarda 80 minutos en llegar a una demostración.
…moderando su opinión y ahora su opinión es que es un resultado que puede tener impacto. Es decir, la idea supuesta de la demostración, no sabemos cuál es; tú le puedes preguntar a HGPT que te muestre el razonamiento que hizo, lo que llaman thinking, el Pensamiento, pero esto es completamente generado o posteriori y en general no tiene nada que ver; o sea, es una cosa absolutamente caótica y sin sentido y tú puedes leerte todo el pensamiento detallado de cómo llegó, echó 80 minutos en llegar a la demostración; 80 minutos estuvo, y esto además es one prompt, es decir, yo escribo, le digo: quiero que me hagas una demostración, y este es el enunciado en látex, y ya está, y él te da el resultado. la parte decorativa del principio pues depende de cada uno de los que se dedican a este tipo de cosas, cada amateur tiene sus truquitos y uno le dicen una cosa, le dicen otra, pero tienen que ser cosas sobre que fuercen a que piense más, por ejemplo ahora con…
Significado #1 · Palabras #2
Francis Villatoro describe una demostración realizada por GPT 5.4 y cómo Jared Lixman y Terry Tao la han reescrito para mejorarla.
Habla: Francis VillatoroSignificado #11lema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una página…soberbios; aquí hay mucha soberbia, porque Lisman pues trabajó esta demostración con Terry Tao, en Medalla Fierce en el año 2006 aquí en Madrid, y Terry Tao es uno de los grandes genios de la matemática actual, y entre los dos reescribieron la demostración. De GPT 5.4, que es una demostración de cuatro páginas, que incluye cuatro lemas y el teorema principal. Tres de los lemas son lemas conocidos; son lemas ya demostrados y ampliamente conocidos en la literatura. La novedad está en el cuarto lema que presenta la idea clave y feliz y en la demostración final. Terry Tao y Jared Lixman han reescrito la demostración de Cha GPT, supuestamente manteniendo la línea argumental de dicha demostración pero en una sola página; y en una demostración han eliminado toda la paja que metió el Cha GPT. Este 5.4 y han obtenido una demostración realmente que sí puede merecer estar en el libro. Es decir, realmente Lisman cuando decía esta demostración merece estar en el libro, lo que decía es: bueno, la versión mía con Pau, todavía no la tenía, lo dijo antes de detenerla; es la que merece estar en el libro. Es decir, ahí hay bastante soberbia matemática. ¿Qué es lo que ha sorprendido de este resultado matemático en concreto? Pues lo que ha sorprendido, porque la mayoría de los problemas de Erdős son problemas que nadie les ha prestado atención, ¿vale? O sea, muchos de los problemas de Erdős han sido resueltos…
Francis Villatoro describe la naturaleza caótica e inútil del 'pensamiento' generado por GPT 5.4 al resolver problemas matemáticos, a pesar de que tarda 80 minutos en llegar a una demostración.
Habla: Francis VillatoroSignificado #1 · Palabras #2gpt 54 resuelve problemas matemáticosdemostración con prompt únicopensamiento caótico de gpt 5480 minutos para la demostración…moderando su opinión y ahora su opinión es que es un resultado que puede tener impacto. Es decir, la idea supuesta de la demostración, no sabemos cuál es; tú le puedes preguntar a HGPT que te muestre el razonamiento que hizo, lo que llaman thinking, el Pensamiento, pero esto es completamente generado o posteriori y en general no tiene nada que ver; o sea, es una cosa absolutamente caótica y sin sentido y tú puedes leerte todo el pensamiento detallado de cómo llegó, echó 80 minutos en llegar a la demostración; 80 minutos estuvo, y esto además es one prompt, es decir, yo escribo, le digo: quiero que me hagas una demostración, y este es el enunciado en látex, y ya está, y él te da el resultado. la parte decorativa del principio pues depende de cada uno de los que se dedican a este tipo de cosas, cada amateur tiene sus truquitos y uno le dicen una cosa, le dicen otra, pero tienen que ser cosas sobre que fuercen a que piense más, por ejemplo ahora con…
Francis Villatoro propone utilizar una entrevista artificial para explorar funciones analíticas clásicas en teoría de números, anticipando un posible fracaso y buscando resultados llamativos.
Habla: Francis VillatoroPalabras #17entrevista artificial teoría númerosfracaso resultados llamativos villatorodemostración libro matemático expertoeco mediático problema mundial…en teoría de números porque tienen ciertas propiedades, pues lo mismo tenemos que explotar esas funciones en muchos resultados y ver qué dan de fin, ¿no? Y eso es una cosa que ningún matemático va a querer hacer porque probablemente acabe en fracaso. Pero, ¿y por qué no mandamos a una entrevista artificial que lo haga? Entonces eso es una cosa que probablemente este año o el año próximo dará algunos resultados que pueden ser llamativos. Así que este problema que llamó mucho la atención solo porque un matemático concreto, experto, supuestamente el gran experto mundial en ese problema porque era el único al que le preocupaba el problema en todo el mundo, el único matemático en el mundo preocupado por ese problema dijo que era una demostración del libro, pues ha generado cierto eco mediático pero tampoco debemos de exagerar lo que se ha logrado. Lo que se está viendo ahora mismo es que la inteligencia artificial en un problema en el que pueda obtener una solución, digamos, trabajando poco, la obtiene. Pero ese trabajo que hace el matemático de recorrer muchos posibles caminos, de desarrollar…