Búsqueda · 30 momentos en 9 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetsesgos en resolución problemas matemáticoscontraejemplos señor spoke star trekfalta de emocionalidad mente racionalsesgos emocionales spock star trekmáquina sin sesgos whitney hawkingerdich máquina iconoclastafalta de imaginación francisStar TrekSpokeGastón GiribetMatemáticasInteligencia ArtificialFrancis VillatoroErdősScott AronsonWhitneyHawkingSpockErdichClaudePlum
Sesgos en resolución problemas Matemáticos
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20266 momentos
Con
0:000:301:001:302:002:302:57
Gastón Giribet continúa reflexionando sobre los sesgos en la resolución de problemas matemáticos, comparando la búsqueda de contraejemplos con el comportamiento de un personaje de Star Trek y mencionando al matemático Erdich.
…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 la que esto no se cumpla, ¿no? Así que el sesgo del mal estudiante es el de buscar, refutar, ¿no? Buscar el contraejemplo. Pensé que ibas a agarrar para otro lado, que es, a mí me hace guardar el señor Spoke, el de Star Trek, porque ahí se veía la falta de emocionalidad de una mente racional, si es que se permite este tipo de dicotomía, de esa falsa dicotomía entre las dos cosas, entre lo racional y lo emocional, la falta de emocionalidad ayudaba, no, era como que la emocionalidad resultaba una obstrucción a la hora de pensar racionalmente, ¿no? y el sesgo sobre un matemático famoso como Erdillo, como quien fuera, es emocional, este tipo no puede estar equivocado, ¿Por qué? Estuvo equivocado; no solamente está bien, muchas veces, si lo dice Whitney está bien, si lo dijo Hawking, ese tipo de cosas, bueno, señor Spock; en este caso esta máquina no tendría esos sesgos emocionales; yo me fijo, acá jugó un poco eso me parece; yo no estoy en los pormenores, ni siquiera soy matemático como Francis, como para dar cuenta de cuáles son los detalles, 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…
Significado #1 · Palabras #1
Francis Villatoro explica cómo la creencia generalizada en la veracidad de una conjetura matemática puede sesgar la investigación, dificultando tanto demostrarla si es verdadera como refutarla si es falsa.
Habla: Francis VillatoroSignificado #6 · Palabras #3conjetura matemática sesga investigacióncomunidad cree en conjetura verdaderademostrar conjetura falsa es imposibleinteligencia artificial resuelve problema matemático…lenguaje muy antiguo; no son como los artículos modernos, pero bueno, se lee fácil y se entiende bien. Entonces eso ha hecho que mucha gente tuviera la sensación de que la conjetura de Erdős era verdadera y los humanos tenemos un gran defecto y es que a veces Sesgamos nuestra investigación en una línea. Cuando una conjetura puede ser verdadera o falsa, si la comunidad cree que es verdadera, tú te enfrentas a tratar de demostrarlo y te enfrentas a un problema imposible. Si la conjetura es falsa, el problema de demostrar esa conjetura se vuelve infinitamente difícil porque es imposible, y eso envuelve a ese problema en su aparente sencillez de un halo de extrema complejidad; entonces eso ha hecho que este problema haya sido un problema especialmente llamativo a nivel de redes sociales y a nivel de grandes matemáticos cuando ha sido resuelto con la inteligencia artificial. Una de las ideas que se habían propuesto para este problema era una idea que es estándar, sobre todo a partir del siglo XXI; a partir del año 2000, hay trabajos muy importantes en 2010, 2012: es el tema de mezclar esta geometría combinatoria con álgebra de…
Francis Villatoro explica cómo una inteligencia artificial llamada Claude mejoró una cota previamente establecida por otro matemático, superando incluso las expectativas de Erdős.
Habla: Francis VillatoroPalabras #14inteligencia artificial claude mejora cotacota matemática superando expectativas erdősopinión de erdős sesgó rama matemáticaproblema fundacional condicionado generaciones matemáticos…la cifra, pero algo así como 10 a la menos 38, es 1 más 10 a la menos 38 el mínimo, claro, esa constante obviamente es chapucera, uno de los matemáticos que han ido a OpenAI ha publicado unas horas después del anuncio oficial una cota de 1.014, ¿vale? Y esa cota se le ha dado a Claude, a otra inteligencia artificial y la ha mejorado, le ha puesto en 1.030 y no sé qué. Y ahora se está trabajando en subirla a 1.0. O sea, que es una cota claramente bien definida, que no es lo que tenía en mente Erdős. O sea, la opinión de Erdős ha sesgado toda una rama de la matemática en la que este problema se consideraba fundacional e importante y que todo el mundo lo atacaba ha condicionado dos generaciones de matemáticos hacia no ver por dónde había que atacar el problema, ¿no? Entonces, claro, esto ha llamado muchísimo la atención, ha habido gente que ha dicho si esto lo hubiera hecho un Humano, gente de tipo Medalla Fields Gowers, por ejemplo, Gowers no es un experto en esta línea; Gowers de este tipo de temas no sabe nada, pero bueno, es uno de los coautores del artículo de OpenAI, porque uno de los invitados por OpenAI a ir allí y ver la…
Francis Villatoro explica cómo un problema matemático ha generado una coyuntura particular donde expertos en diferentes campos están aplicando una nueva idea para resolver otros problemas.
Habla: Francis VillatoroSignificado #5problema matemático genera coyunturaexpertos aplican nueva idea problemasgeometría combinatoria teoría codificaciónidea poderosa poco explotada…ningún sentido. O el problema P igual a NP, Scott Aronson, el famoso experto en complejidades cuánticos, hablando de que ya podrán atacar P distintos de NP, pero ¿qué estás hablando? No tiene ni pies de cabeza, ¿vale? Eso no tiene ni pies de cabeza, ¿vale? O sea, este problema ha dado la coyuntura particular y muy específica de que se ha encontrado una cosa que sorprendentemente cualquiera podría haber hecho y de hecho, repito, los expertos que dominan ambos campos ahora están empezando a demostrar otras cosas con la misma idea, porque es una idea muy poderosa y hay muchos problemas de geometría combinatoria, pero también de otras áreas, por ejemplo, de teoría de la codificación, etcétera, que se pueden atacar con esta idea: una idea muy bonita, muy poderosa y que no está prácticamente nada explotada; no se sabe por qué. Pero eso pasa a veces en matemáticas. Es como cuando descubres un nuevo objeto y no te habías dado cuenta que esta enana marrón, pues 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…
Gastón Giribet aclara que la solución de un problema matemático reciente no se basa en los conocimientos matemáticos existentes desde 1946, sino que se construyó sobre trabajos previos realizados por matemáticos humanos.
Habla: Gastón GiribetSignificado #14matemáticas humanas resolución problemascimientos matemáticos previos 1946resolución matemática construida sobre cimientos…de esa solución desde ahí hasta ahora hubo un montón de resultados, de un montón de gente; había expertos en este problema. Uno de los que escribió este paper, que es la versión humana de esta demostración, que es Plum, es uno de ellos, pero hay muchos más. No es que uno se remite a la matemática que conocíamos en el 46 y la resolvió. No, la resolvió construyendo sobre cimientos hechos por matemáticos humanos, como le gusta decir a esta gente, antes. Esa es la segunda observación. La tercera observación es que incluso en esta solución la guía de los humanos fue esencial. No es que uno puso el problema en la máquina y dijo: vuelvo el jueves y lo tenés resuelto. No, hubo que saber guiar. Así que en esta misma demostración la presencia…
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 #4 · Palabras #2sesgos 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…
Gastón Giribet continúa reflexionando sobre los sesgos en la resolución de problemas matemáticos, comparando la búsqueda de contraejemplos con el comportamiento de un personaje de Star Trek y mencionando al matemático Erdich.
Habla: Gastón GiribetSignificado #1 · Palabras #1sesgos en resolución problemas matemáticoscontraejemplos señor spoke star trekfalta de emocionalidad mente racionalsesgos emocionales spock star trekmáquina sin sesgos whitney hawkingerdich máquina iconoclastafalta de imaginación francis…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 la que esto no se cumpla, ¿no? Así que el sesgo del mal estudiante es el de buscar, refutar, ¿no? Buscar el contraejemplo. Pensé que ibas a agarrar para otro lado, que es, a mí me hace guardar el señor Spoke, el de Star Trek, porque ahí se veía la falta de emocionalidad de una mente racional, si es que se permite este tipo de dicotomía, de esa falsa dicotomía entre las dos cosas, entre lo racional y lo emocional, la falta de emocionalidad ayudaba, no, era como que la emocionalidad resultaba una obstrucción a la hora de pensar racionalmente, ¿no? y el sesgo sobre un matemático famoso como Erdillo, como quien fuera, es emocional, este tipo no puede estar equivocado, ¿Por qué? Estuvo equivocado; no solamente está bien, muchas veces, si lo dice Whitney está bien, si lo dijo Hawking, ese tipo de cosas, bueno, señor Spock; en este caso esta máquina no tendría esos sesgos emocionales; yo me fijo, acá jugó un poco eso me parece; yo no estoy en los pormenores, ni siquiera soy matemático como Francis, como para dar cuenta de cuáles son los detalles, 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…