Búsqueda · 32 momentos en 24 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 priceLiam PriceBarretoFrancis VillatoroChatGPTGPT 5.2GPT 5.4ErdősChatGPT 5.2AristotleLeanKing's CollegeUniversidad de CambridgeScientific AmericanTeorema de ErdősHéctor SocasCoffee Break: Señal y Ruido
Equipo price Barreto verifica teorías
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,…
Significado #1 · Palabras #1
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 VillatoroPalabras #4liam 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…
Héctor Socas advierte sobre el envío de teorías científicas alternativas al podcast, explicando que estas se desechan directamente para evitar conflictos de interés con los trabajos de los miembros del equipo.
Habla: Héctor SocasSignificado #17 · Palabras #13teorías científicas alternativasconflicto de interés equipo podcastresultados parecidos teorías…le pido a HGPT que me escriba un paper para una revista de física con todas esas ideas y va a HGPT y me la escribe el paper de escandalosamente bonito. Bueno, pues eso es lo que se está haciendo con... Déjame decir una cosa; solo te interrumpo un momento, por favor, esos papers que hacen están súper interesantes pero no nos los manden a nosotros. Yo lo he puesto en la página web, que hay un disclaimer ahí, que no leemos teorías de otros, más que nada puede generar un conflicto de interés, pues supongan ustedes que cualquiera de nosotros está trabajando una teoría así, y luego resulta que sacamos un resultado parecido y alguien dice, no, esto ya lo mandé yo, para evitar eso, ya les digo, todo lo que nos llega va directamente a la papelera sin leer, así que aquí nuestra postura oficial es que todas las teorías científicas alternativas que nos vengan con sus descubrimientos Van directamente a la papelera, si tienen un descubrimiento lo mandan a la revista o como muchos lo suben al archive, gracias Pues en matemáticas la Ventaja que tenemos es que podemos formalizarlo en un lenguaje especial de demostración automática. Podemos aplicarle el demostrador automático y eso si nos dice que la demostración es correcta, pues es correcta. O sea, el enunciado y todo el desarrollo…
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 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,…