26 episodios
00:59:01Habla: Francis Villatoro
↗

Búsqueda · 31 momentos en 16 episodios

Juan Carlos GilIgnacio CrespoFrancis VillatoroJosé EdelsteinHéctor SocasLuisa AchaerandioGastón Giribetdemostraciones matemáticas por investigadorescompetición entre matemáticos e iaproblemas resueltos por máquina a posterioriproblemas matemáticos para inteligencia artificialdificultad percibida de problemas villatoroconocimiento de la solución facilita problemasFrancis Villatoro

Problemas resueltos por máquina a posteriori

Ep547: Física con GPT; Espinosaurio; Consciencia (I)

26 de febrero de 2026
1 momento
Con
0:000:301:001:302:002:303:003:19

Francis Villatoro explica cómo matemáticos están desafiando a investigadores en inteligencia artificial a resolver problemas matemáticos que ellos mismos han demostrado.

…matemáticos demostraron nuevos resultados; eran secretos las demostraciones, solo la conocía el que la había demostrado y entonces ellos publicaron los enunciados y retaron a cualquiera que trabajara en el interés artificial a que resolviera esos problemas. Tú tenías que resolver los problemas, enviarles la solución y todo mantenerlo en secreto para que la competición fuera fiable. Y cuando se abre el plazo, se publican esas demostraciones humanas; a posteriori se miran las de máquina y algunos problemas han sido resueltos, ¿vale? No todos, ¿eh? Pero algunos han sido resueltos. Y esto es: son problemas que después, cuando lo miras de verdad y dices pues tampoco era tan complicado el problema, pero porque ves la solución. Claro, todo cuando lo sabes parece más fácil. Claro, una vez que sabes la solución, pero el matemático que la sacó pensaba que era un problema muy difícil. Entonces hay mucho interés en eso y entonces vamos a ver cosas muy, muy espectaculares en los próximos meses y En los próximos años, porque hay mucho dinero; es decir, ¿cuánto vale 12 horas de trabajo de una inteligencia artificial en desarrollo de OpenAI? Eso vale millones de euros. Literalmente, pero ahora mismo te lo ofrecen gratis si tú eres, por ejemplo, Andri…
Significado #1 · Palabras #1