Búsqueda · 24 momentos en 9 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socaslema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una páginaproblemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdősGPT 5.4Jared LitzmanTerry TaoMadridPaul ErdősGPTFrancis VillatoroJared Ducker LitzmanLiam PriceChatGPTGPT 5.2BarretoErdős
Demostración cha GPT en una página
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro describe una demostración realizada por GPT 5.4 y cómo Jared Lixman y Terry Tao la han reescrito para mejorarla.
…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 sin que el que los resolviera supiera que los estaba resolviendo es decir, tú haciendo tu trabajo matemático llegas a que te interesa tener un pequeño resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no…
Significado #1 · Palabras #1
Francis Villatoro comenta sobre la reacción de los matemáticos ante una demostración realizada por GPT, considerándola digna de inclusión en un libro especializado.
Habla: Francis VillatoroSignificado #13 · Palabras #10demostración de gpt para matemáticoslibro especializado de matemáticasinteligencia artificial y demostraciones…bueno, en inglés ha tenido más ediciones y es un libro bastante curioso. Pues bien, un matemático, Jared Ducker Litzman, que hizo su tesis doctoral en este problema en concreto, en el 1196 de Erdős, afirmó en redes sociales cuando vio la demostración de GPT. 5.4 Pro que era una demostración que merecía estar en el libro. Y eso que tú dices, qué tontería, ¿no? Qué tontería. No, qué tontería. No, esto viralizó esta demostración. Todos los matemáticos en el mundo dijeron: ¿Cómo? La primera vez en la historia que una inteligencia artificial logra una demostración que merece estar en el libro. Obviamente esto es cosa de matemáticos 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…
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 #1 · Palabras #1lema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una páginaproblemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdős…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 sin que el que los resolviera supiera que los estaba resolviendo es decir, tú haciendo tu trabajo matemático llegas a que te interesa tener un pequeño resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no…
Francis Villatoro describe cómo Liam Price, con la ayuda de su amigo Barreto, ha resuelto varios problemas de Erdős utilizando ChatGPT, incluyendo los números 1131 y 836 gracias a una suscripción pagada por un donante anónimo.
Habla: Francis VillatoroPalabras #12chatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt price…que está aprendiendo mucha matemática, está en el segundo curso, pero está aprendiendo mucha matemática gracias a recibir estas demostraciones de ChagPT han resuelto siete problemas de Erdős. El 333 con ChatGPT 5.2, el 728, el 729 y el 401 con GPT 5.2. Alguien anónimo le pagó a Price la suscripción del ChatGPT Pro. Son como 200 euros o algo así al mes. Alguien anónimo le está pagando ChatGPT Pro para que se esfuerce más, y gracias a eso demostró el 205 y el 851 con el GPT 5.2 Pro. Después ha demostrado ahora el 1196 con el GPT 5 .4 y ahora que acaba de salir el 5.5 ya ha demostrado dos nuevos resultados, el 1131 y el 836. O sea, quiero decirte que es un equipo que está. Siendo productivo. Hay otra gente que también es muy productiva en este tipo de cosas, ¿no? Entonces, ¿qué nos dice este resultado matemático? Bueno, este resultado matemático es un resultado matemático que, claro, pues lo publicó Erdős en vida. Entonces,…
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 #11gpt 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…