A única parte interessante do lançamento do Frontier, enquanto aguardamos o feedback real dos usuários, é verificar quais avaliações ainda não foram descartadas. Vamos lá, FrontierMath!
Uma pena para Putnam, mas a sequência DeepSeek-Prover-2 > Seed-Prover continuará sendo parte integrante da história da matemática do LLM.