Búsqueda · 31 momentos en 18 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblemas triviales interés artificialcontraejemplos matriz problemas derdismatemático tiempo suficiente derdisgpt encuentra contraejemplo trivialproblema erdős y inteligencia artificialarticulo en páginas web con problemasproblemas inteligencia artificial trivialescontra ejemplo rompe soluciones iamatemáticos logran poco avancedemostraciones interesantes para matemáticosGPTErdősFrancis VillatoroDER2DERDISOpenAIGPT-6LeanChatGPT Pro
GPT encuentra contraejemplo trivial
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20263 momentos
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica que la solución propuesta por una inteligencia artificial para un problema matemático es incorrecta y trivial, señalando que incluso GPT ha encontrado un contraejemplo sencillo.
…año, de que se incorporara la demostración formal, automática de teoremas en la formación de los matemáticos, pues probablemente no llegue nunca, porque al final todo el mundo acabe recurriendo a las nuevas versiones de los ChatGPT que se lo hagan todos, ¿no? Pero lo más relevante es que aunque en redes sociales os digan: se ha resuelto tal problema, qué maravilla, ya llevamos 14 problemas resueltos con interés artificial, todo es mentira porque son problemas triviales, o sea, son problemas muy sencillos; con muchas de las demostraciones encontrar un pequeño contraejemplo, pero encontrar un contraejemplo de una matriz de 4x4 para un problema DER2, o sea, DERDIS, señores, que ese contraejemplo lo hubiera encontrado un matemático si hubiera dedicado el tiempo suficiente. que está siguiendo el problema no es la correcta. Añádenle esta condición que se sugiere en el artículo en que se publicó este problema, porque en las páginas web con los problemas también aparece el enlace al artículo de Erdős donde aparece el problema, entonces tú puedes ir al artículo y leerlo, y no, no, pero en realidad lo que escribió no es lo que quería escribir, lo que escribió es una chorrada, porque acabas de contar un contraejemplo trivial, tú acabas de contar, sea GPT, acabas de contar un contraejemplo muy sencillito, luego eso no puede ser un problema de Erdős, eso hay que quitarlo. Por lugar de quitarlo vamos a añadirle un pequeño detallito que lo complica y ya rompe, que ese contra ejemplo ya no sirva. Y eso se está haciendo con algunos problemas. Y nada, es un poco la situación. Es una situación apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más…
Significado #1 · Palabras #1
Francis Villatoro explica cómo ChatGPT a veces proporciona demostraciones desviadas, llevando a usuarios sin conocimientos matemáticos a creer erróneamente que han encontrado una solución.
Habla: Francis VillatoroSignificado #11chatgpt demuestra resultados desviadosestrategia de demostración xagptinformático sin conocimientos matemáticosvalidación demostraciones lean aristóteles…noche, por ejemplo, pues lo ponen a pensar durante dos horas a ver si saca la solución. Entonces resulta que a veces ChatGPT no demostraba lo que se pretendía que demostrara, sino que la demostración se desviaba por un camino conocido hacia otra demostración. Llega más a una cierta herramienta matemática o una cierta estrategia de demostración que se usó para demostrar otra cosa y acababa demostrando XAGPT otra cosa. Pero claro, el que lo había hecho, imaginaos que eres un informático, no tenía ni zorra idea, no entendía la demostración, no entendía el problema y no sabía si XAGPT había dado una solución buena. Entonces lo que se decide con finales de noviembre. ¿Es esto? Hay que pasarlo a Lean. Lean es un sistema de formalización de demostraciones que te permite hacer una validación, una verificación de la demostración: si la demostración es correcta o no es correcta. Si tú pides un enunciado de lo que hay que…
Francis Villatoro comenta la apuesta fallida de un ingeniero de OpenAI por una demostración matemática, destacando lo ridículo de la situación y explicando las limitaciones actuales de las versiones no comerciales de GPT.
Habla: Francis VillatoroSignificado #10ingeniero openai apuesta fallidalimitaciones gpt versiones no comercialesgpt-6 potencia actualinteligencias artificiales gestión lean…Como es obvio, pues los ha perdido; los tendría, si los apostó los tendría y ha perdido sus 45.000 euros porque lo que se sabe ahora mismo no se sabe los detalles, pero lo que se ha aparecido en redes, etcétera, es que lo que tenía eran unas soluciones del De tirar a la basura 45.000 dólares apostando por eso. Era absolutamente ridículo lo que estaba haciendo. Lo que ha trascendido de lo que estaba haciendo, porque los detalles de todo eso, además, como tú utilizas una versión del GPT, que es una versión todavía en desarrollo que no está comercialmente disponible, eso solo lo tienen los que trabajan en OpenAI, pero bueno, por mucho más potente que sea, que sea tan potente como el próximo GPT-6, pero está siendo incapaz completamente de atacar un problema tan difícil, pero aún así, bueno, esa es un poco la situación actual. Hay una cierta esperanza de que las inteligencias artificiales ayuden, sobre todo a lo que es la gestión con Lean, y probablemente si hace un año ya lo comenté creo que en el podcast. Parecía que entre los matemáticos va a ser necesario que haya una asignatura de Lean durante la carrera. Lo que está ocurriendo desde el mes de diciembre es que es posible que podamos prescindir de la asignatura de Lean. Que los matemáticos lo único que…
Francis Villatoro explica que la solución propuesta por una inteligencia artificial para un problema matemático es incorrecta y trivial, señalando que incluso GPT ha encontrado un contraejemplo sencillo.
Habla: Francis VillatoroSignificado #1 · Palabras #1problemas triviales interés artificialcontraejemplos matriz problemas derdismatemático tiempo suficiente derdisgpt encuentra contraejemplo trivialproblema erdős y inteligencia artificialarticulo en páginas web con problemasproblemas inteligencia artificial trivialescontra ejemplo rompe soluciones iamatemáticos logran poco avancedemostraciones interesantes para matemáticos…año, de que se incorporara la demostración formal, automática de teoremas en la formación de los matemáticos, pues probablemente no llegue nunca, porque al final todo el mundo acabe recurriendo a las nuevas versiones de los ChatGPT que se lo hagan todos, ¿no? Pero lo más relevante es que aunque en redes sociales os digan: se ha resuelto tal problema, qué maravilla, ya llevamos 14 problemas resueltos con interés artificial, todo es mentira porque son problemas triviales, o sea, son problemas muy sencillos; con muchas de las demostraciones encontrar un pequeño contraejemplo, pero encontrar un contraejemplo de una matriz de 4x4 para un problema DER2, o sea, DERDIS, señores, que ese contraejemplo lo hubiera encontrado un matemático si hubiera dedicado el tiempo suficiente. que está siguiendo el problema no es la correcta. Añádenle esta condición que se sugiere en el artículo en que se publicó este problema, porque en las páginas web con los problemas también aparece el enlace al artículo de Erdős donde aparece el problema, entonces tú puedes ir al artículo y leerlo, y no, no, pero en realidad lo que escribió no es lo que quería escribir, lo que escribió es una chorrada, porque acabas de contar un contraejemplo trivial, tú acabas de contar, sea GPT, acabas de contar un contraejemplo muy sencillito, luego eso no puede ser un problema de Erdős, eso hay que quitarlo. Por lugar de quitarlo vamos a añadirle un pequeño detallito que lo complica y ya rompe, que ese contra ejemplo ya no sirva. Y eso se está haciendo con algunos problemas. Y nada, es un poco la situación. Es una situación apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más…