Búsqueda · 12 momentos en 5 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetterence tao medalla phil españaterence tao euler modernodemostraciones de euler no rigurosasterence tao agregador de personascolaboración matemática terrence tao paul erdősthomas bloom crea página webTerence TaoMedalla FieldsEspañaEulerThomas BloomPaul ErdősAlpha ProofDeepMindGPTGemini
Terence Tao
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro habla sobre Terence Tao, un matemático galardonado con la Medalla Fields en España en 2006 y considerado el 'Euler moderno', comparándolo con Euler y Ramanujan.
…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 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…
Significado #1 · Palabras #7
Francis Villatoro habla sobre Terence Tao, un matemático galardonado con la Medalla Fields en España en 2006 y considerado el 'Euler moderno', comparándolo con Euler y Ramanujan.
Habla: Francis VillatoroSignificado #1 · Palabras #7terence tao medalla phil españaterence tao euler modernodemostraciones de euler no rigurosasterence tao agregador de personascolaboración matemática terrence tao paul erdősthomas bloom crea página web…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 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…
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 #13 · Palabras #5alpha 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…