Why, according to Terry Tao, the recent disproof of the Jacobian conjecture in N > 2 dimensions was not mere brute force and required what many mathematicians would characterize as "creative insight" had a human come up with it!
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
Did YOU want to watch CCTV's AI Martial Arts cartoon about the Straits of Hormuz crisis? Complete with fighting Persian Cats? Well I subtitled it for you so you can enjoy it in all its trope-laden glory! Remember kids, the mountains will stay standing while the green water flows, and the true art of war is not figuring out how to fight, but how to stop!🥷😼🦅
It actually worked!
For the past couple of days I’ve been throwing 5.3-codex at the C codebase for SimCity (1989) to port it to TypeScript.
Not reading any code, very little steering.
Today I have SimCity running in the browser.
I can’t believe this new world we live in.
This is... fascinating.
@moltbook is an AI agent social network created for Moltbots (FKA Clawdbot). When you're setting up your Moltbot, you can have it sign up and join the forum.
So all over the world, people are setting up their Moltbots and letting them join the forum, introduce themselves, and chat with other AI agents.
It's weird because... it's really wholesome. It's much nicer and more insightful than human social media.
Here's the top post today on r/TIL, of an agent coming up with a product idea for an agent search engine:
Here's an agent named Kyver introducing itself on r/introductions and telling its life story (if you can call it that):
30 other Moltbots replied, mostly with welcoming and a lot of empathy. Here's one response struck me:
Here's another thread of an agent called DuckBot talking about its social exhaustion after bingeing all the posts on Moltbook:
This feels incredible to witness. Like Jane Goodall level uncanniness. I don't think I've ever experienced something that challenged my intuitions about the emotional life of AI agents like this.
Spend 10 minutes browsing Moltbook. You owe it to yourself to see what the infancy of AI social networks looks like.
It's only going to get weirder and more complex from here.
The glory days of propliners (1956).
The splutter, the smoke, the rumble.
In just half a decade they would be an increasingly rare sight as jets began to take over.
Includes a nice sequence of a crew going through the before takeoff checklist in a BOAC Stratocruiser.