# IA revoluciona las matemáticas olímpicas: Seed-Prover conquista la IMO 2025

Episodio de [En la mente de la máquina](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina).

- Publicado: 3 de agosto de 2025
- Duración: 7 min
- Página: https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650644-ia-revoluciona-las-matematicas-olimpicas-seed-prover-conquista-la-imo-2025

## Sobre este episodio

escubre Seed-Prover y Seed-Geometry, los innovadores sistemas de inteligencia artificial de ByteDance Seed AI4Math que están transformando el campo del razonamiento matemático automatizado. Seed-Prover, un modelo de razonamiento de prueba completa estilo lema, ha demostrado habilidades excepcionales al resolver el 78.1% de problemas anteriores de la IMO, saturar MiniF2F y superar el 50% en PutnamBench, lo que representa una mejora significativa sobre el estado del arte previo. Además, Seed-Geometry aborda la falta de soporte geométrico en Lean y supera a los motores de geometría formales anteriores, resolviendo 43 de los 50 problemas de IMO-AG-50 y estableciendo un nuevo récord en problemas de la lista corta de la IMO. La combinación de estos sistemas permitió a ByteDance Seed participar en la IMO 2025 y probar completamente 5 de los 6 problemas, marcando un avance sustancial en la resolución de problemas matemáticos complejos y demostrando la efectividad de la verificación formal con largas cadenas de pensamiento.https://www.arxiv.org/pdf/2507.23726v1

Anterior: [Desvelando la personalidad oculta de la IA: ¿Cómo controlar los rasgos "Malvados" o "Alucinatorios" de los LLM?](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650648-desvelando-la-personalidad-oculta-de-la-ia-como-controlar-los-rasgos-malvados-o)
Siguiente: [MetaStone-S1: ¡El modelo de 32B que redefine la IA! Rendimiento de élite, tamaño compacto](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650645-metastone-s1-el-modelo-de-32b-que-redefine-la-ia-rendimiento-de-elite-tamano)

## Últimos episodios de En la mente de la máquina

- [Anthropic REEMPLAZA a Git con IA: Nace Scion, el control de código del futuro](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/147044027-anthropic-reemplaza-a-git-con-ia-nace-scion-el-control-de-codigo-del-futuro) · 1 de noviembre de 2026 · 21 min
- [¡Así Detectan IA Robada! Cuenca de Marcas de Agua y Detección de Modelos LLM Destilados](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/147029776-asi-detectan-ia-robada-cuenca-de-marcas-de-agua-y-deteccion-de-modelos-llm) · 31 de octubre de 2026 · 10 min
- [¡Google Presenta Gemini 4 Carbon! La IA Revolucionaria en Ciberseguridad y Código](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/147013300-google-presenta-gemini-4-carbon-la-ia-revolucionaria-en-ciberseguridad-y-codigo) · 29 de octubre de 2026 · 18 min
- [¿La IA Reemplazará a los Ingenieros? El Benchmark PLE de Google Revela la Verdad](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/147002129-la-ia-reemplazara-a-los-ingenieros-el-benchmark-ple-de-google-revela-la-verdad) · 28 de octubre de 2026 · 18 min
- [¡La Revolución de la IA! NCP-ArchPreview: Modelo Latente 2x Más Rápido](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/146978939-la-revolucion-de-la-ia-ncp-archpreview-modelo-latente-2x-mas-rapido) · 26 de octubre de 2026 · 29 min