Parabéns à equipe GDM pelo resultado da IMO! Acho que seu sucesso paralelo destaca a rapidez do progresso da IA. A abordagem deles foi um pouco diferente da nossa, mas acho que isso mostra que há muitas direções de pesquisa para um maior progresso. Algumas reflexões sobre nosso modelo e resultados 🧵

~ 2 meses atrás, a IMO nos enviou um e-mail sobre a participação em uma versão formal (Lean) da IMO. Estamos focados no raciocínio geral em linguagem natural sem as restrições do Lean, então recusamos. Nunca fomos abordados sobre uma opção de matemática em linguagem natural.

Nos últimos meses, fizemos muito progresso no raciocínio geral. Isso envolveu coleta, curadoria e treinamento em dados matemáticos de alta qualidade, que também serão incluídos em modelos futuros. Em nossa avaliação IMO, não usamos RAG ou quaisquer ferramentas.

Antes de compartilharmos nossos resultados, conversamos com um membro do conselho da IMO, que nos pediu para esperar até depois da cerimônia de premiação para torná-la pública, um pedido que honramos com alegria.

Anunciamos às ~ 1h PT (18h AEST), após a conclusão da cerimônia de premiação. Em nenhum momento alguém pediu que anunciássemos depois disso.

Mais do que tudo, estamos entusiasmados em compartilhar nosso progresso e resultados com o mundo. Os recursos de raciocínio de IA estão progredindo rapidamente, e esses resultados da IMO realmente mostram isso.