Búsqueda · 32 momentos en 19 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado iagpt 5 6 pro openai desarrollointeligencia artificial generalista openaiformas de disk inteligencia artificialgpt 5 5 versión actualinteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados líneaFrancis VillatoroOpenAIGPT 5.6 ProHéctor SocasInteligencia ArtificialAnnals of MathematicsIA (Inteligencia Artificial)Gastón GiribetGPT
Problema específico técnica Inteligencia Artificial
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20263 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica cómo la inteligencia artificial ha sorprendido a los matemáticos al ofrecer una solución a un problema específico.
…distancias unitarias, rozo modo, esa es la explicación. Bueno, pues la mayor parte de los ataques en esa línea eran ataques de tipo: cojo el ejemplo de Ries, que al que hoy en día tendríamos que llamarle contraejemplo, pero que siempre aparece como ejemplo. Modifico, perturbo los puntos y fijo, pero fijo el cuerpo. Yo fijo un único cuerpo y perturbo los puntos. Y ese ataque no permitía demostrar el resultado. ¿Qué ha hecho la inteligencia artificial? Yo me escucho con eco, pero no sé si son tus altavoces, Héctor, o por qué me escucho con eco. Sí, escucho un poquito de eco yo también. pero bueno, espero que no moleste después en el podcast. ¿Qué ha hecho la inteligencia artificial? La inteligencia artificial que ha hecho esto es una inteligencia artificial generalista, interna de OpenAI; es decir, literalmente lo que será el GPT 5.6. Ahora mismo está el 5.5, lo que será el 5.6 Pro, no lo han dicho oficialmente, pero porque está en desarrollo, ¿vale? El 5.6 Pro será mejor de lo que tienen ahora; cuando lo saquen, no sé, lo sacarán en un mes o tres meses o cuatro meses; harán algo mejor, pero esto es lo que en el futuro será el 5.6 Pro. Lo han aplicado a este problema, pero de hecho lo han aplicado a todos los formas de disk, ¿vale? Y en este programa en concreto la inteligencia artificial ha ofrecido una solución que ha dejado alucinados a todos los matemáticos. En lugar de utilizar el camino que los pocos matemáticos que estaban trabajando con este tipo de técnica, porque recuerdo, hay que ser experto en geometría combinatoria y hay que ser experto en álgebra de cuerpos, que eso no todo el mundo lo es, pero los que han usado estas herramientas, que hay varios artículos famosos publicados en esa línea, habían atacado el problema desde el punto de vista perturbo los puntos y fijo el cuerpo y lo que se Le ocurre de manera sorprendente a la inteligencia artificial es hacer lo contrario. Hay teoremas que me hablan de las propiedades de las descomposiciones de cuerpos de forma genérica y yo puedo perturbar los cuerpos, no considerar cuerpos cuyas unidades. Yo…
Significado #1 · Palabras #2
Héctor Socas sugiere cambiar de tema para permitir que Gastón Giribet descanse, proponiendo hablar sobre una demostración realizada con un modelo GPT relacionada con el problema de la distancia unitaria en R2.
Habla: Héctor SocasSignificado #20modelo gpt problema distancia unitariainteligencia artificial resuelve problemas r2gastón giribet descanso demostración gpt…cuando lo estás viendo desde el plano ecuatorial, porque es ahí donde la asimetría es más notable; pero cuando vos lo estás viendo precisamente de uno de los dos polos, es donde la sombra no se deforma, se deforma en tamaño, pero no en forma. Es más difícil. Curioso, buenísimo, bueno; si quieren para que Gastón descanse un poco podemos saltar ahora, Francis, a esa demostración que se ha hecho con un modelo de GPT del problema de la distancia unitaria, uno de los problemas de R2. Parece que esto han cogido la libreta como quien le coge los apuntes al compañero de clase; cogen los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el…
Francis Villatoro explica cómo la inteligencia artificial ha sorprendido a los matemáticos al ofrecer una solución a un problema específico.
Habla: Francis VillatoroSignificado #1 · Palabras #2inteligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado iagpt 5 6 pro openai desarrollointeligencia artificial generalista openaiformas de disk inteligencia artificialgpt 5 5 versión actualinteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados línea…distancias unitarias, rozo modo, esa es la explicación. Bueno, pues la mayor parte de los ataques en esa línea eran ataques de tipo: cojo el ejemplo de Ries, que al que hoy en día tendríamos que llamarle contraejemplo, pero que siempre aparece como ejemplo. Modifico, perturbo los puntos y fijo, pero fijo el cuerpo. Yo fijo un único cuerpo y perturbo los puntos. Y ese ataque no permitía demostrar el resultado. ¿Qué ha hecho la inteligencia artificial? Yo me escucho con eco, pero no sé si son tus altavoces, Héctor, o por qué me escucho con eco. Sí, escucho un poquito de eco yo también. pero bueno, espero que no moleste después en el podcast. ¿Qué ha hecho la inteligencia artificial? La inteligencia artificial que ha hecho esto es una inteligencia artificial generalista, interna de OpenAI; es decir, literalmente lo que será el GPT 5.6. Ahora mismo está el 5.5, lo que será el 5.6 Pro, no lo han dicho oficialmente, pero porque está en desarrollo, ¿vale? El 5.6 Pro será mejor de lo que tienen ahora; cuando lo saquen, no sé, lo sacarán en un mes o tres meses o cuatro meses; harán algo mejor, pero esto es lo que en el futuro será el 5.6 Pro. Lo han aplicado a este problema, pero de hecho lo han aplicado a todos los formas de disk, ¿vale? Y en este programa en concreto la inteligencia artificial ha ofrecido una solución que ha dejado alucinados a todos los matemáticos. En lugar de utilizar el camino que los pocos matemáticos que estaban trabajando con este tipo de técnica, porque recuerdo, hay que ser experto en geometría combinatoria y hay que ser experto en álgebra de cuerpos, que eso no todo el mundo lo es, pero los que han usado estas herramientas, que hay varios artículos famosos publicados en esa línea, habían atacado el problema desde el punto de vista perturbo los puntos y fijo el cuerpo y lo que se Le ocurre de manera sorprendente a la inteligencia artificial es hacer lo contrario. Hay teoremas que me hablan de las propiedades de las descomposiciones de cuerpos de forma genérica y yo puedo perturbar los cuerpos, no considerar cuerpos cuyas unidades. Yo…
Francis Villatoro describe cómo un problema resuelto por una IA se ha convertido en el más famoso hasta la fecha, pero enfatiza que la demostración comprensible para humanos ocupa solo una página y media.
Habla: Francis VillatoroSignificado #5ia resuelve problema más famosodemostración humana ocupa media páginaannals of mathematics artículo excepcionalinteligencia artificial construye matemáticas…que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta también la posibilidad de refutar, aunque ha habido algunas refutaciones. Entonces ya os digo, estamos en un momento muy curioso. Muy interesante, este es un problema que ahora mismo es el problema más importante que ha resuelto una IA, el más famoso; pero repito, repito, la demostración escrita bonita por humanos para que se entienda es una página y media, ¿vale? O sea, que estamos todavía hablando de demostraciones que no tienen nada que ver con el artículo típico en Annals of Mathematics. Busca artículos en Annals of Mathematics en los últimos 20 años que tengan una página y media. O sea, es muy difícil encontrar alguno; son cosas súper excepcionales. O sea, esto es una cosa, son pepitas de oro. Es decir, ahora mismo la inteligencia artificial, el gran problema que tienen es que no son capaces de construir matemáticas. Solo saben usar matemáticas y eso es un punto muy importante porque la labor ahora del matemático es usar estas herramientas para construir matemáticas pero es el matemático el que construye y la herramienta es la que le ayuda a manejar esos constructos. ¿No?…