Búsqueda · 31 momentos en 19 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetresultados útiles para matemáticosestrategia demostración matemáticaresolver familias de problemasimpacto de nuevas herramientasInteligencia ArtificialMatemáticoFrancis Villatoro
Resultados útiles para Matemáticos
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20262 momentos
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica qué tipo de resultados son valiosos para los matemáticos, diferenciando entre resultados útiles que simplifican el trabajo y nuevas herramientas o estrategias de demostración con potencial para resolver familias de problemas.
…apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más lejos pero necesito que alguien la demuestre entonces demostrar algo que implique que tenga digamos un amplio interés porque resuelve a mucha gente le resuelve la papeleta y le permite ir más allá o por otro lado una nueva estrategia o una nueva herramienta de demostración matemática y que tenga potencial de poder resolver familias de problemas completos más o menos similares y eso pues tendrá un cierto impacto. Y por ahora todavía no ha habido ni una nueva Estrategia lo suficientemente interesante ni ningún problema lo suficientemente interesante entre estos problemas de Erdős que se haya logrado resolver. Pero eso acabará cayendo, ¿vale? Esto es como todo: están tirándole balas a todos los problemas y mucha…
Significado #1 · Palabras #1
Francis Villatoro describe cómo la inteligencia artificial está logrando demostrar resultados matemáticos utilizando técnicas y estrategias de demostración ya conocidas.
Habla: Francis VillatoroSignificado #6inteligencia artificial demuestra resultados matemáticosdemostraciones lean aristótelesmatemático experto no replica demostración ia…o lo que sea la intensidad artificial te lo hace en un rato, en un par de horas. Y si lo ha hecho bien, maravilloso. Y si lo ha hecho mal, pues nada, se olvida como si nunca hubiera ocurriendo. Entonces, lo que está ocurriendo ahora mismo es que estamos Logrando con intensidad artificial demostrar, con demostraciones un poquito más cortas, un poquito 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…
Francis Villatoro explica qué tipo de resultados son valiosos para los matemáticos, diferenciando entre resultados útiles que simplifican el trabajo y nuevas herramientas o estrategias de demostración con potencial para resolver familias de problemas.
Habla: Francis VillatoroSignificado #1 · Palabras #1resultados útiles para matemáticosestrategia demostración matemáticaresolver familias de problemasimpacto de nuevas herramientas…apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más lejos pero necesito que alguien la demuestre entonces demostrar algo que implique que tenga digamos un amplio interés porque resuelve a mucha gente le resuelve la papeleta y le permite ir más allá o por otro lado una nueva estrategia o una nueva herramienta de demostración matemática y que tenga potencial de poder resolver familias de problemas completos más o menos similares y eso pues tendrá un cierto impacto. Y por ahora todavía no ha habido ni una nueva Estrategia lo suficientemente interesante ni ningún problema lo suficientemente interesante entre estos problemas de Erdős que se haya logrado resolver. Pero eso acabará cayendo, ¿vale? Esto es como todo: están tirándole balas a todos los problemas y mucha…