Búsqueda · 33 momentos en 20 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetbúsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticosRedes socialesMatemáticosFrancis VillatoroHéctor Socas
Curiosidad matemática viral Twitter
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20262 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro y Héctor Socas comentan cómo varios matemáticos han admitido en redes sociales que buscaron contraejemplos, pero no los publicaron al no obtener resultados.
…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í…
Significado #1
Francis Villatoro reflexiona sobre cómo los matemáticos se han visto sorprendidos por la capacidad de las máquinas para resolver problemas, señalando que una metodología existente desde 2012 no había sido aprovechada.
Habla: Francis VillatoroSignificado #20matemáticos sorprendidos por máquinasmetodología desde 2012 no aprovechadateorema del 65 para nueva metodologíaimpacto enorme en la matemática…no era una enana marrón, sino que era una enana amarronada. Y ahora resulta que lo dices y de repente empiezas a decirlo y todo el mundo ve enanas amarronadas por todos lados. Y ya tenemos ahí las familias de las marrones y las amarronadas. Algo parecido. O sea, no es una cosa realmente revolucionaria que tú digas qué creatividad tiene la máquina, pero sí es una cosa que a los matemáticos les ha dicho: tontos somos, es que somos idiotas. O sea, lo teníamos delante de las narices, por lo menos desde 2012, ha estado ahí delante de las narices; usar un teorema del 65 para hacer una nueva metodología para demostrar este tipo de cosas y nadie la había aprovechado. O sea, pero bueno, ha tenido un impacto enorme. O sea, en redes, OpenAI está, que se sale, de estas de las mil millonarias, ¿no? Se estima que está por encima de los 3.000 millones de valoración y alguna gente le habla de casi 800.000 millones de valoración. OpenAI está, ¿qué se sale? O sea, OpenAI está vendiendo…
Francis Villatoro y Héctor Socas comentan cómo varios matemáticos han admitido en redes sociales que buscaron contraejemplos, pero no los publicaron al no obtener resultados.
Habla: Francis VillatoroSignificado #1búsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticos…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í…