Búsqueda · 27 momentos en 10 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostración matemática necesita revisiónmatemático reformula demostracióncomprensión de la demostración por matemáticosreescritura para otros matemáticosfalta humanidad en demostracióndemostración matemática chirríainteligencia artificial para humanoscódigo lin validadoFrancis VillatoroInteligencia ArtificialCódigo LIN
Falta Humanidad en demostración
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro reflexiona sobre una demostración matemática, expresando la necesidad de que un matemático la revise y reformule para facilitar su comprensión a otros profesionales del campo.
…en este problema, pero como eso es irrelevante para el desarrollo de la demostración, te pones en las ecuaciones del perfil y te dice, pero yo tengo un perfil. Y ya está, punto, pelota. ¿Cuál? El primero, cualquiera de ellos sirve. ¿Cualquiera de ellos sirve? Son ese tipo de cosas que cuando lo vas leyendo te van dando una sensación como me falta algo, me falta que un matemático lo dijera es decir, esta demostración matemática, la parte matemática estrictamente requiere que un matemático o un grupo de matemáticos entienda lo que ha ocurrido y lo reescriba para que otros matemáticos lo entendamos Le falta humanidad Y después hay otro punto importante: hay varios lugares en los que la demostración chirría. A mí me chirría. Yo le dije, “No, no, esto no está bien demostrado”. Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero es que este es el documento en PDF que la inteligencia artificial ha generado para los pobres humanos”, en realidad el código LIN que ha sido validado no. Debe de incluir este problema y tiene que aclararlo, ¿vale? O sea, yo no me he puesto a leer el código LIN, o sea, lo que pide esta demostración a gritos es que alguien, un grupo de matemáticos, se lea el código LIN en todo detalle y seguramente descubrirá…
Significado #1 · Palabras #1
Francis Villatoro reflexiona sobre una demostración matemática, expresando la necesidad de que un matemático la revise y reformule para facilitar su comprensión a otros profesionales del campo.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostración matemática necesita revisiónmatemático reformula demostracióncomprensión de la demostración por matemáticosreescritura para otros matemáticosfalta humanidad en demostracióndemostración matemática chirríainteligencia artificial para humanoscódigo lin validado…en este problema, pero como eso es irrelevante para el desarrollo de la demostración, te pones en las ecuaciones del perfil y te dice, pero yo tengo un perfil. Y ya está, punto, pelota. ¿Cuál? El primero, cualquiera de ellos sirve. ¿Cualquiera de ellos sirve? Son ese tipo de cosas que cuando lo vas leyendo te van dando una sensación como me falta algo, me falta que un matemático lo dijera es decir, esta demostración matemática, la parte matemática estrictamente requiere que un matemático o un grupo de matemáticos entienda lo que ha ocurrido y lo reescriba para que otros matemáticos lo entendamos Le falta humanidad Y después hay otro punto importante: hay varios lugares en los que la demostración chirría. A mí me chirría. Yo le dije, “No, no, esto no está bien demostrado”. Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero es que este es el documento en PDF que la inteligencia artificial ha generado para los pobres humanos”, en realidad el código LIN que ha sido validado no. Debe de incluir este problema y tiene que aclararlo, ¿vale? O sea, yo no me he puesto a leer el código LIN, o sea, lo que pide esta demostración a gritos es que alguien, un grupo de matemáticos, se lea el código LIN en todo detalle y seguramente descubrirá…
Francis Villatoro analiza una demostración matemática generada por una máquina, expresando su falta de entusiasmo ante la ausencia de ideas innovadoras o creativas.
Habla: Francis VillatoroSignificado #5 · Palabras #2falta creatividad en demostraciones máquinafrancis villatoro analiza máquinaausencia ideas innovadoras máquina…deja un poco de mal gusto, de regusto malo. Pero aún así, ya os digo, el artículo se lee, no es difícil de entender. Las ideas, la primera explicación de las ideas de lo que se hace en la demostración es prácticamente lo mismo que aparece después formalizado. Todo es extremadamente sencillo, la verdad; no hay ningún tipo de idea feliz que tú digas. Hay una creatividad, no hay creatividad; no es una solución creativa, bueno, bueno; pero esto no lo ha hecho ningún humano, lo ha hecho una máquina. Luego, la máquina es creativa, pero yo quiero ver una chispa, quiero ver algo que me deslumbre y no lo veo, no lo veo. Yo no entendí nada de los detalles de la demostración. O sea, es verdad que al principio se entiende y luego me costó mucho ni siquiera entender el lenguaje. Lo que sí leí son los tres trabajos que el 8 de septiembre, hace dos días, bueno, Tristan y su colaborador publicaron: Breakmaster y Alpogé, Alpogé y... ¿Se…