as notícias da openai IMO me atingiram muito forte neste fim de semana Ainda estou na fase aguda do impacto, acho que Eu me considero um matemático profissional (uma caracterização com a qual alguns matemáticos profissionais reais podem discordar, mas meu partido minhas regras) e não acho que posso responder a uma única pergunta IMO OK, sim, IMO é sua própria pequena subseção atlética de matemática para a qual eu não treinei, etc. etc., mas. se eu encontrar alguém na natureza que tenha um ouro IMO, eu imediatamente atualizo para "essa pessoa é muito melhor em matemática do que eu" Agora um bando de robôs pode fazer isso. Como alguém que tem muito de sua identidade e sua vida real construída em torno de "é bom em matemática", é um soco no estômago. é uma espécie de morte. Tipo, um dia você descobre que pode falar com cachorros. É divertido e interessante, então você faz mais, aprendendo os meandros de sua língua e seus costumes mais profundos. Você aprende que outras pessoas estão surpresas com o que você pode fazer. Você nunca se encaixou, mas aprende que as pessoas apreciam sua capacidade e querem que você as ajude. Os cães também apreciam você, o único bípede que realmente entende. você monta para si mesmo uma espécie de pertencimento. Então, um dia, você acorda e o tradutor universal para cães está à venda no Walmart por US $ 4,99 o resultado da IMO não é exatamente novidade. na verdade, se você olhar para o gráfico de duração da tarefa do agente METR ao longo do tempo, acho que os agentes sendo capazes de resolver problemas de ~ 1,5 hora estão chegando na hora certa. Então, de alguma forma, não devemos nos surpreender. E, de fato, parece que várias empresas alcançaram o mesmo resultado. é só ... a maré subindo tão rápido quanto tem subido Claro, o luto pela minha identidade pessoal como matemático (e / ou membro produtivo da sociedade) é a menor parte dessa história multiplique essa dor por *todos* matemáticos, por todos os programadores, talvez todos os trabalhadores do conhecimento, todos os artistas... nos próximos anos... é uma história um pouco maior E, claro, além disso, há o medo da morte real, que talvez eu fale mais tarde. Este pacote - luto pela relevância, luto pela vida, luto pelo que eu conheci - não é exclusivo da era da IA ou algo assim. Eu acho que é uma coisa padrão, pois se chega ao fim da carreira ou ao fim da vida. Pode ser que isso esteja chegando um pouco mais cedo para muitos de nós, de uma só vez. Eu me pergunto se estamos prontos

Estamos vendo um progresso de IA muito mais rápido do que **Paul Christiano** e **Yudkowsky** previram, que tiveram ouro em 2025 em 8% e 16%, respectivamente, por métodos mais gerais do que o esperado

Então, todos os modelos têm desempenho inferior ao dos humanos nas novas questões da Olimpíada Internacional de Matemática, e o Grok-4 é especialmente ruim nisso, mesmo com a seleção melhor de n? Incrível!

Assistir ao modelo resolver esses problemas da IMO e alcançar um desempenho de nível ouro foi mágico. Alguns pensamentos 🧵