Búsqueda · 23 momentos en 19 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 priceia resuelve problemas matemáticossoftware aristotle genera código leanlean valida demostraciones matemáticasenvío a la página erdosLiam PriceKing's CollegeUniversidad de CambridgeScientific AmericanTeorema de ErdősBarretoFrancis VillatoroChatGPTGPT 5.2GPT 5.4ErdősAristotleLeanIgnacio CrespoHéctor Socas
Liam Price
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 otra vez que hablé de estos temas; ese Aristotle te da el código de la formalización matemática en Lean, que es un lenguaje para demostración automática de teorema, y después lo pasan por Lean y si Lean da el visto bueno dice: sí, validado, esta demostración es correcta. Ahora, la envían a la página de ERDOS y eso lo han hecho con muchos problemas. Entonces, claro, esto es una cosa que es lo que llaman Byte Mathematics; es, a esa época he producido mucho en Byte Physics, los craspos, la gente que hacía teorías de física. Yo tengo la solución de la materia oscura: la materia oscura es el campo eléctrico…
Significado #1 · Palabras #1
Ignacio Crespo finaliza una discusión sobre la importancia de las etiquetas y el trabajo de los profesionales de la salud mental, agradeciendo a Héctor Socas por su participación y anticipando que algunos oyentes podrían encontrar el tema sensible debido a sus implicaciones políticas.
Habla: Ignacio CrespoSignificado #18etiquetas y salud mentalconnotaciones políticas de la salud mentaltrabajo profesionales salud mental…porque pues sí, claro, hombre, es muy raro que estemos justo en el punto de medicación adecuada, ¿no? Estamos trabajando entre una cosa y la otra y a veces nos pasaremos por un lado, otras por otro, pero desde luego estamos mejor que si no hubiera todo este Tipo de etiquetas y de trabajo por parte de los profesionales de la salud mental. Exactamente. Bueno, pues ya te libero, ya te puedes ir en paz. Venga, pues nada, espero que haya sido interesante. Interesante, que sé que hay gente que al ser esto con connotaciones políticas le puede quemar, pero es que es Un tema que tiene la parte científica y que... bueno, ciérrate las redes sociales la próxima de toda esta semana, porque me van a caer palos. Es muy probable. Bueno, pues nada, buen programa. Un abrazo, Ignacio. Hasta luego. Un abrazo, chao, chao. Bien,…
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 priceia resuelve problemas matemáticossoftware aristotle genera código leanlean valida demostraciones matemáticasenvío a la página erdos…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 otra vez que hablé de estos temas; ese Aristotle te da el código de la formalización matemática en Lean, que es un lenguaje para demostración automática de teorema, y después lo pasan por Lean y si Lean da el visto bueno dice: sí, validado, esta demostración es correcta. Ahora, la envían a la página de ERDOS y eso lo han hecho con muchos problemas. Entonces, claro, esto es una cosa que es lo que llaman Byte Mathematics; es, a esa época he producido mucho en Byte Physics, los craspos, la gente que hacía teorías de física. Yo tengo la solución de la materia oscura: la materia oscura es el campo eléctrico…
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 VillatoroSignificado #2 · Palabras #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 VillatoroSignificado #3 · Palabras #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,…