Búsqueda · 28 momentos en 21 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetchatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgptChatGPTActa PolónicaTierraHéctor SocasEstación Espacial Internacional
Acta Polónica en 1972
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica cómo ChatGPT ha sido utilizado para encontrar demostraciones ocultas en la literatura científica, permitiendo resolver algunos problemas relacionados con los trabajos de Paul Erdős.
…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 manera, en lugar de con factoriales, pues con números combinatorios y el problema es equivalente. Entonces se usaba ChatGPT para tratar de profundizar, de encontrar esas ideas, de encontrar digamos la semántica 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,…
Significado #1 · Palabras #1
Héctor Socas introduce una opinión expresada por un amigo sobre la denominación de 'astronauta' para aquellos que viajan a la Estación Espacial Internacional (ISS), cuestionando si han existido astronautas desde 1972.
Habla: Héctor SocasSignificado #17denominación astronauta desde 1972altitud de 300 kilómetros iss…De que la Luna está mil veces más lejos que la ISS no es una pequeña diferencia así de 7 u 8; no, no, es que la ISS está más cerca, está más cerca de Madrid, o sea, Madrid está más cerca de Barcelona que la ISS de la Tierra. Yo de Hecho, tengo un amigo que cuestiona el que llamemos astronauta a los que van a la ISS; o sea, este amigo dice que no hemos tenido astronautas desde el año 72. Y estos serían entonces los primeros astronautas. Ahora otra vez, porque es verdad que si tú ves la Tierra y tú ves a dónde, bueno, es que nada, es nada lo que, comparado con el tamaño de la Tierra, subir 300 kilómetros es como, no estás abandonando la Tierra, por así decirlo, ¿no? Ahora esto sí, esta tripulación, con esta además, Cristina Koch, la primera mujer, ¿no? Que irá a la Luna, estos ya sí que van a salir de la Tierra, ¿no? Yo de todas formas eso no estoy del todo de acuerdo porque es verdad que en distancia no, pero en…
Francis Villatoro explica cómo ChatGPT ha sido utilizado para encontrar demostraciones ocultas en la literatura científica, permitiendo resolver algunos problemas relacionados con los trabajos de Paul Erdős.
Habla: Francis VillatoroSignificado #1 · Palabras #1chatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgpt…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 manera, en lugar de con factoriales, pues con números combinatorios y el problema es equivalente. Entonces se usaba ChatGPT para tratar de profundizar, de encontrar esas ideas, de encontrar digamos la semántica 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,…