¿Qué implicaciones reales tiene para la ciencia, la ingeniería y tu vida diaria que se haya presentado una aparente solución a las ecuaciones de Navier-Stokes utilizando formalización en Lean e inteligencia artificial? vamos aterrizar con rigor matemático…

¿Es verdad que la inteligencia artificial acabará resolviendo absolutamente todos los problemas de las matemáticas? Tras el revuelo mediático de Navier-Stokes y los millones invertidos en modelos de razonamiento y asistentes de pruebas formales, en este video…

¿Qué hay detrás del anuncio de OpenAI sobre haber resuelto más de 100 problemas matemáticos abiertos en casi todas las ramas de la ciencia? ¿Por qué no han liberado la lista completa, los enunciados ni las demostraciones, y qué implicaciones tiene esto para…

¿Cómo es posible utilizar un kilómetro cúbico de hielo en el Polo Sur como telescopio para observar los rincones más violentos y lejanos del universo? Te explico la física, las matemáticas y la historia detrás del Premio Nobel de Física 2026, otorgado a Francis…

¿Qué ocurre cuando el matemático más brillante y respetado de nuestra era, Terence Tao (Medalla Fields), pasa de la cautela frente a la inteligencia artificial a liderar la mayor evolución en la forma de hacer ciencia? Te explico la histórica conferencia…

¿Realmente puede una red neuronal entender las leyes de la geometría del espacio tridimensional o solo está generando sombras estadísticas convincentes a partir de imágenes planas? Código: MATHR9 en https://www.hi3d.ai

Analizo el modelo Hi3D y la tecnología…

¿Qué ocurre cuando juntas el poder destructivo de la computación cuántica con los modelos de inteligencia artificial más avanzados de OpenAi y Anthropic? Te explico el reciente trabajo conjunto de investigadores de Anthropic y Harvard (con Claude 3.5 Sonnet)…