demostración matemática
2 published articles
Inteligencia Artificial
MiniMax M3 y el arte de hacer que un modelo de demostraciones sea resistente al engaño
MiniMax detalla la ingeniería detrás de las capacidades de demostración de M3: un verificador de defensa en profundidad que sobrevivió al modo de fallo por manipulación de recompensas del ciclo M2, y MaxProof, un marco de escalado en tiempo de prueba a nivel de población que convierte el muestreo en una búsqueda guiada. En IMO 2025 y USAMO 2026, M3 con MaxProof supera el umbral humano de medalla de oro.
2026-07-16
Investigación en IA
Cómo maxproof convierte a los verificadores generativos en un motor de revolución de pruebas
MaxProof es un marco de escalado en tiempo de prueba que modela la generación de pruebas matemáticas como un proceso de búsqueda evolutiva. Al combinar Proof RL, alineación de verificadores y aumento por refinamiento, convierte la verificación generativa poco confiable en un sistema de recompensa confiable para el entrenamiento y la inferencia.
2026-07-05