marshAI retweetledi
marshAI
1.7K posts

marshAI retweetledi

Erdős problem #90 has been open for decades. Over the weekend a mathematician tested whether Claude Mythos could solve it. It did.
But what caught my attention: Mythos didn't replicate the known approach from OpenAI's #1196 solution. It repeatedly settled on a different argument, one the mathematician called cleaner, with "no analytic complications." Air-gapped, no internet, no information leakage.
GPT-5.5 solved numerous Erdős problems earlier this year. DeepMind's Nexus knocked out 9. Now Mythos, with a cleaner proof than the one that already existed.
Problems that survived 80 years are falling in weeks.
levent@__alpoge__
over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem, aka erdos problem #90. the answer is: yea
English

@beffjezos Nah, automate all jobs. Who the fuck wants to work a job when will have abundant intelligence and labor all around. Automate and then let's go live.
English
marshAI retweetledi

@misraetel @VraserX Do you think it'll be economically viable work? I see people doing things because they like it and maybe there is some sub economy for human endeavors/creations but If AI/bots are faster, cheaper, safer, then I don't see how humans would command a premium to make it worth it.
English

@VraserX We need more thinking and more work to make life better still. There no fixed amount of work to do… more is better and humans can add to machine labor!
English
marshAI retweetledi
marshAI retweetledi
marshAI retweetledi
marshAI retweetledi
marshAI retweetledi

three of the things we are most excited about:
1. AGI accelerating research
2. AGI accelerating companies
3. personal AGI accelerating everyone in achieving their goals
today it was great to announce the unit distance result.
yesterday it was great to announce that we are offering to invest $2M in openai credits into every YC company.
now we need to increase our efforts on the third!
English
marshAI retweetledi

a general-purpose model solved a major open problem in mathematics.
we'll be saying this a lot over the coming years, but this is a kinda big milestone.
i'm very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today.
Timothy Gowers @wtgowers@wtgowers
If you are a mathematician, then you may want to make sure you are sitting down before reading further.
English
marshAI retweetledi
marshAI retweetledi

Update: as we get closer, I’m hearing that 3.5 is confirmed and the benchmarks are high !
Chris@Chrisgpt
So far we're only seeing Gemini 3.2 from a lot of model providers but I'd be surprised if they head into Google I/O without announcing Gemini 3.5. Maybe they just don't have it ready to serve. My best guess is that it is finished though. I can guarantee from what we are seeing on the backend that we will see a new flash model.
English
marshAI retweetledi

@__tinygrad__ It's almost as if it'd have to progress exponentially to do so...
English
marshAI retweetledi
marshAI retweetledi
marshAI retweetledi

I huddled with the team. Tomorrow we’re putting a human head-to-head against the robots
Let’s settle this once and for all
modifylife@FallisAaro51194
@adcock_brett Need a human doing the same job to compare
English
marshAI retweetledi
marshAI retweetledi

@kenwheeler You’re going to enjoy today.
Adam.GPT@TheRealAdamG
I’ve been looking forward to today (Thursday) for a few weeks now.
English








