IA y matemáticas: ¿OpenAI resolvió Navier-Stokes?

IA y matemáticas: OpenAI afirma haber resuelto más de cien problemas abiertos, incluido Navier-Stokes. ¿Qué se ha demostrado realmente y quién debe verificarlo?

Analizamos las pruebas formalizadas en Lean, los miles de agentes de IA utilizados, el papel de los matemáticos y el debate sobre el futuro del conocimiento científico. También exploramos sus riesgos: errores difíciles de detectar, centralización tecnológica y el valor de la comprensión humana.

Suscríbete para más análisis sobre inteligencia artificial, ciencia y tecnología, y dale like si te ha interesado el episodio.

🤖 Contenido generado con IA: el guion, las voces y las imágenes de este episodio se produjeron con herramientas de inteligencia artificial.

#InteligenciaArtificial #Matemáticas #OpenAI #NavierStokes #Ciencia #IA #Tecnología