DeepSeek actualiza su modelo de IA centrado en las matemáticas

DeepSeek, el laboratorio chino de inteligencia artificial, ha actualizado su modelo Prover, una IA diseñada para resolver pruebas matemáticas y teoremas complejos. La nueva versión, llamada Prover V2, fue publicada en Hugging Face y se basa en una arquitectura con 671 mil millones de parámetros, lo que la convierte en una de las más avanzadas de su tipo. Utiliza un sistema de expertos especializados (MoE), lo que le permite dividir y resolver tareas de forma más eficiente.Esta actualización refuerza el compromiso de DeepSeek con el desarrollo de modelos especializados en razonamiento formal, un campo con aplicaciones críticas en ciencia, tecnología y seguridad informática. La empresa también ha lanzado mejoras en su modelo generalista V3 y anticipa una actualización de su modelo R1 centrado en razonamiento.🔗 Fuentes y recursos recomendadosArtículo original en TechCrunch: https://techcrunch.com/2025/04/30/deepseek-upgrades-its-ai-model-for-math-problem-solving/Página del modelo Prover V2 en Hugging Face: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671BInforme de SCMP sobre la actualización: https://www.scmp.com/tech/tech-trends/article/3308566/deepseek-quietly-updates-open-source-model-handles-maths-proofsNota de Reuters sobre la búsqueda de inversión: https://www.reuters.com/technology/artificial-intelligence/alibaba-chinese-state-funds-interested-investing-deepseek-information-reports-2025-02-19/Me pueden seguir en todas las redes cono @fran_villafanez💻 https://notadevoz.franvillafanez.com ✉️ https://notadevoz.substack.com/ 📧 [email protected] 📱Canal de Telegram https://t.me/notadevozpodcast 📱Grupo de Telegram https://t.me/+e1ElFTsLZYo1NGVh 📱Canal de WhatsApp https://whatsapp.com/channel/0029VaAq3pt8fewmSh8h2r2a ☕ Invitame un café https://cafecito.app/notadevozMúsica: Happy Upbeat Rock de ihsandincerLicencia adquirida en Envato Market Item🎶ALL MUSIC FROM: ENVATO MARKETALL MUSIC FROM: ENVATO MARKEThttps://elements.envato.com/es/audio/royalty-free-music#Tecnología #Podcast #Actualidad #IA #DeepSeek #Matemáticas