Búsqueda · 30 momentos en 11 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetdemostración original de inteligencia artificialartículo modificado por humanos comprensibleIA (Inteligencia Artificial)Francis VillatoroErdősHéctor SocasInteligencia ArtificialOpenAIGPT 5.5 ProChatGPT 5.5 Proproblema 60Geometría combinatoriaÁlgebraConjeturaAnnals of MathematicsAirDiskChatGPT Pro 5.5
Ataque a la demostración resultado ia
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20265 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica que la demostración original generada por la inteligencia artificial es diferente a la versión publicada en el artículo, siendo esta última modificada para ser más comprensible.
…que trabajan en este área, porque de repente se les ha abierto la mente y han dicho: ¿Cómo? ¿Por qué a nosotros que somos idiotas? ¿Qué nos ha pasado? ¿Por qué la figura de Erdős nos ha deslumbrado y nos ha impedido ver lo que teníamos delante de la nariz? Es que el trabajo que ha hecho la IA, que es una demostración extremadamente corta, depende de cómo la escribas; la verdad es que la demostración que realmente ha generado esta inteligencia artificial no es la que vemos publicada en el artículo, que está tocada por humanos para que sea humanizado, para que sea comprensible, porque utiliza un lenguaje que en algunos puntos, por ejemplo, la inteligencia artificial lo deja todo en el aire. Dice: existe un valor épsilon positivo que se suma al exponente y que cumple esta condición, pero no nos dice cuál, ¿vale? Entonces el trabajo humano, claro, OpenAI, esto lo hicieron informáticos que están en OpenAI, no tienen ni idea de lo que están haciendo, entonces llamaron a matemáticos muy famosos, los matemáticos que trabajan en este tipo de problemas son algunos muy…
Significado #1
Francis Villatoro explica cómo un problema geométrico puede formularse algebraicamente, una aproximación ya utilizada en varios artículos para intentar demostrar una conjetura.
Habla: Francis VillatoroPalabras #12problema geométrico formulación algebraicaconjetura imposible de demostrarfracaso de líneas de ataqueartículos geometría combinatoria…estrictamente algebraicas de los cuerpos para determinar una estimación de la cantidad de soluciones que yo tengo, que multiplicado por el número de puntos me dará la cantidad de posibles, el número máximo de distancias unitarias que yo tengo en mi problema. Es decir, yo puedo formular un problema puramente geométrico, de geometría combinatoria; lo puedo formular con un problema puramente algebraico y entonces esa aproximación ha sido propuesta ya en varios artículos y se han hecho cosas pero en la línea de atacar el demostrar esta conjetura que hoy ya sabemos que era imposible de demostrar, esas líneas de ataque fracasaron y tienen que fracasar. Es obvio: hoy sabemos que fracasaron y sabemos por qué tienen que fracasar; esa conjetura es falsa, pero los que lo hicieron no se dieron cuenta y focalizaron ese trabajo. Pero ese trabajo, los resultados más importantes son esos de 2011, 2012; hay dos resultados clave en esa línea. Y es ese trabajo el que ha combinado la inteligencia artificial. En cierto sentido, lo que los humanos estaban haciendo era utilizar esta…
Francis Villatoro explica cómo la inteligencia artificial ha abordado un problema relacionado con la perturbación de puntos y la fijación de cuerpos matemáticos.
Habla: Francis VillatoroSignificado #4 · Palabras #6inteligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado ia…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…
Francis Villatoro explica que la demostración original generada por la inteligencia artificial es diferente a la versión publicada en el artículo, siendo esta última modificada para ser más comprensible.
Habla: Francis VillatoroSignificado #1demostración original de inteligencia artificialartículo modificado por humanos comprensible…que trabajan en este área, porque de repente se les ha abierto la mente y han dicho: ¿Cómo? ¿Por qué a nosotros que somos idiotas? ¿Qué nos ha pasado? ¿Por qué la figura de Erdős nos ha deslumbrado y nos ha impedido ver lo que teníamos delante de la nariz? Es que el trabajo que ha hecho la IA, que es una demostración extremadamente corta, depende de cómo la escribas; la verdad es que la demostración que realmente ha generado esta inteligencia artificial no es la que vemos publicada en el artículo, que está tocada por humanos para que sea humanizado, para que sea comprensible, porque utiliza un lenguaje que en algunos puntos, por ejemplo, la inteligencia artificial lo deja todo en el aire. Dice: existe un valor épsilon positivo que se suma al exponente y que cumple esta condición, pero no nos dice cuál, ¿vale? Entonces el trabajo humano, claro, OpenAI, esto lo hicieron informáticos que están en OpenAI, no tienen ni idea de lo que están haciendo, entonces llamaron a matemáticos muy famosos, los matemáticos que trabajan en este tipo de problemas son algunos muy…
Francis Villatoro describe el impacto mediático generado por un resultado de inteligencia artificial en matemáticas y cómo usuarios de ChatGPT Pro 5.5 han podido replicar la demostración.
Habla: Francis VillatoroSignificado #17 · Palabras #7demostración de ia openaichatgpt pro 5 5 replicaciónimpacto mediático inteligencia artificial…que a nadie se le había ocurrido esta tontería. O esta tontería o esta cosa tan difícil, ¿vale? Porque hay que ser experto en ambas cosas, ¿vale? Hay que ser experto en dos ramas de la matemática y hay muy pocas personas que sean expertos en ambas, ¿eh? Entonces, bueno, eso ha generado, yo os digo, un eco mediático tremendo y hay gente ya hablando de que esto va a revolucionar la matemática y no sé cuánto, no sé qué. Una vez que se publicó el resultado de esta IA interna de OpenAI, la gente que utiliza GPT 5.5 Pro, ChatGPT 5.5 Pro, le dijo: refuta el problema 60 y ChatGPT Pro 5.5, el que todo el mundo que paga los 100 euros o los 200 euros puede usar, obtuvo la misma demostración. Hay gente que tiene su ordenador con todos los aspectos. Para que no se conecte nunca a internet, ¿vale? Para evitar que se vicie por ese tipo de pruebas y repetir cosas. Entonces algunas de esas personas lo han logrado. Lo han logrado. O sea, incluso mejoras en las cotas porque ya han definido incluso las…
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 VillatoroPalabras #14refutación de problemas airdiskinteligencia artificial refuta demostracionesfrancis villatoro experimenta con iaia resuelve problema más famosodemostración humana ocupa media páginaannals of mathematics artículo excepcionalinteligencia artificial construye matemáticas…ya han definido incluso las constantes. Es decir, no se había logrado con CharGPT 5.5 Pro básicamente porque se le había pedido que demostrara el problema 690 y lo que había que decirle es que refutara; es decir, ahora mismo mucha gente está diciendo pues Ahora voy a hacer una siguiente corrida de todos los problemas de AirDisk pero en lugar de decirle que demuestre, le voy a decir 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?…