Búsqueda · 31 momentos en 20 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblemas ris erdősrepositorio bloom problemas risartículos publicados paul erdősRISThomas BloomPaul ErdősFrancis VillatoroGeminiCloudChatGPT ProDISTerence TaoLe LutierJuan Carlos GilAlpha ProofDeepMindGPTGastón Giribet
Repositorio bloom problemas RIS
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica la existencia de aproximadamente 1500 problemas de RIS relacionados con los artículos publicados por Paul Erdős y menciona la creación de un repositorio online por parte del matemático Thomas Bloom.
…la esencia de lo que quería decir, no lo que realmente dice. Y entonces el problema es lo que quería decir en el contexto de ese artículo y de los artículos que escribió en esa época, en su vida. Entonces a veces los problemas no están bien formulados. Entonces se estima que, habiendo publicado unos 1500 artículos, hay del orden de unos 1500 problemas de RIS. Hay varios libros que recopilan algunos, algunos cientos de esos problemas. Y hasta hace muy poco tiempo no había ningún repositorio, no había ninguna página web que, digamos, sistemáticamente los pusiera. Entonces es una cosa que hizo un matemático, Thomas Bloom. a petición de Terence Tao Territau es de Medalla Phil en España en 2006 y es el gran genio de la matemática y es el Euler moderno. No Euler, por las técnicas de demostración de Euler, porque Euler era muy pachanguero a la hora de demostrar, era como…
Significado #1 · Palabras #1
Francis Villatoro explica la existencia de aproximadamente 1500 problemas de RIS relacionados con los artículos publicados por Paul Erdős y menciona la creación de un repositorio online por parte del matemático Thomas Bloom.
Habla: Francis VillatoroSignificado #1 · Palabras #1problemas ris erdősrepositorio bloom problemas risartículos publicados paul erdős…la esencia de lo que quería decir, no lo que realmente dice. Y entonces el problema es lo que quería decir en el contexto de ese artículo y de los artículos que escribió en esa época, en su vida. Entonces a veces los problemas no están bien formulados. Entonces se estima que, habiendo publicado unos 1500 artículos, hay del orden de unos 1500 problemas de RIS. Hay varios libros que recopilan algunos, algunos cientos de esos problemas. Y hasta hace muy poco tiempo no había ningún repositorio, no había ninguna página web que, digamos, sistemáticamente los pusiera. Entonces es una cosa que hizo un matemático, Thomas Bloom. a petición de Terence Tao Territau es de Medalla Phil en España en 2006 y es el gran genio de la matemática y es el Euler moderno. No Euler, por las técnicas de demostración de Euler, porque Euler era muy pachanguero a la hora de demostrar, era como…
Francis Villatoro describe la evolución de un repositorio online creado por Thomas Bloom para catalogar los problemas relacionados con los artículos publicados por Paul Erdős, destacando su crecimiento constante desde marzo de 2023.
Habla: Francis VillatoroSignificado #2 · Palabras #2terence tao agregador de personascolaboración matemática terrence tao paul erdősthomas bloom crea página webproblemas erdős catalogados bloomrepositorio online problemas marzo 20231136 problemas resueltos erdősdemostraciones descubiertas problemas erdős…era muy pachanguero a la hora de demostrar, era como Ramanoyen, era una persona que me inspira, me inspiran los dioses y yo hago... Entonces sus demostraciones eran muy, hoy en día no les llamamos rigurosas, son formales, pero no son rigurosas, muchas se Han convertido en rigurosas con matemáticos posteriores, pues Territau es un gran agregador de personas. Se parece mucho a Paul Erdős en el sentido de que ha colaborado con muchísima gente. Entonces incitó a este señor, a este matemático, Thomas Bloom, a crear una página web y la creó en. Marzo de 2023. En mayo tenía unos 200 problemas, a día de hoy sigue creciendo el número de problemas; tiene 1136 problemas. De esos 1136 problemas se coloca si está resuelto o no está resuelto y si está resuelto en qué artículo o artículos se resolvió y todavía se siguen descubriendo demostraciones de algunos de estos problemas. Lo que hay que situar o recordar es que estos. Problemas son, de esos 1.136, se estima que hay unos 1.500; de esos 1.136, unos muy poquitos, por eso unas decenas, son problemas difíciles e interesantes. Es decir, son problemas que han atraído el interés de matemáticos y ha habido intentos de demostrar…
Francis Villatoro explica que muchos de los problemas relacionados con los trabajos de Paul Erdős no han sido resueltos debido a la falta de recopilación en un único lugar.
Habla: Francis VillatoroSignificado #13problemas erdős sin recopilarmatemático encuentra problemas erdősresultado útil problema erdős…inteligencia artificial y ese es el tema del que yo quería hablaros. Los problemas son unos poquitos, son muy difíciles; hay unos cientos que son de dificultad moderada y después hay una cola de más de mil o del orden de mil que son entre comillas fáciles. ¿Y por qué no han sido resueltos? Porque nadie ha intentado resolverlos, porque como no estaban recopilados en ningún sitio, pues nadie se ha atrevido. de hecho algunos de esos problemas han sido resueltos, es decir, alguien, otro matemático, mientras estaba trabajando en un artículo, de repente se ha encontrado con ese problema, ah pues me vendía bien este resultado, Ha escrito el resultado y ha escrito la demostración y ha continuado; no se ha dado cuenta, nadie le ha dicho, nadie se ha dado cuenta de que ese pequeño limita que tienen en medio de un artículo resulta que es un problema de Erdős, entonces eso ha pasado y…
Francis Villatoro describe cómo se están llevando a cabo intentos de resolución de problemas utilizando diferentes herramientas como Gemini, Cloud y ChatGPT.
Habla: Francis VillatoroSignificado #5intentos fallidos gemini problemas disproblemas dis herramienta cloud fallidochatgpt 5 2 pro intentos dis…la IA, pero es una demostración con, digamos, heurísticos humanos, pero bueno, heurísticos humanos muchas veces de personas que no son expertos en el tema y por lo tanto muchas veces llevan a demostraciones; es una de las cosas que se quejaba aterritado, ¿no? el número de intentos fallidos confesados a problemas de el DIS. Entonces tienes diferentes problemas, 5 intentos. Intento con Gemini, fallido, 3. Intento con Cloud, 4, fallido. Intento con ChatGPT, 5.2 Pro, 2. Y te va poniendo los que han fallado. entonces eso está bien porque ya te da una cierta Sensación, aún así ahora mismo hay muchísima gente que por ese minuto de gloria que es aparecer tu nombre en una página web de que tú has sido el que le pusiste el teorema a EchaGPT o a Equivalente, a Jimenae o al que sea y que te ha dado la demostración,…
Francis Villatoro explica que matemáticos expertos en otras áreas o informáticos están resolviendo problemas de RIS, aunque hasta el momento no ha surgido una idea realmente sorprendente por parte de la inteligencia artificial.
Habla: Francis VillatoroSignificado #3 · Palabras #3matemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificial…más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un matemático experto en ese área podría haberlo hecho. Le ocurre que está ocurriendo que no lo está haciendo. Un matemático experto en ese área, lo están haciendo matemáticos expertos en otras cosas o informáticos y gente así que le gusta trabajar en estas cosas de matemática recreativa, entre comillas, de demostrar problemas de RIS. Hasta ahora no se ha demostrado ningún resultado realmente que tú digas: ha habido una idea feliz, una idea realmente sorprendente por parte de la inteligencia artificial. Pero se está trabajando en ello y se cree que puede ser inminente porque hay tanto trabajo ahora mismo que Es posible que en alguno de estos problemas la inteligencia artificial proponga una solución que los matemáticos digan: ¿qué maravilla?, esto es súper fascinante. Entonces esta es un poco la situación en la que nos encontramos ahora mismo. El último…
Francis Villatoro menciona Alpha Proof, una herramienta de DeepMind para resolver problemas matemáticos, destacando la colaboración entre DeepMind y Terence Tao.
Habla: Francis VillatoroSignificado #19alpha proof de deepmindcolaboración deepmind terence taointeligencias artificiales deepminddemostraciones alpha proof gpt…claro, es un lenguaje que tienes que conocer, si no lo conoces no te enteras empieza definiendo lo que cabría esperar, sea un anillo, que tiene adición, que tiene multiplicación y cuando quieres ver algo relacionado con un triángulo han pasado tres páginas ya Vale, pues muy bien y eso, en este contexto también se puede mencionar Alpha Proof; Alpha Proof es el de DeepMind. DeepMind también está atacando muchos problemas matemáticos y DeepMind cuenta con la ventaja de que Terence Tao está colaborando con ellos. A Terence Tao le dan acceso a las últimas inteligencias artificiales de DeepMind, de este Alpha Proof en las últimas versiones, que es mucho más poderoso y mucho más específico para demostraciones que los GPT, por ejemplo, de PNI o Gemini y compañía; y bueno, seguramente de esa colaboración saldrá algún resultado interesante. El Territau este está muy fascinado por lo que está viendo, pero otra cosa es a ver hasta dónde llega eso. Pero bueno, va a haber sorpresas con seguridad en este año. Pero eso, pasar del problema este de Erdos a Navier Stock, que es como el otro que se ha lanzado a la piscina, o P frente a NP, o hipótesis de Riemann, bueno pues no sé si lo veremos. No, con la intensidad artificial ahora mismo no, pero no se sabe lo que va…
Juan Carlos Gil recuerda su hábito de escuchar grabaciones de Le Lutier mientras conducía durante años, lo que le provocaba risa y distracción.
Habla: Juan Carlos GilPalabras #11grabaciones le lutier en cochebalada de la vaca le lutierdistracción juan carlos gil le lutierpérdida atención conducción le lutier…interesante lo que se han basado en eso, en el retraso o el desfase entre que reaccionas con la mirada y llegas a ser casi de un segundo. Sí, sí, es que es mucho, es que realmente se desplaza. Decías que debemos oír Coffee Break, yo durante varios, bastantes. años en torno a la universidad, siempre que iba en coche o a menudo, no oía música sino grabaciones de Le Lutier, ¿vale? Sabía de memoria, os puedo cantar la balada de la vaca, bueno, de memoria, bueno, sin embargo, siempre, una vez detrás de otra, me partía de risa; era inevitable. Eso es, tuve que dejar de hacerlo por seguridad: perdía la atención, anticipaba cuando iban a decir el chistaco y cuando llegaba, me desterrillaba. Pero es un buen punto, porque hay como una especie De, no sé qué piensan ustedes, pero cuando yo estudiaba, me acuerdo en la facultad, en el pregrado, allá por los 90, 94, 95, me acuerdo que tenía una selección de CDs de música que podía usar para estudiar, que tenían que ser no los que me gustaban demasiado,…
Gastón Giribet opina sobre la actitud de los neurocientíficos que trabajan con teorías de comportamiento, sugiriendo que se están divirtiendo a costa de ellos y podrían revelar una broma en el futuro.
Habla: Gastón GiribetPalabras #19teoría de comportamiento neurocientíficosbromas neurocientíficos giribet…diseñado, o quizás debían haberlo repetido con otras formas de romper el... Porque efectivamente Batman sugiere una figura de autoridad y además es una figura que precisamente está velando para que se cumplan las normas. Tengo una teoría; tengo una teoría que Probablemente no la van a compartir. Acércate el micro para que lo digamos. Yo creo que los neurocientíficos de este tipo, no los que están con la pipeta y con las células, los que están haciendo estas cosas de teoría de comportamiento, estas cosas, se están cagando de risa a nosotros y un día van a decir: maestro, era joda esto, si no te diste. Hay como, no sé, hay unos experimentos de eye-tracking. No, no quiero dar detalles porque he leído cada cosa; debe estar algún autor amigo de Madrid escuchando esto, pero no sé, hay como, no sé, es gracioso. Con muchos unicornios, con muchos unicornios, ya…