Búsqueda · 33 momentos en 17 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetconjetura golbas problema matemáticoprimos gemelos teorema demostradodificultad enunciado problemas matemáticosgemelidad primos saltos de dosconjetura de GoldbachFrancis VillatoroChatGPTPythonFortranLeanAristótelesHGPTJimenaeOpenAIHéctor Socasteorema de los campos de Noether-Stokes
Primos gemelos teorema demostrado
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro comenta sobre la dificultad inherente a los problemas matemáticos, señalando que aquellos que parecen más sencillos suelen ser los más difíciles de resolver.
…por encima y me ha recordado mucho a eso; es como... Hay de todo, ¿no? Hay de todo. A ver, no me ha dado tiempo de ver los 1.000: hasta ahí no llego, yo a nivel Francis no tengo. Pero como que lo he hecho, los 1.135; no sé, que le he dado a 2 o 3 y digo, uy. Eso parece un problema sencillo. Parece un problema sencillo, exactamente. Muchas veces los que parecen más sencillos son más difíciles. La dificultad de un problema no se sabe por el enunciado, ¿vale? O sea, un problema relativamente sencillo de enunciar muchas veces es extremadamente difícil la conjetura de Golbas o cosas así, son problemas, o la de los pares de primos, ¿no? Existen infinitos primos gemelos, pues ya está, porque es muy fácil entender: primos gemelos es como el 11 y el 13, ¿no? Primos que están separados por dos, pues no se sabe. Pues ese problema es extremadamente difícil porque no tenemos una técnica que haga algo tan peculiar como es la gemelidad, estar separados solamente un salto de dos unidades infinitamente. Pero eso se había cotado a un delta como de 78 por ahí; es fascinante la historia. No, algo más, algo más de 78. Ah, es que me sonaba. Hay secuencias infinitas de números separados por cierta distancia; la cota mínima, no recuerdo si llegaba a 78, yo creo que…
Significado #1 · Palabras #2
Francis Villatoro describe cómo muchas personas buscan reconocimiento al aparecer sus nombres como autores de teoremas generados por ChatGPT y herramientas similares, dedicando tiempo y dinero a este proceso.
Habla: Francis VillatoroPalabras #12reconocimiento autores teoremas chatgptminuto de gloria jimenaedemostraciones generadas por hgptaristóteles y demostraciones lean…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, pues ese minuto de gloria, pues está encantado y hay mucha gente que está gastando su dinero y su tiempo en hacer este tipo de demostraciones. La mayoría de estas demostraciones se sacan en menos de un día, o sea, hay personas que envían tres demostraciones a HGPT, una le da el resultado, lo pasan a Aristóteles, Aristóteles echa un Tiempo en construirte el código Lean, después tienes que pasarlo; entonces, pues, en una mañana te da las demostraciones, las tienes en Lean corriendo por la tarde y por la noche ya sabes si son correctas o no son correctas, Francis. Una pregunta, si yo he…
Francis Villatoro relata un incidente ocurrido con un ingeniero de OpenAI, quien realizó una apuesta considerable sobre la publicación de una demostración del teorema de los campos de Noether-Stokes.
Habla: Francis VillatoroPalabras #20ingeniero openai apuesta teorema noether-stokesdemostración teorema milenio ecuaciones nobel stokespérdida 45000 euros ingeniero openai…problemas que se resolvían con esa técnica. Entonces parece prometedor lo que se está logrando, pero aún así estamos todavía en una fase en la que esto se está como automatizando y no hay mucho control, y en todo esto pues ha habido cierto ruido por ejemplo. Ha habido un ingeniero de OpenAI que parece que es matemático, que prometió en diciembre, apostó en diciembre igual que Héctor apostó que no sé qué día de enero iba a publicar una demostración del teorema del milenio de las ecuaciones de Nobel Stokes y apostó un total con varias personas de 45.000 euros. 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…
Francis Villatoro reflexiona sobre un posible futuro en la formación de matemáticos, donde la demostración formal y automática de teoremas podría no ser necesaria debido al uso generalizado de herramientas como ChatGPT.
Habla: Francis VillatoroPalabras #8chatgpt y código python fortrandemostración formal con chatgpt aristótelesformación matemáticos sin demostraciones lean…los matemáticos lo único que tengan que saber es que existe una cosa como Aristóteles y ellos escriben la demostración y se la pasan a Aristóteles y Aristóteles le da la demostración en Lean y se la verifica. Con lo que ya los matemáticos no van a tener... O Fortran, pues solo tuvieran que aprender a escribir el prompt para que ChatGPT le escriba el código en Python o Fortran, ¿no? Pues lo equivalente en demostraciones, así que es posible que ese futuro que yo preveía hace un 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…
Francis Villatoro comenta sobre la dificultad inherente a los problemas matemáticos, señalando que aquellos que parecen más sencillos suelen ser los más difíciles de resolver.
Habla: Francis VillatoroSignificado #1 · Palabras #2conjetura golbas problema matemáticoprimos gemelos teorema demostradodificultad enunciado problemas matemáticosgemelidad primos saltos de dos…por encima y me ha recordado mucho a eso; es como... Hay de todo, ¿no? Hay de todo. A ver, no me ha dado tiempo de ver los 1.000: hasta ahí no llego, yo a nivel Francis no tengo. Pero como que lo he hecho, los 1.135; no sé, que le he dado a 2 o 3 y digo, uy. Eso parece un problema sencillo. Parece un problema sencillo, exactamente. Muchas veces los que parecen más sencillos son más difíciles. La dificultad de un problema no se sabe por el enunciado, ¿vale? O sea, un problema relativamente sencillo de enunciar muchas veces es extremadamente difícil la conjetura de Golbas o cosas así, son problemas, o la de los pares de primos, ¿no? Existen infinitos primos gemelos, pues ya está, porque es muy fácil entender: primos gemelos es como el 11 y el 13, ¿no? Primos que están separados por dos, pues no se sabe. Pues ese problema es extremadamente difícil porque no tenemos una técnica que haga algo tan peculiar como es la gemelidad, estar separados solamente un salto de dos unidades infinitamente. Pero eso se había cotado a un delta como de 78 por ahí; es fascinante la historia. No, algo más, algo más de 78. Ah, es que me sonaba. Hay secuencias infinitas de números separados por cierta distancia; la cota mínima, no recuerdo si llegaba a 78, yo creo que…