Búsqueda · 29 momentos en 19 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetrevistas científicas evitan resultados negativosbúsqueda de contraejemplos sin éxitoerdős y publicación de resultadospublicación de resultados negativos erdősinvestigadores ayudan con resultados negativosmatemáticas diferente erdősbúsqueda de planetas sin resultadospublicación de resultados negativos matemáticassupersimetría bajo tal energíabúsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticosresultados negativos en matemáticascontraejemplos sin resultadodescartar hipótesis hector socasHéctor SocasFrancis VillatoroErdősRedes socialesMatemáticosPlanetaTimothy GowersOpenAILeonard EulerFermatErdichRusiaAlemaniaMatemáticasGastón GiribetGPT 5.5 ProChatGPT 5.5 Proproblema 60
Publicación de resultados negativos Matemáticas
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20265 momentos
Con
0:000:301:001:302:002:302:57
Héctor Socas y Francis Villatoro discuten cómo Erdős publicaba sus trabajos, incluso aquellos con resultados negativos, para ayudar a otros investigadores.
…de cuánto importaba ese sesgo en la falta de imaginación para encontrar contraejemplos. Pero en este caso, claramente, la compu. Así que sé yo; aquí en Erzerdich, no me vengas con eso, humano; y tus ídolos. Es la máquina iconoclasta, más que la capaz. En ciencia, en general, la mayor parte de las revistas no publican resultados negativos. Entonces, cuando tú tratas de construir un contraejemplo y no lo logras, no lo puedes publicar. Si tú tratas de buscar un contraejemplo y lo logras, pues publicas el contraejemplo. Pero si no lo logras, ¿qué publicas? Entonces, gente como Erdős tenía, le publicaban casi lo que hiciera; tenía esa costumbre de vez en cuando en un Artículo que va de una cosa metía sus cositas de otras cuestiones que le venían a la cabeza porque era otra manera de hacer matemáticas, muy diferente, ¿no? De todas formas, por aclarar a nuestros oyentes, sí deberían, o sea, en determinadas circunstancias si son publicables resultados negativos y es positivo que se publiquen porque ayuda a guiar a los que vengan detrás, ¿no? No sé, si estás buscando un planeta haces una búsqueda y no lo encuentras, pues está bien que lo publiques si esa búsqueda tiene algo de novedoso, claro. Si estás repitiendo cosas de hecho no hay supersimetría bajo tal energía también claro, exacto, exacto pero yo digo que cuesta mucho más trabajo, que es mucho más difícil, mucho menos atractivo entonces. Ahora parece que han salido, por redes sociales; ha habido 4 o 5 matemáticos han empezado a decir: nosotros sí estábamos buscando contraejemplos, lo intentamos pero claro, como no salió, pues no lo publicamos, ¿no? Como diciendo realmente búsquedas activas de contraejemplos publicadas no ha habido. Claro, pero es diferente porque tienes que, o sea, para que sea útil tu trabajo y publicable tiene que, o sea, para que sea útil para los demás, tiene que descartar algún cierto rango. Tienes que decir: hemos hecho esta búsqueda por este lado y ya por aquí no busquen porque aquí no está. Pero claro, si yo digo: me puse a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí es donde está la clave, que puedas descartar Lo que hacía Erdős era sacar un resultado positivo y decorar el resultado positivo con algunos comentarios de cosas que tenía en mente de otros temas que ese resultado positivo lo había obtenido pensando en contraejemplos y ese tipo de cosas,…
Significado #3 · Palabras #1
Francis Villatoro explica cómo el resultado generado por inteligencia artificial está siendo adoptado por matemáticos y utilizado en investigaciones ajenas a la conjetura original.
Habla: Francis VillatoroSignificado #9matemáticos usan resultado inteligencia artificialconjetura distancia aplicación idea iapremios erdos impacto metálico…invitados por OpenAI a ir allí y ver la demostración y estar con los otros matemáticos, él no es un experto en este tipo de temas y lo reconoce, pero bueno, se ha quedado alucinado de que los expertos se queden alucinados, porque la gente dice, pero ¿cómo? Es que eso se puede hacer. ¿Y qué está pasando con este resultado? Pues lo maravilloso de este resultado es que ahora todos los matemáticos que trabajan en eso dicen si es que esto se nos podía haber ocurrido a nosotros, lo están empezando a usar; están empezando a aparecer artículos que no tienen nada que ver con la conjetura de la distancia que están aplicando esta misma idea y es una buena idea de la inteligencia artificial, con lo que este es el primer resultado demostrado por la inteligencia artificial que está teniendo un impacto más allá de la chorrada de ganar 300 dólares por haber demostrado, porque este es uno de los premios de los premios de Erdos que tiene premio metálico. Entonces, se ha creado ahí un gran bombo mediático. Hay que poner un poco los pies, es decir, lo que ha hecho realmente la inteligencia artificial no es tan revolucionario, no es tan creativo. Pero si es verdad, algunos lo dicen, si lo hubiera hecho un…
Francis Villatoro describe el impacto mediático generado por un resultado de inteligencia artificial en matemáticas y cómo usuarios de ChatGPT Pro 5.5 han podido replicar la demostración.
Habla: Francis VillatoroPalabras #18demostración de ia openaichatgpt pro 5 5 replicaciónimpacto mediático inteligencia artificial…que a nadie se le había ocurrido esta tontería. O esta tontería o esta cosa tan difícil, ¿vale? Porque hay que ser experto en ambas cosas, ¿vale? Hay que ser experto en dos ramas de la matemática y hay muy pocas personas que sean expertos en ambas, ¿eh? Entonces, bueno, eso ha generado, yo os digo, un eco mediático tremendo y hay gente ya hablando de que esto va a revolucionar la matemática y no sé cuánto, no sé qué. Una vez que se publicó el resultado de esta IA interna de OpenAI, la gente que utiliza GPT 5.5 Pro, ChatGPT 5.5 Pro, le dijo: refuta el problema 60 y ChatGPT Pro 5.5, el que todo el mundo que paga los 100 euros o los 200 euros puede usar, obtuvo la misma demostración. Hay gente que tiene su ordenador con todos los aspectos. Para que no se conecte nunca a internet, ¿vale? Para evitar que se vicie por ese tipo de pruebas y repetir cosas. Entonces algunas de esas personas lo han logrado. Lo han logrado. O sea, incluso mejoras en las cotas porque ya han definido incluso las…
Gastón Giribet reflexiona sobre la importancia de considerar diversos factores al evaluar los resultados en el campo de las matemáticas, haciendo referencia a sesgos similares que se encontraban en las asignaturas de matemáticas durante su carrera.
Habla: Héctor SocasSignificado #16sesgos en matemáticas carrera gastón giribetproposiciones demostración contraejemplos matemáticasevaluar resultados sesgo asignaturas matemáticas…aunque se le ve rimamente equivocado, no es resolver el problema original; eso también es importante aclararlo, porque si no uno confunde resolver un problema con resolver otro, que es mostrar que alguien está equivocando cuando quiso resolver el problema. Entonces todo esto es verdad, todas estas cosas hay que tenerlas en cuenta cuando uno quiere ponderar verdaderamente la importancia de este resultado. Lo del sesgo con el que afrontamos estos problemas me recuerda a ese mismo sesgo que teníamos en la carrera, en las asignaturas de matemáticas, típicamente la pregunta de examen era, te daban una proposición y te decían, ¿demostrar o buscar un contraejemplo? Y siempre cuando uno no sabía, pues siempre, cuando no tenías ni idea, lo que uno intentaba era buscar contraejemplos, porque si no tengo ni idea de cómo demostrar una cosa, el otro por lo menos es probar y digo: bueno, a ver si encuentro alguna situación en…
Héctor Socas y Francis Villatoro discuten cómo Erdős publicaba sus trabajos, incluso aquellos con resultados negativos, para ayudar a otros investigadores.
Habla: Héctor SocasSignificado #3 · Palabras #1revistas científicas evitan resultados negativosbúsqueda de contraejemplos sin éxitoerdős y publicación de resultadospublicación de resultados negativos erdősinvestigadores ayudan con resultados negativosmatemáticas diferente erdősbúsqueda de planetas sin resultadospublicación de resultados negativos matemáticassupersimetría bajo tal energíabúsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticosresultados negativos en matemáticascontraejemplos sin resultadodescartar hipótesis hector socas…de cuánto importaba ese sesgo en la falta de imaginación para encontrar contraejemplos. Pero en este caso, claramente, la compu. Así que sé yo; aquí en Erzerdich, no me vengas con eso, humano; y tus ídolos. Es la máquina iconoclasta, más que la capaz. En ciencia, en general, la mayor parte de las revistas no publican resultados negativos. Entonces, cuando tú tratas de construir un contraejemplo y no lo logras, no lo puedes publicar. Si tú tratas de buscar un contraejemplo y lo logras, pues publicas el contraejemplo. Pero si no lo logras, ¿qué publicas? Entonces, gente como Erdős tenía, le publicaban casi lo que hiciera; tenía esa costumbre de vez en cuando en un Artículo que va de una cosa metía sus cositas de otras cuestiones que le venían a la cabeza porque era otra manera de hacer matemáticas, muy diferente, ¿no? De todas formas, por aclarar a nuestros oyentes, sí deberían, o sea, en determinadas circunstancias si son publicables resultados negativos y es positivo que se publiquen porque ayuda a guiar a los que vengan detrás, ¿no? No sé, si estás buscando un planeta haces una búsqueda y no lo encuentras, pues está bien que lo publiques si esa búsqueda tiene algo de novedoso, claro. Si estás repitiendo cosas de hecho no hay supersimetría bajo tal energía también claro, exacto, exacto pero yo digo que cuesta mucho más trabajo, que es mucho más difícil, mucho menos atractivo entonces. Ahora parece que han salido, por redes sociales; ha habido 4 o 5 matemáticos han empezado a decir: nosotros sí estábamos buscando contraejemplos, lo intentamos pero claro, como no salió, pues no lo publicamos, ¿no? Como diciendo realmente búsquedas activas de contraejemplos publicadas no ha habido. Claro, pero es diferente porque tienes que, o sea, para que sea útil tu trabajo y publicable tiene que, o sea, para que sea útil para los demás, tiene que descartar algún cierto rango. Tienes que decir: hemos hecho esta búsqueda por este lado y ya por aquí no busquen porque aquí no está. Pero claro, si yo digo: me puse a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí es donde está la clave, que puedas descartar Lo que hacía Erdős era sacar un resultado positivo y decorar el resultado positivo con algunos comentarios de cosas que tenía en mente de otros temas que ese resultado positivo lo había obtenido pensando en contraejemplos y ese tipo de cosas,…
Gastón Giribet continúa hablando sobre Leonard Euler, destacando su enorme productividad como matemático del siglo XVIII y mencionando que escribió aproximadamente 800 páginas de matemáticas nuevas al año.
Habla: Gastón GiribetPalabras #14euler productividad matemática siglo xviiiproblema fermat intentos leonard eulermatemáticas pueriles resultados leonard eulererdich prolífica publicación papers…al menos más prolífico de la historia desde Euler, desde Leonard Euler, que nació en 1707, murió en 1783, siglo XVIII, era un matemático muy famoso que trabajó en Rusia y luego en Alemania; que quedó ciego, al menos de un ojo al principio y luego del otro. Leonard Euler era un celebérrimo matemático que se estima que escribió 800 páginas por año de matemática nueva estamos hablando del siglo XVIII, mucha de la matemática nueva de esa época puede ser para nosotros un poco puerir pero mucha de esas no lo es y son grandes resultados y trabajó en problemas celebérrimos que no pudo resolver como el problema de Fermat pero que en el intento por resolverlo hizo muchas cosas desde entonces no hubo nunca un matemático tan prolífico, Erdich publicó miles de papers, y Era un tipo muy particular; era húngaro; era un tipo muy particular, desde joven, cuando era joven sí, pero luego no se le conoció; no tuvo domicilio permanente entonces se la pasó viviendo en casa de amigos. Voy te visito dos meses o dos semanas y hacemos…