Owain Evans continua a publicar estes artigos e são de deixar a mente em frangalhos. O quê!?

as notícias do openai IMO me atingiram bastante pesado neste fim de semana ainda estou na fase aguda do impacto, eu acho considero-me um matemático profissional (uma caracterização com a qual alguns matemáticos profissionais reais podem ter problemas, mas a minha festa, as minhas regras) e não acho que consigo responder a uma única pergunta do imo ok, sim, imo é sua própria pequena subseção atlética da matemática para a qual não treinei, etc. etc., mas. se eu encontrar alguém na vida real que tenha uma medalha de ouro do IMO, eu imediatamente atualizo para "esta pessoa é muito melhor em matemática do que eu" agora um monte de robôs pode fazer isso. como alguém que tem muito da sua identidade e da sua vida real construídas em torno de "é bom em matemática", é um soco no estômago. é uma espécie de morte. como, um dia você descobre que pode falar com cães. é divertido e interessante, então você faz isso mais, aprendendo as complexidades da língua deles e seus costumes mais profundos. você aprende que outras pessoas ficam surpresas com o que você pode fazer. você nunca se encaixou exatamente, mas aprende que as pessoas apreciam sua habilidade e querem que você esteja por perto para ajudá-las. 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 de cães está à venda no walmart por $4,99 o resultado do IMO não é exatamente uma novidade. na verdade, se você olhar para o gráfico de comprimento da tarefa do agente METR ao longo do tempo, eu acho que os agentes serem capazes de resolver problemas de ~ 1,5 horas está vindo bem a tempo. então, de certa forma, não deveríamos nos surpreender. e, de fato, parece que várias empresas alcançaram o mesmo resultado. é apenas... a maré crescente 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 desta história multiplique esse luto por *cada* matemático, por cada programador, talvez por cada trabalhador do conhecimento, cada artista... ao longo dos próximos anos... é uma história um pouco maior e, claro, além disso, há o medo da morte real, sobre o qual talvez eu fale mais tarde. este pacote -- luto pela relevância, luto pela vida, luto pelo que conheci -- não é único da era da IA ou algo assim. eu acho que é uma coisa padrão à medida que se aproxima do fim da carreira ou do fim da vida. pode apenas ser que isso esteja chegando um pouco mais cedo para muitos de nós, todos de uma vez. eu me pergunto se estamos prontos

Há apoio bipartidário para o meu projeto de lei que revoga o aumento de impostos do GOP sobre as perdas de jogos, que pode prejudicar não apenas Nevada, mas a indústria de jogos em todo o país. Falei com @DougPolkVids sobre o caminho a seguir e por que estou confiante de que podemos conseguir isso:

A propósito, não anunciámos na sexta-feira porque respeitámos o pedido original do Conselho da IMO de que todos os laboratórios de IA partilhassem os seus resultados apenas depois de os resultados oficiais terem sido verificados por especialistas independentes e os alunos terem recebido, como é justo, a aclamação que mereciam.

1/ Existe uma categoria de pessoas que fez uma árdua jornada mental para se sentir confortável com a ideia do pós-humanismo, uploads e uma extinção gradual dos humanos biológicos.

Se não tens olhado para o Tezos ultimamente… 👀 Agora é a hora. O impulso do ecossistema está a aquecer. Aqui está uma rápida atualização sobre o que está a acontecer na cadeia e na vida real 🔥🧵

Uma análise matizada e correta neste tópico. O que se segue é, de fato, um limite inferior; espere um progresso significativo na exploração em breve.

🚨 De acordo com um amigo, o IMO pediu às empresas de IA para não roubarem o destaque das crianças e para aguardarem uma semana após a cerimônia de encerramento para anunciar os resultados. A OpenAI anunciou os resultados ANTES da cerimônia de encerramento. De acordo com um Coordenador do Problema 6, o único problema que a OpenAI não conseguiu resolver, "a sensação geral do Júri e dos Coordenadores do IMO é que foi rude e inadequado" da parte da OpenAI fazer isso. A OpenAI não foi uma das empresas de IA que cooperaram com o IMO na testagem dos seus modelos, então, ao contrário dos prováveis resultados da Google DeepMind que estão por vir, não podemos nem ter certeza de que a "medalha de ouro" da OpenAI é legítima. Ainda assim, os organizadores do IMO pediram diretamente à OpenAI para não anunciar os seus resultados imediatamente após a olimpíada. Infelizmente, a OpenAI deseja muito mais hype e prestígio do que se preocupa em deixar essas crianças incrivelmente inteligentes celebrarem suas conquistas, e assim anunciaram os resultados ontem.

Na minha opinião, o ouro é super impressionante. Só quero registrar uma previsão, estou 80% confiante de que o custo da execução da inferência ultrapassa $1M em computação. Principalmente porque se eles pudessem fazer isso por $1M, eles o fariam, e seriam capazes de fazê-lo por $1M antes de conseguirem fazê-lo por menos.

Sobre o que é @tezos? Entrevistámos @ArthurB, o criador do tezos, para descobrir👇