1/ Se o DeepSeek-Math-V2 está por trás do recente salto de pontuação para 38/50, então encaixar um modelo de ~700GB em um único H100 que tenha aproximadamente 6 minutos de tempo de execução por problema matemático (essas são as restrições de Kaggle) um dia após seu lançamento seria uma conquista impressionante.

1/ Hoje aconteceu o maior salto de pontuação da história do AIMO: estamos em 38/50. Normalmente, os aumentos de pontuação são da ordem de poucos pontos, e é incomum que a distância até os outros competidores seja tão grande, especialmente porque a maioria dos problemas fáceis já foi resolvida.

AIMO3 foi lançado! Confira nosso mini-benchmark de problemas de referência abaixo e nos ajude a reduzir a diferença para LLMs comerciais a zero!