Búsqueda · 36 momentos en 19 episodios
Borja TosarIgnacio CrespoJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetresolución problema navier stokes openainico 89-52 matemáticas purasesfuerzos humanos desarrollo campo matemáticoNicolásOpenAINavier StokesHéctor SocasGrotendickLecumBorja TosarMiguel CamarasaMatt SchmeichNeivir StokesIgnacio CrespoMatemáticaFrancis VillatoroInteligencia Artificial
Esfuerzos Humanos desarrollo campo Matemático
Con
0:000:301:001:302:002:303:003:29
Héctor Socas introduce la conversación, mencionando una controversia relacionada con la resolución del problema del milenio de Navier Stokes utilizando modelos de OpenAI, en respuesta a una pregunta de Nicolás.
…ahora mismo son muy altos, se ha podido hacerse contraste de hipótesis separando lo que es el estado separable, que los bosones salgan con 0 -0, del estado no separable, que salgan con una combinación lineal más-menos, 0-0, menos más. Más uno menos uno Estuvimos hablando, entre otros temas, sobre esa controversia o esa noticia importante de la resolución del problema del milenio, del problema de Navier Stokes con modelos de OpenAI. Entonces en ese sentido, en ese contexto pregunta Nicolás, Nico, 89-52 es bastante largo, voy a leerlo: dice: En la mayoría de los casos en matemáticas puras, los problemas se plantean no porque deseemos desesperadamente la solución a estos problemas en sí mismos, sino porque hemos visto por experiencia pasada que los esfuerzos dirigidos por humanos para resolver estos problemas tienden a estimular un mayor desarrollo del campo a través de los esfuerzos para resolver tales problemas y luego para digerir cualquier solución parcial o completa que surja para obtener más conocimientos. O sea, el gran problema para el avance del conocimiento de resolver problemas con AI o con LLM es no estimular y no permitir abrir nuevos campos. El mismo hecho de la investigación es muy preocupante. ¿Qué opinan? Quizás Francis es el matemático más formal de…
Significado #1 · Palabras #1
Héctor Socas introduce la conversación, mencionando una controversia relacionada con la resolución del problema del milenio de Navier Stokes utilizando modelos de OpenAI, en respuesta a una pregunta de Nicolás.
Habla: Héctor SocasSignificado #1 · Palabras #1resolución problema navier stokes openainico 89-52 matemáticas purasesfuerzos humanos desarrollo campo matemático…ahora mismo son muy altos, se ha podido hacerse contraste de hipótesis separando lo que es el estado separable, que los bosones salgan con 0 -0, del estado no separable, que salgan con una combinación lineal más-menos, 0-0, menos más. Más uno menos uno Estuvimos hablando, entre otros temas, sobre esa controversia o esa noticia importante de la resolución del problema del milenio, del problema de Navier Stokes con modelos de OpenAI. Entonces en ese sentido, en ese contexto pregunta Nicolás, Nico, 89-52 es bastante largo, voy a leerlo: dice: En la mayoría de los casos en matemáticas puras, los problemas se plantean no porque deseemos desesperadamente la solución a estos problemas en sí mismos, sino porque hemos visto por experiencia pasada que los esfuerzos dirigidos por humanos para resolver estos problemas tienden a estimular un mayor desarrollo del campo a través de los esfuerzos para resolver tales problemas y luego para digerir cualquier solución parcial o completa que surja para obtener más conocimientos. O sea, el gran problema para el avance del conocimiento de resolver problemas con AI o con LLM es no estimular y no permitir abrir nuevos campos. El mismo hecho de la investigación es muy preocupante. ¿Qué opinan? Quizás Francis es el matemático más formal de…
Francis Villatoro explica que los matemáticos se ven a sí mismos como exploradores que descubren, no como creadores, y critica la falta de creatividad en la inteligencia artificial debido a su incapacidad para mostrar las fuentes utilizadas.
Habla: Francis VillatoroSignificado #19matemáticos exploradores no creadoresinteligencia artificial falta de fuentesevaluar creatividad inteligencia artificialsalto demostración conocimiento aportado…que si ha cogido un puente o ha cogido una liana o ha saltado en plantarza. Eso al humano le es relevante, sobre todo por ver diferentes caminos, porque implica ciertas dificultades, ciertas maneras de ver el paisaje de ese mundo platónico, de las ideas que muchas veces a los matemáticos nos gusta tratar de ver como la realidad en la que estamos explorando, ¿no? Nos sentimos como exploradores, ¿no? Estamos descubriendo, no nos sentimos creadores, pero eso le falta a la inteligencia artificial ahora mismo. tiene una creatividad muy limitada fundamentalmente porque no nos muestra las fuentes y entonces no podemos evaluar realmente el salto que ha habido. Si la inteligencia me dice en este paso de aquí, en estos tres párrafos de la demostración, yo he partido de este conocimiento y he aportado esto, nosotros podemos valorar si son más creativos, menos creativos, más humanos, menos humanos, pero si solamente tenemos un salto, Vas pegando saltos y con un camino de más aparentemente. Evidentemente, extremadamente recto, o sea, un camino que prácticamente parece que no tiene ningún tipo de desviación, cuando eso no es el conocimiento humano. El conocimiento humano es un conocimiento…
Francis Villatoro explica por qué considera que las demostraciones matemáticas generadas por inteligencia artificial carecen de creatividad.
Habla: Francis VillatoroSignificado #15demostraciones matemáticas inteligencia artificialcreatividad carente en demostraciones villatoroúnico camino no es matemática…tipo de desviación, cuando eso no es el conocimiento humano. El conocimiento humano es un conocimiento de ir generando muchos caminos alternativos, explorándolo, volviendo para atrás, volviendo a avanzar por aquí, va por acá, o aquí he llegado más lejos. Ponerme contra alguna pared, una obstrucción matemática no puede continuar; tengo que ir para atrás. Eso nos falta en este tipo de demostraciones. Y en ese sentido son demostraciones muy poco creativas, no son demostraciones que creen matemática nueva, no hay matemática nueva en estas demostraciones porque solo tengo un único camino y un único camino no es matemática, la matemática no es un único Camino, la matemática no es leer la historia del explorador mirando los datos en el GPS del camino que ha recorrido. La historia es todo lo que le va pasando al explorador, mientras va recorriendo el camino, mientras está descubriendo: aquí vi una serpiente,…
Borja Tosar destaca la importancia de la creación matemática más allá de la demostración de teoremas, señalando que esta última busca gloria y dinero, mientras que la verdadera innovación reside en generar nuevas ideas y estructuras conceptuales.
Habla: Borja TosarSignificado #10creación matemática más allá teoremasestructura conceptual borja tosargloria y dinero demostración teoremasnuevas ideas matemáticas lecum…del camino que ha recorrido. La historia es todo lo que le va pasando al explorador, mientras va recorriendo el camino, mientras está descubriendo: aquí vi una serpiente, aquí un insecto me picó, aquí me pasó esto, aquí sufrí unas fiebres; eso es la historia. Creo que ese es un punto esencial, crear matemática también; la matemática no es solamente demostrar estos teoremas abiertos. Está buenísimo eso para la gloria y el dinero, pero es crearnos. No es que la guía es el Grotendick de hoy, no es que inventa nuevas estructuras, lo harán en algún momento quizá, pero no inventa nuevas estructuras conceptuales, nuevas ideas en matemáticas o cosas por el estilo. Lecum decía eso el otro día también en un tuit. Por otro lado, podemos separar los problemas entre los que son acuciantes en ser resueltos y los que es importante resolver como un tema. Es decir, jugar el ajedrez tiene sentido solamente si uno juega; no le importa nada depende del resultado de un partido…
Ignacio Crespo continúa explicando cómo la inteligencia artificial aborda problemas matemáticos, comparando el proceso con un camino recto que oculta el contexto subyacente y mencionando una analogía de Miguel Camarasa sobre las matemáticas como un árbol ramificado.
Habla: Ignacio CrespoSignificado #11matemáticas como árbol ramificado camarasaaxiomas semilla matemáticas de camarasaresultados parciales hojas en el árbolproblema neivir stokes respuesta directa…un consenso entre todas las opiniones de matemáticos y expertos en IA, al menos respecto a cómo funciona la inteligencia artificial ahora mismo. No se trata de negarle capacidades, es que luego tú ves las cadenas de razonamientos, cómo se autojustifica y cómo Llega o a qué conclusiones llega y no hay ese proceso de ensayo y error que vemos en los humanos a través de todo el territorio. Y por ejemplo, comentario, otro divulgador de matemáticas español, Miguel Camarasa, más conocido como Matt Schmeich, hacía una analogía que me parecía bastante bonita sobre cómo entendía él las matemáticas partiendo de unos axiomas que podía ser tal vez la semilla que siembras, el árbol que va emergiendo, se ramifica, hay ramas y esas ramas tienen cada una hojas, que son tal vez esos resultados parciales que vas obteniendo durante tu desarrollo, tu trabajo, que en este caso, sí, hemos llegado en principio, ¿no? A la respuesta sobre el problema de Neivir Stokes, pero puede que la rama que nos haya llevado hasta allí no tenga ramificaciones a su vez. Me parece que también es una analogía interesante, si os parece a los que realmente sabéis aquí del tema. En el sentido, decía que en el sentido más, que se lo pregunta mucha gente, en el sentido más sencillo de lo que habéis comentado ya saliéndome de las matemáticas, es la inteligencia artificial creativa a día de hoy; pues yo creo que es un problema también un…