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 recomendados

• Artí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-671B
• Informe de SCMP sobre la actualización: https://www.scmp.com/tech/tech-trends/article/3308566/deepseek-quietly-updates-open-source-model-handles-maths-proofs
• Nota 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/notadevoz

Música: Happy Upbeat Rock de ihsandincer

Licencia adquirida en Envato Market Item

🎶ALL MUSIC FROM: ENVATO MARKETALL MUSIC FROM: ENVATO MARKET

https://elements.envato.com/es/audio/royalty-free-music

#Tecnología #Podcast #Actualidad #IA #DeepSeek #Matemáticas