Búsqueda · 26 momentos en 13 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetchatgpt pro para problemas matemáticosinformáticos usan chatgpt pro dos horasdemostraciones desviadas en chatgptChatGPT ProFrancis VillatoroGeminiCloudDISNat ZosanathanChatGPT 5.2 ProAristótelesLeanArchiveResolución del programa 728ChatGPTPaul Erdős
ChatGPT Pro
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica que muchos usuarios de ChatGPT Pro, que son informáticos o matemáticos aficionados, utilizan la herramienta durante varias horas para intentar resolver problemas matemáticos.
…ahora mismo, tú decías, ¿lo habrá demostrado bien? Pues resulta que mucha de esta gente que estaba haciendo esto no eran matemáticos, no eran doctores en matemáticas, eran informáticos o eran matemáticos aficionados. Ya que tengo chat GPT, pues se lo mando a Chat GPT y pierdo el tiempo con Chat GPT, ¿no? Lo más exitoso es utilizar ChatGPT Pro, que es más caro, pero hay mucha gente, muchos informáticos que tienen acceso y que pueden, por la 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…
Significado #1 · Palabras #4
Francis Villatoro explica cómo la inteligencia artificial, específicamente ChatGPT y ChatGPT Pro, ha comenzado a ser utilizada para encontrar demostraciones ocultas en la literatura científica.
Habla: Francis VillatoroSignificado #8 · Palabras #2chatgpt pro busca demostracionesliteratura científica y chatgptoctubre 2025 inteligencia artificial…la demostración y ha continuado; no se ha dado cuenta, nadie le ha dicho, nadie se ha dado cuenta de que ese pequeño limita que tienen en medio de un artículo resulta que es un problema de Erdős, entonces eso ha pasado y ahora se está empezando a descubrir. ¿Qué pasó con la inteligencia artificial? Con la inteligencia artificial lo que ha pasado es que aproximadamente en octubre de 2025, en esta página web se pueden añadir comentarios a cada uno de los problemas; empezaron a haber personas que usaron ChatGPT, ChatGPT Pro, para buscar artículos que incluyeran demostraciones que estaban como ocultas en la literatura. ¿Por qué? Porque encontrar una demostración es muy difícil. Tú tienes una formulación del problema en esta página web, pero puede que el que lo haya demostrado en un artículo, yo que sé, Acta Polónica en 1972, lo haya escrito con otra notación, de otra…
Francis Villatoro explica cómo se ha empezado a utilizar ChatGPT para intentar resolver problemas matemáticos relacionados con los trabajos de Paul Erdős, proponiendo sistemáticamente introducir todos los problemas en la herramienta.
Habla: Francis VillatoroSignificado #16chatgpt y problemas paul erdősdemostraciones con chatgptiniciativas de problemas matemáticos…del problema e encontrarla en diferentes artículos y sorprendentemente así se han logrado resolver algunos de estos problemas. Pero todo empezó a cambiar a mediados de noviembre porque empezó a haber a mediados de noviembre de 2025; estamos hablando de Hace nada, gente que dijo: ¿y por qué no le pedimos a ChatGPT que demuestre el problema? Y entonces ha habido una serie de iniciativas de sistemáticamente meterle todos los problemas, todos, uno, el dos, el tres, el cuatro, a ver si alguno suelta la liebre, alguno salta la liebre y da una demostración; pero cuando te da una demostración, tú aquí tienes dos opciones: ¿qué pasaba? en noviembre? que cuando te daba una demostración de uno de estos problemas, yo que sé, el 823, tú decías, me lo he inventado el número ahora mismo, tú decías, ¿lo habrá demostrado bien? Pues resulta que mucha de esta gente que estaba haciendo esto no eran…
Francis Villatoro explica que muchos usuarios de ChatGPT Pro, que son informáticos o matemáticos aficionados, utilizan la herramienta durante varias horas para intentar resolver problemas matemáticos.
Habla: Francis VillatoroSignificado #1 · Palabras #4chatgpt pro para problemas matemáticosinformáticos usan chatgpt pro dos horasdemostraciones desviadas en chatgpt…ahora mismo, tú decías, ¿lo habrá demostrado bien? Pues resulta que mucha de esta gente que estaba haciendo esto no eran matemáticos, no eran doctores en matemáticas, eran informáticos o eran matemáticos aficionados. Ya que tengo chat GPT, pues se lo mando a Chat GPT y pierdo el tiempo con Chat GPT, ¿no? Lo más exitoso es utilizar ChatGPT Pro, que es más caro, pero hay mucha gente, muchos informáticos que tienen acceso y que pueden, por la 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…
Francis Villatoro describe cómo se están llevando a cabo intentos de resolución de problemas utilizando diferentes herramientas como Gemini, Cloud y ChatGPT.
Habla: Francis VillatoroSignificado #9 · Palabras #7intentos fallidos gemini problemas disproblemas dis herramienta cloud fallidochatgpt 5 2 pro intentos dis…la IA, pero es una demostración con, digamos, heurísticos humanos, pero bueno, heurísticos humanos muchas veces de personas que no son expertos en el tema y por lo tanto muchas veces llevan a demostraciones; es una de las cosas que se quejaba aterritado, ¿no? el número de intentos fallidos confesados a problemas de el DIS. Entonces tienes diferentes problemas, 5 intentos. Intento con Gemini, fallido, 3. Intento con Cloud, 4, fallido. Intento con ChatGPT, 5.2 Pro, 2. Y te va poniendo los que han fallado. entonces eso está bien porque ya te da una cierta Sensación, aún así ahora mismo hay muchísima gente que por ese minuto de gloria que es aparecer tu nombre en una página web de que tú has sido el que le pusiste el teorema a EchaGPT o a Equivalente, a Jimenae o al que sea y que te ha dado la demostración,…
Francis Villatoro explica que se está trabajando con herramientas como ChatGPT o Gemini para generar demostraciones en lenguaje natural antes de formalizarlas.
Habla: Francis VillatoroPalabras #19chatgpt o gemini para demostracionesdemostraciones en lenguaje naturalformalización de demostraciones lean…saber si el código corre, claro; es muy fácil: lo compilas, lo ejecutas y si corre, corre. Pero, ¿y si ejecuta pero no hace lo que tú quieres? Es que con la demostración es muy importante que lo que tú hayas formalizado sea exactamente lo que tiene que ser. entonces eso, lo que se está haciendo ahora mismo es: trabajas con el ChatGPT o el Gemini o lo que sea en lenguaje, digamos, humano, normal, sin ningún tipo de formalización y una vez que tienes una demostración… Sí, eso lo entiendo, pero a lo que voy es que, o sea, yo a ChatGPT le pido una demostración de un determinado… Tú haces copy-paste, o sea tú coges, te vas a la página web del Erdisk Problem, problema 333. Lo miras y pones el enunciado, copy paste del enunciado, ChatGPT, demuéstrame este resultado. Vale, y ahora si quiero, si ahora quiero meter eso en Lean, para que me…
Francis Villatoro describe un artículo publicado por Nat Zosanathan que afirma no haber tenido intervención humana en su creación, utilizando ChatGPT y Aristóteles.
Habla: Francis VillatoroPalabras #9reescritura demostración formalizada aristótelesprograma 728 en archivearistóteles software resolución programa…de interés artificial y estas cosas y no tengo tiempo de perder el tiempo mirando demostraciones, lo que me dé lo meto, yo soy la persona que va muriendo de un lado a otro, lo mismo hizo un script que le pasa automáticamente las cosas, porque hay informática. Y este señor que se llama Nat Zosanathan ha publicado el primer artículo que, según él, no ha tenido ningún tipo de intervención humana. La demostración la hizo ChatGPT 5.2 Pro, la transcripción a Lean la hizo Aristóteles, la verificación se hizo en Lean y el artículo, que es el que ha publicado en Archive, un artículo que se llama Resolución del programa 728, una reescritura de la demostración formalizada con Aristóteles, Aristóteles del software, lo publicó el 12 de junio, ya va. por la tercera o cuarta versión, lo que hizo fue utilizar ChagPT, es decir, con la demostración de Lean, ahora le dijo a ChagPT, conviérteme esta demostración en versión humana, ahí él, que es matemático, es doctor en matemáticas, le estuvo diciendo qué tenía…