Búsqueda · 30 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 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ősChatGPT 5.2AristotleLeanIgnacio Crespo
Shagpt ayuda a 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 explica que existen situaciones donde evitar ciertas etiquetas puede ser perjudicial, ya que estas pueden ayudar a comprender mejor el caso particular del individuo.
Habla: Ignacio CrespoPalabras #14etiquetas para comprender casos individualesprofesional tras la etiqueta aplicadaevitar etiquetas puede ser perjudicial…excepcionalidad, que es gente que dice trastorno de eficiencia de atención y altas capacidades, y entonces se compensan y por eso no me lo han diagnosticado, sin ir a ningún sitio para que se lo diagnostique o para que le indiquen si va por ese camino o no. Pero hay casos que tampoco están justificados donde se evitan esas etiquetas cuando pueden ser beneficiosas porque nos ayudan a entender que es el caso que tenemos delante, por supuesto en una primera visión, por eso lo hace un profesional, porque después de la etiqueta viene él y esta persona exactamente como lo expresa, qué constelación de síntomas y características de esta posible enfermedad mental expresa y por lo tanto cómo tenemos que actuar. y ahí es donde sí que está el verdadero trabajo de los expertos de salud mental, pasa por las…
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 #6 · Palabras #2equipo 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 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 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,…