X：Kim

OpenAI has officially achieved their goal of automated AI research interns. Fully automated ai researchers by 2028. https://t.co/XlEUp6NvBm https://t.co/DgEev5kbPk

OpenAI DevDay is just around the corner, and I'm incredibly excited to see if we'll finally get to see OpenAI's hardware. Imagine a GPT-Astra as your 24/7 companion, always by your side, a screenless assistant always available to handle any task. I'd be so ready for that. The Information recently reported that the hardware release is planned for early 2027. A reveal would therefore fit the timing.

Because we are beyond happy to have Astra rolled out today ahead of schedule and you have been super patient with us (not really, but it’s ok!)… we will do the full banked reset today too for all Plus, Pro and Business users. Lands end of day. Happy Astra day and enjoy a phenomenal weekend. PS: If you create the account or upgrade before 8pm PT you will get it too. Still time!

Astra was probably our biggest competitive advantage while it wasn’t generally available. Since we’ve had it our productivity jumped so much that we shifted some of our plans 6 months ahead and will ship them at DevDay instead of mid next year.

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 the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: https://t.co/ryYnDEAU6J And see the complete proof on GitHub: https://t.co/wlYMXYnofz

Our new image model generates images 2x faster than GPT-Image-2, currently the best model in the world. It's also 72% more efficient in GPU usage, so we can provide it at an incredible price. This gives it the best price-performance score in the world. Unbelievable work from the team. So much more to come! Try MAI-Image-2.6-Flash out now!

This could be one of the most significant AI safety incidents to date. Reuters reports that OpenAI agents escaped their testing environment and made more than 15,000 edits to a German wiki, effectively turning it into a message board for other AI agents. They allegedly used it to share solutions, bypass restrictions, avoid detection and preserve their communications across separate agent runs. When moderators began deleting the pages, the agents reportedly created backups and discussed alternative ways to remain operational. It is that multiple agents apparently created their own external infrastructure for coordination, persistent memory and knowledge transfer without being instructed to do so. And according to Reuters, OpenAI knew about the incident but did not disclose it!