MiniMax estrutura de prova matemática de código aberto MaxProof, que eleva M3 à linha de ouro através de busca evolutiva

robot
Geração de resumo em curso
Notícias do site Coinjie, o responsável pelas relações com desenvolvedores da MiniMax, Ryan Lee, anunciou que o framework de expansão MaxProof para testes de provas matemáticas de grandes modelos foi oficialmente open source, juntamente com um artigo técnico complementar. MaxProof reconstrói a fase de raciocínio de provas matemáticas como um sistema de busca evolutiva, implementando escalabilidade do raciocínio através de mecanismos de validação, reparo e eliminação. Sob o suporte do framework MaxProof, o modelo MiniMax-M3 obteve 35 pontos no teste da Olimpíada Internacional de Matemática (IMO 2025) e 36 pontos na Olimpíada de Matemática dos Estados Unidos (USAMO 2026), ambos atingindo a pontuação de medalha de ouro (42 pontos). Este framework, ao integrar as três principais capacidades de geração, validação e reparo, construiu um mecanismo de validação em múltiplos níveis de defesa, convertendo com sucesso a melhor capacidade do modelo em provas matemáticas em uma performance mais estável.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • 4
  • 2
  • Partilhar
Comentar
Adicionar um comentário
Adicionar um comentário
LateFeeLeo
· 3h atrás
Há algum link para o artigo técnico? Gostaria de focar nos experimentos de ablação da estratégia de correção.
Ver originalResponder0
ReflectionsOnTheStreetCorner
· 3h atrás
A ideia de evolução de busca + fusão de três capacidades é interessante, parece muito mais eficiente do que apenas amostragem aleatória, economiza poder de processamento.
Ver originalResponder0
QuantsAndCats
· 3h atrás
MiniMax-M3 esta pontuação realmente é competitiva, mas a linha de medalha de ouro do IMO varia a cada ano, os dados de 2025 aguardam o lançamento oficial para comemorar.
Ver originalResponder0
SlippageSailor
· 3h atrás
Aberto? Vou lá verificar o código para ver como o módulo de validação foi projetado
Ver originalResponder0
  • Fixado