Búsqueda · 30 momentos en 15 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasfunción de mertens utilizada por gptartículo lisman sobre funciones matemáticasgpt transforma problemas discretos continuosfunción de von mazgol siglo xixsimilitud función mertens lismanidea feliz von mazgolfunción de von mazgol lismanmatemáticos consultados por lismanidea obvia tras descubrimientoartículo lisman de 2024teoría de números analíticas siglo xixLismanJared LixmanFrancis Villatorofunción de von MazgolTerry TaoMadridMedalla FierceGPTfunción de MertensJames MaynardMedalla FieldsJared LitzmanJared Lismansiglo XIXTesis DoctoralIdentidad AsintóticaPaul ErdősGPT 5.4Conan DoyleSherlock HolmesJoseph BellInstituto GeográficoBorja Tosar
Matemáticos consultados por Lisman
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro explica que ni Jared Lisman, ni sus colegas, ni otros matemáticos con los que ha consultado durante una década han tenido la idea de utilizar la función de von Mazgol.
…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 maravillosa. ¿Por qué? Porque a Lisman no se le ha ocurrido. Es decir, a un matemático y sus dos colegas no se le ha ocurrido esta idea; a todos los matemáticos con los que Lisman ha hablado en los últimos diez años no se les ha ocurrido esta idea, pero una vez que tú sabes que eso funciona, dices: pues claro, si es que es obvio; si es que en la línea argumental, era un artículo. De 26 páginas, el de 2024 de Lisman, la línea argumental de ese artículo 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…
Significado #1 · Palabras #1
Borja Tosar explica cómo los espectadores pueden estimar la duración de un eclipse solar total utilizando un cronómetro y consultando información disponible en el sitio web del Instituto Geográfico.
Habla: Borja TosarPalabras #20duración eclipse total cronómetroreaparición sol según instituto geográficoeclipse solar duración minuto y medio…solar y no ver otros fenómenos en el sol, pues pones, si es un minuto 15 en tu ubicación, pones un minuto 10 segundos, pones el cronómetro y de hecho, yo en los eclipses totales que he visto, una de las cosas que hay es que normalmente la gente va a Tú cuando estás en medio del eclipse total, pues alguien dice: van 45 segundos, va un minuto y medio. Este va a ser de un minuto y medio, pero cuando es más largo van dos minutos para que todo el mundo vaya sabiendo cuándo va a reaparecer el sol y con un cronómetro y simplemente esto, y sabiendo exactamente cuál es la duración en tu ciudad, que lo puedes consultar en la web del Instituto Geográfico. Nacional, que es muy sencillo. Hay muchas aplicaciones que te lo dan también, pues con eso pones el cronómetro y no tienes ningún riesgo de ver la fotosfera. Luego, cuando reaparece. Y bueno, si estás mirando, y además es peligroso, el punto de Ignacio es…
Ignacio Crespo continúa su reflexión sobre cómo los profesionales médicos deducen información sobre sus pacientes basándose en observaciones y signos observables.
Habla: Ignacio CrespoPalabras #17deducción profesional de pacientescuestión de confidencialidad en consultas médicasignacio crespo y la ética médica…la que caminaban. Y había gente realmente excepcional. Había profesionales médicos que eran máquinas deductivas impresionantes. Y un ejemplo es Joseph Bell: no sé si os suena Joseph Bell, pero fue en quien se inspiró Conan Doyle para hacer a Sherlock Holmes. Era una persona que cuando entraba el paciente por la consulta sabía o intuía con cierta seguridad cuál era su profesión. Se volvían unas máquinas increíbles de sacar estas conclusiones y no es activamente. Entonces, la pregunta que yo me hacía ya desde la carrera es: si yo, por ejemplo, sé—voy a poner casos concretos—determinado dato sobre una persona sin que me lo haya dado, ¿tengo derecho a contarlo? Porque si me lo hubiera dicho en la consulta, tengo claro que no. Porque ahí ya entramos en una cuestión de confidencialidad, que Es en torno a lo que quiero estructurar un poco el argumento. Y casos que quiero poner como ejemplo, porque no sean tampoco muy controvertidos; siempre o casi siempre es una cuestión probabilística. No sabes con seguridad que la persona le pasa esto por ver…
Francis Villatoro explica que matemáticos soberbios consideran notable una demostración realizada por una inteligencia artificial, haciendo referencia al trabajo previo de Jared Ducker Litzman con Terry Tao.
Habla: Francis VillatoroSignificado #2 · Palabras #4demostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lismanlema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una página…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 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 Jared Lixman, tras obtener un avance importante en su tesis doctoral, contactó con varios matemáticos durante diez años para abordar un problema específico.
Habla: Francis VillatoroSignificado #5 · Palabras #3tesis doctoral de jared lixmanidentidad asintótica problema matemáticoconjuntos de números propiedad específicacantidad x cae como logaritmoavances tesis doctoral jared lixmanpostdoc james maynard en teoría númerosmedalla fields james maynard 2022artículos ataques parciales problema lismancoautores artículo clave 2024 lisman…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 de números, pues es la unidad uno más una cosa pequeña que decae asintóticamente. es decir, que para cuando tú ese conjunto de números cumplen una cierta propiedad, son más grandes de una cierta cantidad X, pues esa cantidad cae como 1 partido del logaritmo. Bueno, pues lo que hizo en su tesis doctoral Lisman es utilizar una serie de técnicas matemáticas que le permitió conseguir que en lugar de menor o igual que 1, fuera menor o igual que 1.4. Y eso supuso un avance importante: publicó tres artículos sobre el tema para obtener ese resultado, pero claro, no había obtenido la demostración. Pero desde 2017 ha estado; es un matemático bueno y ha sido incluso postdoc de James Maynard. James Maynard fue a Medalla Fields en 2022; es uno de los grandes expertos en teoría de números; es decir, es una persona conocida, Lisman, y durante estos 10 años, desde 2017, ha estado contactando con muchos grandes matemáticos y hablándoles de este problema y hablándoles de 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…
Francis Villatoro explica que ni Jared Lisman, ni sus colegas, ni otros matemáticos con los que ha consultado durante una década han tenido la idea de utilizar la función de von Mazgol.
Habla: Francis VillatoroSignificado #1 · Palabras #1función de mertens utilizada por gptartículo lisman sobre funciones matemáticasgpt transforma problemas discretos continuosfunción de von mazgol siglo xixsimilitud función mertens lismanidea feliz von mazgolfunción de von mazgol lismanmatemáticos consultados por lismanidea obvia tras descubrimientoartículo lisman de 2024teoría de números analíticas siglo xix…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 maravillosa. ¿Por qué? Porque a Lisman no se le ha ocurrido. Es decir, a un matemático y sus dos colegas no se le ha ocurrido esta idea; a todos los matemáticos con los que Lisman ha hablado en los últimos diez años no se les ha ocurrido esta idea, pero una vez que tú sabes que eso funciona, dices: pues claro, si es que es obvio; si es que en la línea argumental, era un artículo. De 26 páginas, el de 2024 de Lisman, la línea argumental de ese artículo 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…
Francis Villatoro explica cómo la inteligencia artificial puede generar soluciones rápidas en problemas matemáticos, pero también destaca el valor del trabajo exploratorio de los matemáticos, incluso cuando esos caminos resultan infructuosos.
Habla: Francis VillatoroSignificado #7inteligencia artificial soluciones matemáticastrabajo exploratorio matemáticos caminos infructuososresultados parciales matemáticos revistas del montóndemostraciones no es el resultado…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 matemáticas que después la tiene que abandonar, la tiene que tirar a la basura porque no le sirven para nada, porque ha llegado un camino que no es el bueno, todo eso se puede publicar, se hacen resultados parciales y se publica. Esteado vela y no publica nada, pero son resultados irrelevantes, que acaban siendo publicados en revistas del montón y no acaban teniendo ningún tipo de impacto, pero es un trabajo de fondo que hay que hacer y que hace que el matemático aprenda, porque las demostraciones no es el resultado, es que a nadie ¿Le importa una demostración? La verdad, o sea, que se logre una demostración de algo es irrelevante, salvo grandes resultados muy famosos que hacen que te den premios y que te den medallitas y que te pidan que des muchas charlas, pero por lo demás es…
Francis Villatoro explica que los grandes matemáticos prefieren que un autor imparta una charla extensa sobre su trabajo antes de leer el artículo científico.
Habla: Francis VillatoroSignificado #14charla extensa de matemáticoscaminos fallidos en paperspaper y preguntas a villatoro…y que te den medallitas y que te pidan que des muchas charlas, pero por lo demás es irrelevante. Lo relevante es lo que tú aprendes en el camino que recorres para obtener la demostración. Por eso cuando alguien obtiene una demostración mucha gente, los Grandes matemáticos, no quieren leerse el paper. Quieren que ese matemático vaya a su universidad y dé una charla durante 24 horas repartidas en 15 días explicando su camino. Para poderle hacer preguntas de tipo: ¿y por qué aquí no hiciste esto otro? Es que lo hice, pero falla. Eso no está escrito en el paper. Nadie escribe en el paper los caminos fallidos, solo da el camino correcto. entonces en ese sentido es lo interesante de este resultado, creo yo. Lo importante es la idea metodológica de que explotar muchos resultados clásicos de la teoría de números analíticas no ha sido explotado, no ha sido explotado porque es una cosa súper…