preuve mathématique
2 published articles
Intelligence Artificielle
MiniMax M3 et l'art de fabriquer un modèle de preuve résistant à la triche
MiniMax détaille l'ingénierie derrière les capacités de preuve de M3 : un vérificateur en profondeur qui a survécu au mode de défaillance de piratage des récompenses du cycle M2, et MaxProof, un cadre de passage à l'échelle au niveau de la population qui transforme l'échantillonnage en recherche guidée. Sur l'IMO 2025 et l'USAMO 2026, M3 avec MaxProof dépasse le seuil de la médaille d'or humaine.
2026-07-16
Recherche en IA
Comment MaxProof transforme les vérificateurs génératifs en moteur de révolution des preuves
MaxProof est un cadre de passage à l’échelle au moment du test qui modélise la génération de preuves mathématiques comme un processus de recherche évolutive. En combinant Proof RL, l’alignement des vérificateurs et l’augmentation par raffinement, il transforme la vérification générative peu fiable en un système de récompenses digne de confiance pour l’entraînement et l’inférence.
2026-07-05