Búsqueda · 19 momentos en 5 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 chatgptBarretoChatGPT 5.2ErdősLiam PriceFrancis VillatoroChatGPTAristotleLeanPaul ErdősGPTTerry TaoJared LixmanLaTeXInteligencias ArtificialesJared Ducker Litzman
Barreto resuelve problemas Erdős
Con
0:000:301:001:302:002:303:003:37
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.
…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…
Significado #1 · Palabras #1
Francis Villatoro habla sobre un libro relacionado con las demostraciones matemáticas del fallecido Paul Erdős y menciona que Jared Ducker Litzman hizo una tesis doctoral sobre el problema 1196 de Erdős.
Habla: Francis VillatoroPalabras #12tesis doctoral sobre problema erdosjared ducker litzman y erdosgpt y demostraciones matemáticas…en los que trabajó Erdős, y supuestamente cierta relación a cosas que ha dicho o ha hecho el disc, pero son demostraciones realmente algunas muy muy curiosas y yo se lo recomiendo a todos los oyentes que quieran disfrutar de divulgación matemática. No sé si se considera la edición, yo lo tengo prácticamente del mismo año en que salió; me recuerdo si era en 2005, pero bueno, en inglés ha tenido más ediciones y es un libro bastante curioso. Pues bien, un matemático, Jared Ducker Litzman, que hizo su tesis doctoral en este problema en concreto, en el 1196 de Erdős, afirmó en redes sociales cuando vio la demostración de GPT. 5.4 Pro que era una demostración que merecía estar en el libro. Y eso que tú dices, qué tontería, ¿no? Qué tontería. No, qué tontería. No, esto viralizó esta demostración. Todos los matemáticos en el mundo dijeron: ¿Cómo? La primera vez en la historia que una…
Francis Villatoro explica la razón por la cual el resultado matemático generado por GPT ha sorprendido a la comunidad científica, relacionándolo con la popularidad reciente de los problemas planteados por Paul Erdős.
Habla: Francis VillatoroSignificado #7 · Palabras #6problemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdősproblemas erdős con formato latexintroducción problemas erdős en iademostraciones de problemas por iasjared lixman defendió tesis doctoral 2017problema erdős director de tesis…realmente Lisman cuando decía esta demostración merece estar en el libro, lo que decía es: bueno, la versión mía con Pau, todavía no la tenía, lo dijo antes de detenerla; es la que merece estar en el libro. Es decir, ahí hay bastante soberbia matemática. ¿Qué es lo que ha sorprendido de este resultado matemático en concreto? Pues lo que ha sorprendido, porque la mayoría de los problemas de Erdős son problemas que nadie les ha prestado atención, ¿vale? O sea, muchos de los problemas de Erdős han sido resueltos sin que el que los resolviera supiera que los estaba resolviendo es decir, tú haciendo tu trabajo matemático llegas a que te interesa tener un pequeño resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la demostración? ¿Qué ha pasado con este matemático Lixman? Lixman hace unos... bueno, defendió la tesis doctoral en 2017. Esto fue sobre 2014. Le propuso a su director de tesis que quería trabajar en un problema de Erdős. En este problema de Erdős, y su director de tesis le dijo: no te metas en un problema de Erdős; no lo vas a sacar y vas a perder el tiempo; no vas a ganar nada. Métete en un problema de verdad, de lo que yo te puedo dar. Bueno, en su tesis doctoral hizo un avance parcial en este problema. Este problema es una identidad asintótica, ahora lo comentaré quizá en un poquito más detalle, pero básicamente es que un cierto límite de una cierta propiedad que tienen ciertos conjuntos…
Francis Villatoro describe el proceso que sigue Liam Price, un aficionado al uso de inteligencia artificial para resolver problemas matemáticos, en colaboración con su amigo Barreto.
Habla: Francis VillatoroSignificado #9 · Palabras #3ia resuelve problemas matemáticossoftware aristotle genera código leanlean valida demostraciones matemáticasenvío a la página erdos…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 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 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 chatgpt…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…
Francis Villatoro continúa describiendo la productividad del equipo formado por Liam Price y su amigo Barreto, comparándolos con otros individuos productivos en el ámbito de la resolución de problemas matemáticos.
Habla: Francis VillatoroSignificado #6 · Palabras #2resultado matemático publicado erdősproblemas erdős hace 60 añosproductividad equipo price barreto…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,…