Owain Evans keeps pushing out these papers and they're mind blowing. What!?

the openai IMO news hit me pretty heavy this weekend i'm still in the acute phase of the impact, i think i consider myself a professional mathematician (a characterization some actual professional mathematicians might take issue with, but my party my rules) and i don't think i can answer a single imo question ok, yes, imo is its own little athletic subsection of math for which i have not trained, etc. etc., but. if i meet someone in the wild who has an IMO gold, i immediately update to "this person is much better at math than i am" now a bunch of robots can do it. as someone who has a lot of their identity and their actual life built around "is good at math," it's a gut punch. it's a kind of dying. like, one day you discover you can talk to dogs. it's fun and interesting so you do it more, learning the intricacies of their language and their deepest customs. you learn other people are surprised by what you can do. you have never quite fit in, but you learn people appreciate your ability and want you around to help them. the dogs appreciate you too, the only biped who really gets it. you assemble for yourself a kind of belonging. then one day you wake up and the universal dog translator is for sale at walmart for $4.99 the IMO result isn't news, exactly. in fact, if you look at the METR agent task length over time plot, i think agents being able to solve ~ 1.5 hour problems is coming right on time. so in some way we should not be surprised. and indeed, it appears multiple companies have achieved the same result. it's just... the rising tide rising as fast as it has been rising of course, grief for my personal identity as a mathematician (and/or productive member of society) is the smallest part of this story multiply that grief out by *every* mathematician, by every coder, maybe every knowledge worker, every artist... over the next few years... it's a slightly bigger story and of course, beyond that, there is the fear of actual death, which perhaps i'll go into more later. this package -- grief for relevance, grief for life, grief for what i have known -- isn't unique to the ai age or anything like that. i think it is a standard thing as one appreaches end of career or end of life. it just might be that that is coming a bit sooner for many of us, all at once. i wonder if we are ready

There is bipartisan support for my bill to repeal the GOP tax hike on gambling losses that could hurt not just Nevada, but the gaming industry across the country. I spoke with @DougPolkVids about the path forward, and why I'm confident we can get it done:

Btw as an aside, we didn’t announce on Friday because we respected the IMO Board's original request that all AI labs share their results only after the official results had been verified by independent experts & the students had rightly received the acclamation they deserved

1/ There is a category of people who took a arduous mental journey to get comfortable with the idea of post humanism, uploads, and a gradual extinction of biological humans.

If you haven’t looked into Tezos lately… 👀 Now’s the time. Ecosystem momentum is heating up. Here's a quick update on what's happening on-chain and IRL 🔥🧵

A nuanced and correct take in this thread. The below is in fact a lower bound, expect significant progress in exploration soon.

🚨 According to a friend, the IMO asked AI companies not to steal the spotlight from kids and to wait a week after the closing ceremony to announce results. OpenAI announced the results BEFORE the closing ceremony. According to a Coordinator on Problem 6, the one problem OpenAI couldn't solve, "the general sense of the IMO Jury and Coordinators is that it was rude and inappropriate" for OpenAI to do this. OpenAI wasn't one of the AI companies that cooperated with the IMO on testing their models, so unlike the likely upcoming Google DeepMind results, we can't even be sure OpenAI's "gold medal" is legit. Still, the IMO organizers directly asked OpenAI not to announce their results immediately after the olympiad. Sadly, OpenAI desires hype and clout a lot more than it cares about letting these incredibly smart kids celebrate their achievement, and so they announced the results yesterday.

IMO gold is super impressive. I just want to register a prediction, I'm 80% confident the inference run cost over $1M in compute. Mostly because if they could do it for $1M they would, and they would be able to do it for $1M before they can do it for less.

What is @tezos all about? We interviewed @ArthurB, the creator of tezos to find out👇