Búsqueda · 38 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ősBarretoFrancis VillatoroChatGPTGPT 5.2GPT 5.4Erdőssiglo XIXfunción de MertensJared Lixman
Liam Price usa Inteligencia Artificial
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 se pregunta por qué ningún matemático había considerado probar todas las funciones conocidas para resolver un problema, antes de que una inteligencia artificial lo hiciera.
Habla: Francis VillatoroPalabras #9inteligencia artificial resuelve problema matemáticofunción siglo xix en demostración iarepertorio de funciones conocidasfrancis villatoro cuestiona matemáticos…claramente pide sustituir la función de Mertens por todas las funciones conocidas que se han usado en teoría de números analíticas en el último siglo y empezar por las primeras de finales del siglo XIX hasta principios del siglo XX e ir probándolas todas. ¿Por qué a ningún matemático se le ha ocurrido, entre comillas, la chorrada de probarlas todas? Pues no se le ha ocurrido a ninguno. Pues no se le ha ocurrido a ninguno. Y entonces la inteligencia artificial ha tomado una demostración que tenía, que no llega al resultado correcto, que usa una función de finales del siglo XIX y ha cogido una de las siguientes funciones que hay en el repertorio de funciones conocidas. Y ha cogido la siguiente función y le ha salido. Y le ha salido. Yo digo una demostración absolutamente fascinante, porque hasta ahora ningún matemático se le había ocurrido, entre comillas, esa chorrada, esa cosa tan sencilla de hacer, ese pequeño cambio. Entonces ahora se ha propuesto, claro, esto fijaros que es un…
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 continúa hablando sobre Liam Price y su amigo Barreto, destacando que este último es un aficionado sin conocimientos profundos en matemáticas.
Habla: Francis VillatoroPalabras #2equipo price barreto verifica teoríasamateur price sin conocimientos matemáticosbarreto amigo de liam price…y todo el desarrollo apoyan y demuestran ese enunciado. Entonces, bueno, eso es una ventaja que no tienen en física teórica, ¿vale? En física teórica la corrección viene por la naturaleza, es decir, por los experimentos. Y claro, eso no es trivial, ¿vale? Si tienen una teoría exótica que 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…
Francis Villatoro describe cómo Liam Price, con la ayuda de su amigo Barreto, ha resuelto varios problemas de Erdős utilizando ChatGPT, incluyendo los números 1131 y 836 gracias a una suscripción pagada por un donante anónimo.
Habla: Francis VillatoroPalabras #3chatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt price…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 ahora el 1196 con el GPT 5 .4 y ahora que acaba de salir el 5.5 ya ha demostrado dos nuevos resultados, el 1131 y el 836. O sea, quiero decirte que es un equipo que está. Siendo productivo. Hay otra gente que también es muy productiva en este tipo de cosas, ¿no? Entonces, ¿qué nos dice este resultado matemático? Bueno, este resultado matemático es un resultado matemático que, claro, pues lo publicó Erdős en vida. Entonces,…
Francis Villatoro expresa su preferencia por compartir el mérito de los descubrimientos matemáticos con la inteligencia artificial, buscando una colaboración reconocida.
Habla: Francis VillatoroPalabras #16inteligencia artificial y mérito matemáticocolaboración villatoro inteligencia artificialresultados demostrados inteligencia artificial…lo importante de este resultado, de este problema resuelto en 1196, es que aparentemente va a tener un impacto en la comunidad matemática porque va a haber muchos matemáticos que ahora van a decir: sí, voy a usar la inteligencia como una herramienta. Yo no quiero poder vender qué ha sido la inteligencia artificial la que ha demostrado. No, lo hemos demostrado los dos. Yo, con la inteligencia artificial, hemos demostrado estos resultados. Y eso yo creo que va a potenciarse con este resultado por todo el eco mediático que ha tenido. Muy bien. No sé si os ha aburrido a todos con la barbaridad que he dicho. Barbaridad, ninguna; me parece que está muy bien explicado y porque estos temas son duros, son difíciles de entender, pero esto había tenido mucho eco mediático y claro, se vendía también como…