Búsqueda · 33 momentos en 22 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasliam price usa inteligencia artificialerdős teorema con apoyo de cambridgefriend estudia matemáticas en cambridgeshagpt ayuda a liam priceLiam PriceKing's CollegeUniversidad de CambridgeScientific AmericanTeorema de ErdősBarretoChatGPT 5.2ErdősHéctor Socas
Friend estudia Matemáticas en Cambridge
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro describe a Liam Price, un aficionado que utilizó inteligencia artificial para demostrar un teorema de Erdős, y explica que aunque no es matemático, cuenta con el apoyo de un amigo estudiante de matemáticas en Cambridge.
…American, en muchísimos medios; yo que sé, Gastón, por ejemplo, en Twitter, por tuiteó el artículo de Scientific American y el artículo más o menos titula: un aficionado de 23 años demuestra un teorema de Erdős, dos puntos, usó inteligencia artificial. ¿Quién es este aficionado? Este aficionado no es un aficionado cualquiera, entre comillas, si es cualquiera, pero bueno, es Liam Price, como alias tiene Liam, L-E-E-H-A-M, y no sabemos qué formación tiene, si sabemos que no es matemático, pero tiene una ventaja sobre otras personas, probablemente sea informático o algo parecido a un informático, tiene una ventaja y es que tiene un amigo que es matemático. Bueno, no es matemático, estudia segundo de matemáticas en el King's College de la Universidad de Cambridge. Entonces cuando ShagPT le da una demostración, se la pasa porque él no la entiende. Liman, este muchacho, Price, no entiende absolutamente nada. Copia el enunciado, se lo mete a la IA, ve un resultado que no entiende. Se lo pasa a su amigo, el amigo se llamaba Barreto, y este amigo le dice: pues esto tiene buena pinta. Entonces, si tiene buena pinta, lo pasan al software Aristotle como conté ya la…
Significado #1 · Palabras #1
Francis Villatoro describe a Liam Price, un aficionado que utilizó inteligencia artificial para demostrar un teorema de Erdős, y explica que aunque no es matemático, cuenta con el apoyo de un amigo estudiante de matemáticas en Cambridge.
Habla: Francis VillatoroSignificado #1 · Palabras #1liam price usa inteligencia artificialerdős teorema con apoyo de cambridgefriend estudia matemáticas en cambridgeshagpt ayuda a liam price…American, en muchísimos medios; yo que sé, Gastón, por ejemplo, en Twitter, por tuiteó el artículo de Scientific American y el artículo más o menos titula: un aficionado de 23 años demuestra un teorema de Erdős, dos puntos, usó inteligencia artificial. ¿Quién es este aficionado? Este aficionado no es un aficionado cualquiera, entre comillas, si es cualquiera, pero bueno, es Liam Price, como alias tiene Liam, L-E-E-H-A-M, y no sabemos qué formación tiene, si sabemos que no es matemático, pero tiene una ventaja sobre otras personas, probablemente sea informático o algo parecido a un informático, tiene una ventaja y es que tiene un amigo que es matemático. Bueno, no es matemático, estudia segundo de matemáticas en el King's College de la Universidad de Cambridge. Entonces cuando ShagPT le da una demostración, se la pasa porque él no la entiende. Liman, este muchacho, Price, no entiende absolutamente nada. Copia el enunciado, se lo mete a la IA, ve un resultado que no entiende. Se lo pasa a su amigo, el amigo se llamaba Barreto, y este amigo le dice: pues esto tiene buena pinta. Entonces, si tiene buena pinta, lo pasan al software Aristotle como conté ya la…
Francis Villatoro describe cómo Barreto, un estudiante de matemáticas que está aprendiendo mucho gracias a las demostraciones generadas por ChatGPT, ha ayudado al aficionado Liam Price a resolver problemas matemáticos.
Habla: Francis VillatoroPalabras #5barreto resuelve problemas erdőschatgpt 5 2 resuelve problema 333estudiante barreto aprende matemáticaproblema 728 resuelto con chatgpt…es prácticamente imposible que alguien se vaya a dedicar toda su financiación a experimentar y a verificar tu teoría, entonces lo que esta gente ha hecho, digamos el dúo, el dúo, el equipo Price Barreto, Price, el amateur, el aficionado que no tiene ni idea. de matemáticas Barreto, el estudiante de matemáticas que está aprendiendo mucha matemática, está en el segundo curso, pero está aprendiendo mucha matemática gracias a recibir estas demostraciones de ChagPT han resuelto siete problemas de Erdős. El 333 con ChatGPT 5.2, el 728, el 729 y el 401 con GPT 5.2. Alguien anónimo le pagó a Price la suscripción del ChatGPT Pro. Son como 200 euros o algo así al mes. Alguien anónimo le está pagando ChatGPT Pro para que se esfuerce más, y gracias a eso demostró el 205 y el 851 con el GPT 5.2 Pro. Después ha demostrado…
Héctor Socas explica cómo las matemáticas se están convirtiendo en una herramienta para la ciencia, permitiendo a los matemáticos adoptar un rol más de supervisor, similar a lo que ha ocurrido con los informáticos y la inteligencia artificial.
Habla: Héctor SocasSignificado #13matemáticas herramienta de la cienciapapel de supervisor matemáticoinformáticos ingenieros de softwareinteligencia artificial y software…las cosas aburridas, pesadas y tostonazos. Ahora también es verdad, como decía por ahí, el meme que está por todas partes, pues claro, para eso lo ideal sería que me hiciera la colada, que me planchara la ropa y que ya escribir poesía y eso ya lo hago yo. Porque ahora estamos un poco al revés. Haciendo básicamente matemáticas, que es una herramienta, un lenguaje de la ciencia y por lo tanto va a tener un impacto en muchas ramas de la ciencia. Permite al matemático adoptar un papel de más alto nivel, más de supervisor, igual que con los informáticos. La inteligencia artificial no se ha cargado a los informáticos, pero ahora cada vez son más ingenieros de software y menos picar código. O sea, cada vez tienes más la visión global del proyecto y dices, bueno, ahora hay que hacer una rutina para esto, ahora hay que hacer una rutina para no sé qué y tú tienes un poco el trabajo de supervisar; es como si fueras el jefe de lo que era antes un ingeniero de software que coordinaba un equipo que hacía el código. Pues yo creo que esto es un poco lo que están haciendo, están subiendo el nivel de los trabajos. Bueno, fíjate, hace poco hubo una caída de Cloud, bueno, Cloud tiene, ahora mismo en Cloud de Anthropic es el más usado para programación en grandes empresas, tiene un, creo que es un software que se llama Codex y cayó un día, pero casi 24 horas, no llegó a…