Búsqueda · 18 momentos en 6 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasbarreto resuelve problemas erdőschatgpt 5 2 resuelve problema 333estudiante barreto aprende matemáticaproblema 728 resuelto con chatgptchatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt priceLiam PriceChatGPTGPT 5.2GPT 5.4BarretoErdősChat GPT ProIsabelproblema 1196Francis VillatoroHéctor SocasLaTeXInteligencias ArtificialesChatGPT 5.2Paul ErdősGPTTerry TaoJared Lixman
ChatGPT Pro para problemas Erdős
Con
0:000:301:001:302:002:303:003:37
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.
…es prácticamente imposible que alguien se vaya a dedicar toda su financiación a experimentar y a verificar tu teoría, entonces lo que esta gente ha hecho, digamos el dúo, el dúo, el equipo Price Barreto, Price, el amateur, el aficionado que no tiene ni idea. de matemáticas Barreto, el estudiante de matemáticas 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,…
Significado #1 · Palabras #1
Francis Villatoro y Héctor Socas discuten sobre un problema matemático resuelto por Chat GPT Pro, el número 1196, que Isabel les comentó como un hecho notable debido a la atención mediática que ha generado en las redes sociales.
Habla: Francis VillatoroSignificado #4 · Palabras #19problema matemático chat gpt pronúmero 1196 según isabelatención mediática en redes sociales…llegar tarde. Venga, hasta luego. Chao, gracias. Un abrazo. Chao. Francis, habíamos hablado hace no mucho de la resolución por inteligencia artificial de un problema de matemáticas que creo recordar que era además uno de estos problemas de Erdush, Erdush. Y ahora está en las noticias otro hecho con el Chat GPT Pro. El problema número 1196. Sí, bueno, no, otro; estos que están aquí saliendo problemas cada semana, varios, ¿no? Pero bueno, esto es un asunto que nos comentó Isabel. Isabel nos comentó que quería comentarlo, que le había parecido algo muy espectacular, porque está rodeado de un tema mediático en redes sociales realmente curioso. Yo no supongo que la mayoría de los oyentes saben que Paul Erdős, es un matemático muy famoso, hablaba de el libro El libro, The Book, era un compendio de las mejores demostraciones de todos los teoremas matemáticos Para Erdős, Dios era el dios de Spinoza,…
Francis Villatoro explica el motivo por el cual se recopilaron los problemas de Erdős con formato LaTeX para facilitar su introducción en inteligencias artificiales.
Habla: Francis VillatoroSignificado #7problemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdősproblemas erdős con formato latexintroducción problemas erdős en iademostraciones de problemas por iasjared lixman defendió tesis doctoral 2017problema erdős director de tesis…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 es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la demostración? ¿Qué ha pasado con este matemático Lixman? Lixman hace unos... bueno, defendió la tesis doctoral en 2017. Esto fue sobre 2014. Le propuso a su director de tesis que quería trabajar en un problema de Erdős. En este problema de Erdős, y su director de tesis le dijo: no te metas en un problema de Erdős; no lo vas a sacar y vas a perder el tiempo; no vas a ganar nada. Métete en un problema de verdad, de lo que yo te puedo dar. Bueno, en su tesis doctoral hizo un avance parcial en este problema. Este problema es una identidad asintótica, ahora lo comentaré quizá en un poquito más detalle, pero básicamente es que un cierto límite de una cierta propiedad que tienen ciertos conjuntos…
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 VillatoroSignificado #1 · Palabras #1barreto resuelve problemas erdőschatgpt 5 2 resuelve problema 333estudiante barreto aprende matemáticaproblema 728 resuelto con chatgptchatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt price…es prácticamente imposible que alguien se vaya a dedicar toda su financiación a experimentar y a verificar tu teoría, entonces lo que esta gente ha hecho, digamos el dúo, el dúo, el equipo Price Barreto, Price, el amateur, el aficionado que no tiene ni idea. de matemáticas Barreto, el estudiante de matemáticas 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,…