Noticias y análisis de IA matemática

2 artículos verificados sobre IA matemática, productos y movimientos del sector.

Código abierto 2026-08-22

OpenBMB libera un modelo de formalización de 8B que supera a rivales de 32B

OpenBMB publica en código abierto MathForm, un modelo de 8B que traduce matemáticas a Lean 4 y supera a modelos de formalización de 32B en la prueba más difícil, FATE-X.

#IA matemática #Verificación Formal #LLM chinos

DeepMind 2026-04-22

La IA Aletheia de DeepMind resuelve 6 problemas matemáticos de nivel de investigación

Aletheia, la IA matemática más reciente de DeepMind, ha resuelto 6 de los 10 problemas de investigación no publicados del desafío FirstProof, con 5 soluciones evaluadas por expertos externos como publicables tras revisiones menores.

#Google AI #Investigación en IA #IA matemática