Búsqueda · 28 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 validadodemostración matemática revisada por matemáticoscódigo lin necesita revisión detalladadocumento de 166 páginas con inconsistenciasdemostración matemática con leaninstituto cley revisión científicados años aceptación demostracióndemostración en lean por matemáticosfinanciación para revisión de demostracióntrabajo de diego córdobaFrancis VillatoroCódigo LINMatemáticosInteligencia ArtificialLeanInstituto CleyDiego CórdobaNYUGastón GiribetOpenAI
Demostración matemática necesita revisió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á que hay varios puntos en el documento que tenemos de 166 páginas que son mentiras porque chirrían, o sea, son cosas que tú dices, no me lo creo, no me. Lo creo. La intuición matemática, pero claro, uno siempre piensa que en el Lean tiene que estar bien. Ahí hay que mirarlo, hay que ver exactamente en esos puntos qué es lo que está pasando y ver cómo en el Lean lo resuelve, que seguramente lo resolverá. Yo no niego que la demostración sea correcta. Así que este trabajo, probablemente el Instituto Cley exige dos años de aceptación de la demostración por toda la comunidad; probablemente ahora empiecen a contar los dos años y habrá muchos grupos de matemáticos que serán financiados y algunos con mucho dinero para poder verificar esa demostración en Lean y redactar esta demostración y cuando la veamos bonita será mucho más sencilla y mucho más natural, pero aún así la idea es extremadamente idiota, con perdón, o sea, es una cosa, no quiero insultar el trabajo de Diego Córdoba, pero es una cosa que tú dices, ¿y esto qué me aporta? ¿Qué me aporta sobre el problema A? Son matemáticos de punta, por supuesto. Lo decimos en el sentido retórico. ¿Qué me aporta el problema A? Gracias por aclararlo, Gastón, que luego los mensajes me llegan a mí. No, claro, claro, o sea, lo decimos en un…
Significado #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 #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 validadodemostración matemática revisada por matemáticoscódigo lin necesita revisión detalladadocumento de 166 páginas con inconsistenciasdemostración matemática con leaninstituto cley revisión científicados años aceptación demostracióndemostración en lean por matemáticosfinanciación para revisión de demostracióntrabajo de diego córdoba…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á que hay varios puntos en el documento que tenemos de 166 páginas que son mentiras porque chirrían, o sea, son cosas que tú dices, no me lo creo, no me. Lo creo. La intuición matemática, pero claro, uno siempre piensa que en el Lean tiene que estar bien. Ahí hay que mirarlo, hay que ver exactamente en esos puntos qué es lo que está pasando y ver cómo en el Lean lo resuelve, que seguramente lo resolverá. Yo no niego que la demostración sea correcta. Así que este trabajo, probablemente el Instituto Cley exige dos años de aceptación de la demostración por toda la comunidad; probablemente ahora empiecen a contar los dos años y habrá muchos grupos de matemáticos que serán financiados y algunos con mucho dinero para poder verificar esa demostración en Lean y redactar esta demostración y cuando la veamos bonita será mucho más sencilla y mucho más natural, pero aún así la idea es extremadamente idiota, con perdón, o sea, es una cosa, no quiero insultar el trabajo de Diego Córdoba, pero es una cosa que tú dices, ¿y esto qué me aporta? ¿Qué me aporta sobre el problema A? Son matemáticos de punta, por supuesto. Lo decimos en el sentido retórico. ¿Qué me aporta el problema A? Gracias por aclararlo, Gastón, que luego los mensajes me llegan a mí. No, claro, claro, o sea, lo decimos en un…
Gastón Giribet utiliza una analogía para explicar cómo OpenAI podría haber utilizado los resultados del trabajo de Bookmaster y Levent Alpogé.
Habla: Gastón GiribetPalabras #13recursos para demostración teoremaseñor de nyu cambia bombillatruco matemático señor nyuproblema en oficina gastón giribet…en Codex y que eso haya ido directa o indirectamente a la demostración? Bueno, lo que probablemente pasó, no lo sabemos, porque acá hay, dime si direte, pero lo que probablemente pasó es que OpenAI usó en su entrenamiento los resultados de estas personas. Esto es equivalente a decir lo siguiente. Yo estoy trabajando en un problema, una demostración de un teorema de mi oficina. Pero claro, para hacer ese problema necesito recursos: necesito una lapicera, necesito un papel y necesito luz. Entonces viene el señor que cambia la luz en NYU, pone la escalera y me cambia la bombita. Mientras me cambia la bombita, mira lo que yo estoy haciendo en mi papel y después se va y resuelve el problema con un truco matemático que vio mientras cambiaba. La bombita y después me argumenta y dice: bueno, pero vos usaste mi bombita, vos necesitas luz para hacer tu teorema. Entonces, mientras vos usas mi luz, yo puedo mirar tu teorema y la verdad que se me ocurre a mí, digamos o mira tu pizarra cuando sale en…