Plus and Business just got GPT-6 Astra.
A day ago that was still a banked reset for every day without it. Today Tibo says the systems held, so they opened the rest of paid.
The model was ready Wednesday. The seat caught up Friday night.
OK nevermind, the team and Astra did a good job and our systems are more scalable than we anticipated.
Astra is now rolled out to all Plus and Business users too. Hope you have a blast and let us know how it goes!
Claude just wrote the first computer-checked proof of Fermat's Last Theorem.
11 days. 13 million lines of Lean. About 29,500 theorems on the way. The community formalization was supposed to take years.
Checking the proof just got cheaper than waiting on referees.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of
We've just reset weekly limits for everyone on a Claude Max plan.
With Fable 5.1 out and a long weekend ahead for many of you, we wanted to keep you building. I'd love to see what you build!
