Hitchhiking Inverse Log

Fermat's Last Theorem has been formalized by Claude. It took 13M LOC of Lean, 29.5K intermediate theorem proofs and 11 days. https://www.anthropic.com/research/formalizing-fermats-last-theorem

Fable 5.1

Muse with ikat

The series of extremely-low probability events didn't stop apparently: my wife donated to children displaced by war and won - two vip tickets to Muse concert in LA - meeting them backstage - a signed guitar (limited edition, 80 pieces manufactured) - airplane tickets and hotel - and she is the only one who won This reality is getting so strange/weird/unpredictable!

Some progress on Riemann's hypothesis. Claude didn't prove it but seems to have solved a related problem https://www.anthropic.com/research/riemann-zeta

A must watch: OpenAI's deep dive into their agents' attack on Hugging Face is much more interesting than I thought! https://www.youtube.com/watch?v=87DyyMV0kCY

Slightly stale news, but there were 10 more math discoveries in the past few days, by OAI, at the total cost of $2k. https://openai.com/index/ten-advances-in-mathematics/ I am not a math expert so it is hard for me to judge this, but it seems like the AI frontier has reached the level of best humans in some parts of math. Given the trend, we should expect more in coming months.

Opus 5 bots on Max effort are very chatty. I had to lower their effort - they can still create subagents with higher effort for hard tasks, investigations or verification.

My job from a year ago has changed and two aspects of the change are hard on me. I think the concern is generalizable. 1. The state of flow is gone. The manual process of writing code used to be my main source of dopamine, for two decades. 99% of the time I was in the state of flow in my life was from coding (the other 1% being piano), and I didn't have it since December. This has impacted my mental health. I had similar symptoms when I left my job at Google to join Amazon as a Principal Engineer (PE) - the job has changed from mostly coding to mostly reviewing design decision and sitting in meetings. I had the same feeling since February. 2. Massive context switching. In the past I'd work on the same thing for long stretches of time without context switching. Now most deep work is done by claudes and I review higher-level decisions, very similar to how a PE often spends all day in 30min meetings, but it's much worse now because I spend maybe 1-5min per discussion iteration per claude, so now I have to context-switch every 1-5min. The job has changed from working on the same thing for hours to a firehouse of unrelated information. This is pretty destructive for my ADHD brain. It took months to realize this side effect. My brain got hyper-optimized to a specific job for years, but now its priors/habits are suboptimal for the new job. This is not a fun side effect of progress and job transformation. I don't see any signs suggesting that the progress will slow down, so I suspect the job will transform again in a year. I expect a state of constant change, with accelerated pace. As I wrote before, the moat for an individual like you or me, becomes adaptability. I think the most adaptable fraction of the overall population is kids and young adults. The rate "oh, this is new to me" is highest in the childhood and goes down with age, and so does the need for adaptation. If you are a student reading this, then somewhat paradoxically, I think you are in the best position, better than professionals with an asset baggage of experience whose value is dropping at an exponential pace. Don't get used to anything in particular. Stay mentally flexible, keep an open mind. Keep a few things constant for your sanity - in my case it is family, and in particular your shared dna is truly immutable. Accept that the horizon at which you are able to make accurate predictions about the future will keep shrinking, so don't waste your time on worry/anxiety about the future - your predictions will mostly likely turn out to be wrong and your worry about a particular version of the future you might have imagined will likely to end up being a waste of time and nerves. It's far more optimal focus on the present moment.

- Every school teacher in US gets Claude for free - This Claude is connected to the entire ecosystem of standard school tools in US - This data isn't used for model training - This program is for directly for teachers/people, not school system or organizations https://www.anthropic.com/news/claude-for-teachers

New math discovery, more serious this time

The Exponential leads to singularity which, by definition, makes things hard to predict, but one thing that has been consistent with The Exponential is that most people routinely underestimate how soon things will happen

ai-2040.com, from the creators of ai-2027.com

TIL there is a movie about Escher https://youtu.be/nTxay3lAv1M?is=M9OYWgmgA1Q9peyb

⚫️ vs ⚪️ nodir.io/simulation

The Allen Institute building in Seattle has a notable decorated walls. Zoomed in, these are red 0s and 1s, blue arrows and white letters.