Búsqueda · 25 momentos en 8 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óntrucos de amateur con gptgpt 5 5 piensa rápidoforzar a pensar gpt 5 5inteligencia superior en gpt 5 5gpt 5 5 proceso de pensamientofunciones analíticas clásicas teoría númerosfracaso matemático gpt 5 5Teoría de númerosGPT 5.5Francis VillatoroChatGPT 5.4BarretoChatGPT 5.2ErdősLiam PriceTerry TaoGPT 5.4Jared LitzmanMadridGPTPaul ErdősJared Ducker Litzmanfunción de MertensLismanChatGPTGPT 5.2Jared Lixmansiglo XIX
Fracaso Matemático GPT 5 5
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro comenta sobre los esfuerzos para optimizar el proceso de pensamiento de GPT 5.5 y sugiere la exploración de funciones analíticas clásicas en teoría de números, aunque anticipa un posible fracaso.
…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 el GPT 5.5 el problema es que había gente que había aprendido cómo lograr que 5.4 pensara durante varias horas y ahora con esa pregunta, con la entrada que le meten a 5.5 pues piensa 10 minutos es muy poco tiempo, tiene que pensar más tiempo, es que es mucho más inteligente, es mucho más poderoso, es mucho más lo que sea, todo entre comillas, no, vale, o sea, Pero bueno, ahora se están remodelando cómo tienen que hacerle el PROM para que piense lo máximo posible, ¿vale? Y se pelean entre ellos por encontrar, o sea, esto es como gente aficionada a tener este tipo de resultados, ¿no? Pero yo digo: el impacto es que esta idea de que las funciones analíticas clásicas que han sido estudiadas 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…
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 #8 · Palabras #6demostració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 VillatoroPalabras #5lema 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 explica cómo la inteligencia artificial GPT 5.4 utiliza funciones en un artículo de 2024 para presentar una idea clave relacionada con la teoría de números analíticas.
Habla: Francis VillatoroPalabras #13funciones evaluadas en números realespropiedades interesantes de números enterosfrancis villatoro explica gpt 5 4…cómo él ha enfocado este problema. Ha publicado varios artículos de ataques parciales de este problema. Y resulta que hay un artículo de 2024 en el que Lisman es uno de los coautores, y tiene otros dos coautores, que presenta la idea clave que ha utilizado. La inteligencia artificial GPT 5.4, pero esa idea la presenta utilizando un pequeño detalle: se utilizan unas funciones. Esto se llama teoría de números analíticas; yo tomo una serie de funciones que evaluadas con números enteros me representan ciertas propiedades interesantes sobre los números enteros, pero que yo las evalúo sobre números reales y eso me permite derivarlas, integrarlas, jugar con ellas. Yo juego con estas funciones analíticas y después obtengo un resultado; y ahora evalúo ese resultado final solo con números enteros; y a veces ese resultado final me aporta información sobre los números enteros originales. Entonces yo he hecho, he vuelto…
Francis Villatoro explica cómo GPT utiliza funciones matemáticas para transformar problemas discretos en continuos, mencionando específicamente el artículo de 2024 del matemático Lisman y la función de Mertens.
Habla: Francis VillatoroSignificado #10 · Palabras #11función de mertens utilizada por gptartículo lisman sobre funciones matemáticasgpt transforma problemas discretos continuos…con números enteros; y a veces ese resultado final me aporta información sobre los números enteros originales. Entonces yo he hecho, he vuelto continuo un problema que estrictamente es discreto. Entonces, a la hora de volver continuo un problema discreto, yo tengo que decir, hay ciertas funciones muy famosas, una de estas funciones es la función de Mertens, que es la que utiliza en este artículo 2024 este matemático, Lisman. Bien, pues lo que ha hecho el GPT es de una manera, no se sabe, la verdad es que no se sabe porque estas intereses artificiales ahora mismo no nos dicen qué árbol de decisiones han tomado a la hora de decidir cuál es la respuesta que nos ofrecen, ha tomado en lugar de la función de Mertens, que es Una función de mediados del siglo XIX, una función parecida pero diferente, que tiene diferentes propiedades, que es la función de von Mazgol; que es una función de finales del siglo XIX. Y tú dices: eso es una idea absolutamente feliz, absolutamente…
Francis Villatoro se pregunta por qué ningún matemático había considerado probar todas las funciones conocidas para resolver un problema, antes de que una inteligencia artificial lo hiciera.
Habla: Francis VillatoroSignificado #20inteligencia artificial resuelve problema matemáticofunción siglo xix en demostración iarepertorio de funciones conocidasfrancis villatoro cuestiona matemáticos…claramente pide sustituir la función de Mertens por todas las funciones conocidas que se han usado en teoría de números analíticas en el último siglo y empezar por las primeras de finales del siglo XIX hasta principios del siglo XX e ir probándolas todas. ¿Por qué a ningún matemático se le ha ocurrido, entre comillas, la chorrada de probarlas todas? Pues no se le ha ocurrido a ninguno. Pues no se le ha ocurrido a ninguno. Y entonces la inteligencia artificial ha tomado una demostración que tenía, que no llega al resultado correcto, que usa una función de finales del siglo XIX y ha cogido una de las siguientes funciones que hay en el repertorio de funciones conocidas. Y ha cogido la siguiente función y le ha salido. Y le ha salido. Yo digo una demostración absolutamente fascinante, porque hasta ahora ningún matemático se le había ocurrido, entre comillas, esa chorrada, esa cosa tan sencilla de hacer, ese pequeño cambio. Entonces ahora se ha propuesto, claro, esto fijaros que es un…
Francis Villatoro reflexiona sobre el potencial impacto de una nueva demostración matemática generada por inteligencia artificial, destacando cómo esta solución, que tardó aproximadamente 80 minutos en ser desarrollada por ChatGPT 5.4, representa un avance significativo al superar las limitaciones humanas en la exploración sistemática de funciones.
Habla: Francis VillatoroSignificado #3 · Palabras #12chatgpt 5 4 explora funcionesdemostración matemática con chatgptlimitaciones humanas en teoría de númerosinteligencia artificial y demostraciones conocidas…chorrada, esa cosa tan sencilla de hacer, ese pequeño cambio. Entonces ahora se ha propuesto, claro, esto fijaros que es un resultado; es el resultado de una inteligencia artificial más importante hasta ahora, porque es un resultado que puede tener impacto. ¿Puede tener impacto qué significa? Significa que ahora mismo hay muchos resultados matemáticos en teoría de números en los que se han utilizado estas herramientas analíticas en los que todo el mundo ha explorado poner todas las funciones posibles. Pues no. ¿Por qué no ponemos a las inteligencias artificiales a hacerlo? les damos demostraciones ya conocidas y decimos, a ver qué pasa si me pones todas las funciones conocidas, porque eso a un matemático le parece aburrido, le parece torpe, solamente en ciertas circunstancias lo hace, pero con dos o tres, pero no de manera sistemática, y eso puede ser prometedor, es decir, esta nueva demostración nos abre, por un lado, nos da una demostración relativamente bella, interesante, porque ha pasado de largo, los humanos no hemos tenido la capacidad, entre comillas, creativa, o entre comillas de hacer eso, que no es una demostración muy complicada, fueron como unos 80 minutos de chat GPT 5.4. Hay toda una prensa rosa alrededor de este resultado que es la que ha salido en todas las revistas, en la Scientific American, en muchísimos medios; yo que sé, Gastón, por ejemplo, en Twitter, por tuiteó el artículo de Scientific American y el artículo más o…
Francis Villatoro describe cómo Barreto, un estudiante de matemáticas que está aprendiendo mucho gracias a las demostraciones generadas por ChatGPT, ha ayudado al aficionado Liam Price a resolver problemas matemáticos.
Habla: Francis VillatoroSignificado #15 · Palabras #3barreto 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,…
Francis Villatoro explica cómo GPT 5.4 ha demostrado que el término pequeño en la suma de Erdős está relacionado con el logaritmo de X, lo que a su vez demuestra el problema 1196 de Erdős.
Habla: Francis VillatoroPalabras #20conjunto primitivo números 6 10 15divisibilidad entre 2 6 y 15…mayores que 1200. Bien, pues resulta que hay un comportamiento asintótico cuando esa cota, esa cota inferior tiende a infinito. el comportamiento asintótico de esta suma de Erdős ellos conjetularon que era la unidad. La unidad más un término que era pequeño. Bueno, pues lo que ha demostrado GPT 5.4 es que ese término pequeño es del orden de 1 partido el logaritmo de X; y eso garantiza que se demuestra el problema 1196 de Erdős. Entonces, un conjunto primitivo puede ser, por ejemplo, los números 6, 10 y 15, porque 6 no divide ni a 10 ni a 15, 10 no divide a 15 y obviamente 15 no va a dividir a los otros; y sin embargo un conjunto que no es primitivo, por ejemplo 2, 6, 15, porque 2 divide a 6, aunque no divide a 15, ni 6 divide a 15, con que uno de ellos se divida es un poco la diferencia. Esto es una propiedad, esto es una, entre comillas, curiosidad matemática; pero que tiene, ya os digo, el impacto que ha pillado por sorpresa a los pocos expertos que se dedican a este problema y que ha tenido el impacto de que Terry Tao, que ha ido cambiando…
Francis Villatoro comenta sobre los esfuerzos para optimizar el proceso de pensamiento de GPT 5.5 y sugiere la exploración de funciones analíticas clásicas en teoría de números, aunque anticipa un posible fracaso.
Habla: Francis VillatoroSignificado #1 · Palabras #1gpt 54 resuelve problemas matemáticosdemostración con prompt únicopensamiento caótico de gpt 5480 minutos para la demostracióntrucos de amateur con gptgpt 5 5 piensa rápidoforzar a pensar gpt 5 5inteligencia superior en gpt 5 5gpt 5 5 proceso de pensamientofunciones analíticas clásicas teoría númerosfracaso matemático gpt 5 5…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 el GPT 5.5 el problema es que había gente que había aprendido cómo lograr que 5.4 pensara durante varias horas y ahora con esa pregunta, con la entrada que le meten a 5.5 pues piensa 10 minutos es muy poco tiempo, tiene que pensar más tiempo, es que es mucho más inteligente, es mucho más poderoso, es mucho más lo que sea, todo entre comillas, no, vale, o sea, Pero bueno, ahora se están remodelando cómo tienen que hacerle el PROM para que piense lo máximo posible, ¿vale? Y se pelean entre ellos por encontrar, o sea, esto es como gente aficionada a tener este tipo de resultados, ¿no? Pero yo digo: el impacto es que esta idea de que las funciones analíticas clásicas que han sido estudiadas 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…