Búsqueda · 30 momentos en 18 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasequipo price barreto verifica teoríasamateur price sin conocimientos matemáticosbarreto amigo de liam pricebarreto resuelve problemas erdőschatgpt 5 2 resuelve problema 333estudiante barreto aprende matemáticaproblema 728 resuelto con chatgptchatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt priceresultado matemático publicado erdősproblemas erdős hace 60 añosproductividad equipo price barretoLiam PriceBarretoFrancis VillatoroKing's CollegeUniversidad de CambridgeScientific AmericanTeorema de ErdősChatGPT 5.2ErdősChatGPTAristotleLeanGPT 5.2GPT 5.4
Amateur price sin conocimientos Matemáticos
Con
0:000:301:001:302:002:303:003:37
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.
…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 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, pues tiene como 60 años de antigüedad, pero claro, es normal. Es decir, que son problemas que Erdős fue proponiendo durante su vida y este, en 1996, lo propuso en un artículo de 1968 de Erdős, Sarkozy y Esmerévi, Esmerévi es muy muy famoso, y era sobre una cosa que se llaman conjuntos primitivos. Hay una cosa, sabéis que los números enteros se pueden factorizar en números primos,…
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 #3 · Palabras #2liam 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 #1 · Palabras #1equipo price barreto verifica teoríasamateur price sin conocimientos matemáticosbarreto amigo de liam pricebarreto resuelve problemas erdőschatgpt 5 2 resuelve problema 333estudiante barreto aprende matemáticaproblema 728 resuelto con chatgptchatgpt pro para problemas erdősnúmeros 1131 y 836 con chatgptdonante anónimo paga chatgpt priceresultado matemático publicado erdősproblemas erdős hace 60 añosproductividad equipo price barreto…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 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, pues tiene como 60 años de antigüedad, pero claro, es normal. Es decir, que son problemas que Erdős fue proponiendo durante su vida y este, en 1996, lo propuso en un artículo de 1968 de Erdős, Sarkozy y Esmerévi, Esmerévi es muy muy famoso, y era sobre una cosa que se llaman conjuntos primitivos. Hay una cosa, sabéis que los números enteros se pueden factorizar en números primos,…
Francis Villatoro explica cómo la inteligencia artificial puede generar soluciones rápidas en problemas matemáticos, pero también destaca el valor del trabajo exploratorio de los matemáticos, incluso cuando esos caminos resultan infructuosos.
Habla: Francis VillatoroSignificado #17inteligencia artificial soluciones matemáticastrabajo exploratorio matemáticos caminos infructuososresultados parciales matemáticos revistas del montóndemostraciones no es el resultado…era el único al que le preocupaba el problema en todo el mundo, el único matemático en el mundo preocupado por ese problema dijo que era una demostración del libro, pues ha generado cierto eco mediático pero tampoco debemos de exagerar lo que se ha logrado. Lo que se está viendo ahora mismo es que la inteligencia artificial en un problema en el que pueda obtener una solución, digamos, trabajando poco, la obtiene. Pero ese trabajo que hace el matemático de recorrer muchos posibles caminos, de desarrollar matemáticas que después la tiene que abandonar, la tiene que tirar a la basura porque no le sirven para nada, porque ha llegado un camino que no es el bueno, todo eso se puede publicar, se hacen resultados parciales y se publica. Esteado vela y no publica nada, pero son resultados irrelevantes, que acaban siendo publicados en revistas del montón y no acaban teniendo ningún tipo de impacto, pero es un trabajo de fondo que hay que hacer y que hace que el matemático aprenda, porque las demostraciones no es el resultado, es que a nadie ¿Le importa una demostración? La verdad, o sea, que se logre una demostración de algo es irrelevante, salvo grandes resultados muy famosos que hacen que te den premios y que te den medallitas y que te pidan que des muchas charlas, pero por lo demás es…