Búsqueda · 30 momentos en 20 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostració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 inconsistenciasCódigo LINMatemáticosFrancis VillatoroInteligencia ArtificialPNI
Documento de 166 páginas con inconsistencias
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro explica que la demostración matemática generada por inteligencia artificial necesita ser revisada a fondo por un grupo de matemáticos.
…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…
Significado #1 · Palabras #1
Francis Villatoro habla sobre un nuevo paper publicado y su deseo de realizar simulaciones numéricas para determinar si el mecanismo descrito realmente produce turbulencia.
Habla: Francis VillatoroPalabras #15simulaciones numéricas para turbulenciamecanismo de producción de turbulenciapaper publicado por pnisolución exótica a un problema…ese mecanismo desde el punto de vista puramente matemático, y que puede que ese mecanismo tenga impacto sobre los modelos de turbulencia. Puede que haya una turbulencia generada por este mecanismo de Sisaia con número de reinos variables; eso no lo sabemos. Se se acaba de publicar. Hay que hacer simulaciones numéricas. Me encantaría. Yo quiero hacerlas. Yo quiero ser uno de los primeros que haga este tipo de simulaciones numéricas. para ver si este mecanismo realmente produce turbulencia o no, lo sabemos, pero si lo produjera sería un nuevo mecanismo de producción de turbulencia y eso ya sí tendría un impacto en física y en ingeniería de fluidos, pero como tal esta solución es algo tan exótico y tan alejado de la realidad que es pura matemática, pero bueno, es una solución a este problema. Entonces, yo os digo, yo he leído el paper, claro, el paper, ¿qué problema tiene? El paper que ha publicado PNI, que son 166 páginas, el problema que tiene es que empieza de escándalo, empieza muy bonito, cuenta la historia del problema, te cuenta la física de estas soluciones, Te la cuenta con bastante detalle y se entiende, o sea, los oyentes del programa que sean ingenieros, que han estudiado física de fluidos en ingeniería, van a entender esas primeras 10 páginas del artículo; las van a entender, son una maravilla. Después viene…
Francis Villatoro explica que la demostración matemática generada por inteligencia artificial necesita ser revisada a fondo por un grupo de matemáticos.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostració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 inconsistencias…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…