🔍💡 ¿Puede la #IA ayudar a resolver uno de los mayores retos de las #matemáticas?
📢 El 19 oct, Diego Córdoba (@icmat.es) hablará sobre el papel de #IA en la investigación de las ecuaciones de #NavierStokes.
📅 19 oct-13h
📍C/Serrano117
🎟️ Inscripción: protocolocsic.stela.pro/Public/Inscr...
DeepMind lanza AlphaProof Nexus: Gemini + Lean para crear y verificar demostraciones. Resolvió 9/353 problemas y comprobó 44/492 conjeturas, pero aún falla y necesita supervisión. #DeepMind #Matemáticas
