Owain Evans continua empurrando esses papéis e eles são alucinantes. Que!?

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

Há apoio bipartidário para o meu projeto de lei para revogar o aumento de impostos do Partido Republicano sobre perdas com jogos de azar que podem 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 fazê-lo:

A propósito, como um aparte, não anunciamos na sexta-feira porque respeitamos o pedido original do Conselho da IMO de que todos os laboratórios de IA compartilhassem seus resultados somente depois que os resultados oficiais tivessem sido verificados por especialistas independentes e os alunos tivessem recebido a aclamação que mereciam

1/ Há uma categoria de pessoas que fizeram uma árdua jornada mental para se sentirem confortáveis com a ideia de pós-humanismo, uploads e uma extinção gradual dos humanos biológicos.

Se você não olhou para Tezos ultimamente ... 👀 Agora é a hora. O ímpeto do ecossistema está esquentando. Aqui está uma atualização rápida sobre o que está acontecendo on-chain e IRL 🔥🧵

Uma visão sutil e correta neste tópico. O abaixo é de fato um limite inferior, espere um progresso significativo na exploração em breve.

🚨 De acordo com um amigo, a IMO pediu às empresas de IA que não roubassem os holofotes das crianças e esperassem 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, "o senso geral do júri e dos coordenadores da IMO é que foi rude e inapropriado" para a OpenAI fazer isso. A OpenAI não foi uma das empresas de IA que cooperou com a IMO no teste de seus modelos, portanto, ao contrário dos prováveis resultados do Google DeepMind, não podemos nem ter certeza de que a "medalha de ouro" da OpenAI é legítima. Ainda assim, os organizadores da IMO pediram diretamente à OpenAI que não anunciasse seus resultados imediatamente após a olimpíada. Infelizmente, a OpenAI deseja hype e influência muito mais do que se preocupa em permitir que essas crianças incrivelmente inteligentes celebrem suas conquistas e, por isso, anunciaram os resultados ontem.

O ouro IMO é super impressionante. Eu só quero registrar uma previsão, estou 80% confiante de que a execução de inferência custou mais de US $ 1 milhão em computação. Principalmente porque se eles pudessem fazer isso por US $ 1 milhão, eles fariam, e eles seriam capazes de fazê-lo por US $ 1 milhão antes de poderem fazê-lo por menos.

Do que se trata @tezos tudo? Entrevistamos @ArthurB, o criador do tezos para descobrir👇