A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can check step by step.
With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.
Jean-Étienne Durand retweeted
it's shocking that software engineering has transitioned to 100% AI written in such a short time.
it's more shocking that somehow we, the SWEs, are all just continuing on as if nothing happened. It writes C++ better than I ever could, but the problem of making sure it works didn't magically disappear. we are just shipping enormously more volume at higher quality.
Jean-Étienne Durand retweeted
Unreformed communist dinosaur is planning the utter destruction of France.
The far-left candidate in next year’s French presidential election Jean-Luc Mélenchon has presented his political platform.
The most important proposals are:
- Lowered retirement age from 64 to 60
- Increased pensions
- Reduced workweek to 32 hours
- National health insurance covering 100% of medical costs
- Increase housing benefits by 10%
- Price control of certain essential products
- €1 meals for students
- Banning nuclear power
Jean-Luc Mélenchon’s party is the second-largest party in France after Marine Le Pen’s party and he has a chance of advancing from the first round to the second round of the presidential where he would then off with Marine Le Pen.
The winner of the second round becomes President of France.
Jean-Étienne Durand retweeted
I told Claude to make a video about what it's like to be European
One day later...
Jean-Étienne Durand retweeted
Today we announce 1Password for Agents platform, building with companies @Muse, SpaceX Super Intelligence Grok @Bot, @AnthropicAI’s @Claudeai, @OpenAI, @TownAI, @Browserbase, @Browser_use, @heydana_ai, Instinct, @usekernel, @Perplexity_ai, @tryramp, @Tomo, and @wajo_ai, with more integrations on the way. 🎉
We've heard from so many of our customers who want to use these new personal AI agents to help them get more done, but want more control over what the agent can access with the same trust and ease of use they get when using 1Password directly.
1Password for Agents gives your agents access without giving up your passwords. When an agent reaches a sign-in form, it requests a credential from your vault. If you approve the request, 1Password directly auto-fills the credential in the destination site so the agent can’t see or take possession of the credentials.
The agent gets the task done, but it doesn’t get your passwords..
You stay in control. 1Password for Agents free and optional for personal and family accounts. Unless you opt-in to an agent connector, agents cannot touch your vault.
➡️Learn more: bit.ly/487da6J
Jean-Étienne Durand retweeted
Introducing image-viewer!
A simple Claude Code mod that renders the images you paste above the prompt input.
github.com/jarrodwatts/claud…
Jean-Étienne Durand retweeted
We solved Navier-Stokes!
Many of my colleagues left their fields because they believed that working on AI would be the fastest way to solve their fields' grand challenges.
It's surreal to see the first of those challenges fall and to watch a future we believed in become real.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Jean-Étienne Durand retweeted
New in Claude Code: your sessions can now message each other.
Instead of having to re-explain yourself in another session, you can now tell Claude to do it. It sends a summary (not your history or files), and the other session picks it up mid-task.
Jean-Étienne Durand retweeted
Note that we've completely redesigned and rebuilt freenet.org over the past few years, it now supports things like entirely decentralized group chat.
Jean-Étienne Durand retweeted
Bypassing the latest #EU #ageVerification app (2026.07-1) with a Chrome extension... again.
Despite 3 months of security hardening and genuine improvements across the board, the fundamental issue cannot be solved.
Anonymous age verification doesn't work.
I honestly don't know how @vonderleyen can say it's "privacy preserving" with a straight face.
Do I need to hack it again?
introducing namethatui.com
a dictionary for ui things you can see but can't name
made it because i'm primarily a designer, and my biggest resistance was always knowing what things are called when prompting my agents
it learns as people use it: every search teaches the site new words, and the built-in pocket dictionary grows with it
give it a try and let me know what you think
can't find something? dm me and i'll add it
i want this to be the lowest resistance resource you have
you can just build things
Jean-Étienne Durand retweeted
Welcome to Open Source AI: Run Your Own Models Locally xitter.cf/i/broadcasts/1AGRnnELN…
Jean-Étienne Durand retweeted
🇫🇷 FLASH – Les plus grandes IA mondiales reconnaissent qu’elles auront besoin de plusieurs années supplémentaires pour comprendre le site des impôts français.
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.






























