Le modèle d'inférence post-entraînement SU-01 a atteint des performances de médaille d'or dans les questions de niveau olympique

robot
Création du résumé en cours
AIMPACT message, le 16 mai (UTC+8), un nouvel article propose une méthode systématique pour transformer un modèle de raisonnement post-entraînement en un solveur de niveau olympique, et entraîne le modèle SU-01 basé sur cette méthode. La méthode comprend trois étapes : d'abord, un ajustement supervisé avec un cours de perplexité inversée pour inculquer une recherche de preuve rigoureuse et un comportement d'auto-vérification ; ensuite, l'expansion de ces comportements par un apprentissage par renforcement en deux phases (passant d'un apprentissage par renforcement avec récompense vérifiable à un apprentissage par renforcement au niveau des preuves) ; enfin, une amélioration des performances par mise à l'échelle lors de l'évaluation. L'équipe de recherche a appliqué la méthode au modèle de base 30B-A3B, en utilisant environ 340 000 trajectoires de sous-8K tokens pour un ajustement supervisé, suivi de 200 étapes d'apprentissage par renforcement, pour obtenir SU-01. Ce modèle peut effectuer un raisonnement stable sur des problèmes difficiles, avec une longueur de trajectoire dépassant 100 000 tokens, atteignant un niveau de médaille d'or dans des compétitions telles que IMO 2025/USAMO 2026 et IPhO 2024/2025, et montrant une capacité de généralisation dans le domaine du raisonnement scientifique au-delà des mathématiques et de la physique. (Source : InFoQ)
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • 6
  • 2
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
NoSleepBridge
· Il y a 4h
Après la formation, cette méthodologie de transformation, d'autres domaines peuvent-ils copier le travail ?
Voir l'originalRépondre0
ExitLiquidityStan
· Il y a 4h
Le mécanisme d'auto-vérification est essentiel, beaucoup de modèles en manquent.
Voir l'originalRépondre0
NftsOutsideTheTidalLine
· Il y a 4h
340 000 trajectoires alimentées, RL en seulement 200 étapes, l'efficacité est impressionnante
Voir l'originalRépondre0
PineNeedlesAndColdWind
· Il y a 4h
Enfin, quelqu'un a considéré la recherche de preuve comme une compétence centrale, la direction est bonne
Voir l'originalRépondre0
MirrorPetals
· Il y a 4h
Peut-on aussi faire des compétitions de physique ? Cette capacité de généralisation est vraiment inattendue
Voir l'originalRépondre0
SudoSoul
· Il y a 4h
Niveau médaille d'or IMO... À l'avenir, les compétitions devront-elles être divisées en groupe humain et groupe IA ?
Voir l'originalRépondre0