Búsqueda · 35 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 TosarAGIFrancis Villatoro
Nico 89-52 Matemáticas puras
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…
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 #7creació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…
Francis Villatoro explica que la comprensión actual de la inteligencia artificial general (AGI) es limitada y que muchas personas están trabajando para entenderla.
Habla: Francis VillatoroPalabras #13matemática inteligencia artificial másteraprendizaje profundo descripciones a posteriorialgoritmos gradiente versiones matricesinteligencia general limitada francis villatoro…mentes; estas empresas están pagando unos sueldos increíbles a las mejores mentes que hay en el planeta para que hagan avanzar esta tecnología a una cosa que realmente sea útil, que es lo que queremos, ¿no? Y a eso se le acabará llamando AGI porque no. Sabremos lo que es la AGI ni sabemos la inteligencia ni la inteligencia general, pero estamos en ese momento en el que realmente no lo entendemos y hay mucha gente trabajando para intentar entenderlo. Pero que yo sepa, yo le veo una asignatura a nivel de máster de eso, de la matemática de la inteligencia artificial, de la aprendizaje profundo y la matemática son descripciones a posteriori de cosas y realmente lo que se dan es puramente los algoritmos; es una matemática de los algoritmos que se están usando aquí se usa una versión de matrices, aquí se utiliza un algoritmo de gradiente, aquí se utiliza... pero ya está. Bueno, brutal lo que dijiste es de: conocemos mejor el cerebro que la inteligencia artificial. Yo creo que eso mete entre miedo. Vamos a ir, a ver; estamos con la primera pregunta. Insisto, llevamos algo así como que media hora al final vamos a tener que…