o openai IMO notícias me atingiu muito pesado neste fim de semana Ainda estou na fase aguda do impacto, acho que Eu me considero um matemático profissional (uma caracterização que alguns matemáticos profissionais reais podem discordar, mas meu partido minhas regras) e eu não acho que eu possa 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 tem um ouro IMO, eu atualizo imediatamente para "esta pessoa é muito melhor em matemática do que eu sou" Agora, um bando de robôs pode fazê-lo. 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 cães. É divertido e interessante para que você faça mais, aprendendo os meandros de sua língua e seus costumes mais profundos. você aprende que outras pessoas se surpreendem com o que você pode fazer, você nunca se encaixou, mas você aprende que as pessoas apreciam sua capacidade e querem que você por perto as ajude. Os cães apreciam você também, o único bípede que realmente recebe. Você monta para si uma espécie de pertencimento. Então, um dia você acorda e o tradutor Universal Dog está à venda no Walmart por US $ 4,99 o resultado do IMO não é notícia, exatamente. na verdade, se você olhar para o comprimento da tarefa do agente METR ao longo do gráfico de tempo, eu acho que os agentes sendo capazes de resolver ~ 1,5 horas problemas está chegando na hora certa. Por isso, de alguma forma, não devemos ficar surpreendidos. E, de fato, parece que várias empresas alcançaram o mesmo resultado. é apenas... a maré subindo tão rápido quanto tem subido É claro que o luto pela minha identidade pessoal como matemático (e/ou membro produtivo da sociedade) é a menor parte desta história multiplique essa dor por *todos* matemáticos, por cada codificador, talvez por cada trabalhador do conhecimento, por cada artista... nos próximos anos... é uma história um pouco maior E, claro, além disso, há o medo da morte real, que talvez eu aborde mais adiante. Este pacote -- luto pela relevância, luto pela vida, luto pelo que conheci -- não é exclusivo da era da IA ou algo assim. Acho que é uma coisa padrão quando se avalia o fim da carreira ou o fim da vida. Pode ser que isso venha um pouco mais cedo para muitos de nós, de uma só vez. Gostaria de saber se estamos prontos