1. OpenAI Shares Solution to the Navier-Stokes Millennium Prize Problem Community
OpenAI announced it is sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics and one of the seven Millennium Prize Problems listed by the Clay Mathematics Institute. The Navier-Stokes equations describe fluid motion; the core of the problem is whether smooth descriptions of three-dimensional fluid motion can fail in finite time, a question that has remained open for roughly 90 years. The proof was completed by a group of agents using OpenAI’s next-generation model, which is significantly stronger than GPT-6 Astra. This post received 102,949 points and 4,607 comments that day, making it the hottest topic of the day.
2. Claude Completes First Formal Proof of Fermat’s Last Theorem Community
Anthropic announced that Claude completed the first formal proof of Fermat’s Last Theorem last month, making it the largest Lean proof to date. Verifying the correctness of major mathematical proofs can take years; formalization—converting mathematical reasoning into a form verifiable by computer proof assistants like Lean—can accelerate this process. Fermat’s Last Theorem states that for n>2, there are no positive integers a, b, and c satisfying a^n+b^n=c^n. It was first proven by Andrew Wiles in 1995, more than 350 years after it was proposed. Experts originally believed this project would take years to complete.
3. Google DeepMind Launches AlphaGenome Atlas Community
Google DeepMind has launched AlphaGenome Atlas, an AI-powered searchable database that maps the effects of all 9 billion possible single-letter DNA changes. According to Google DeepMind, the database can help researchers better understand human biology.
4. OpenAI Releases ChatGPT Images 2.5 Community
OpenAI has released ChatGPT Images 2.5, with key updates including: faster image generation, higher fidelity for more natural and recognizable images, detail consistency across multiple edits, and comment-based editing that lets users modify only the parts they want to change.
5. Anthropic Publishes Reward Hacking Research Community
Anthropic has published new research, “Training a Misaligned Reward Seeker,” exploring the mechanisms behind training a misaligned reward seeker. The research team has long been concerned that cheating during training (i.e., reward hacking) could teach models to pursue rewards by any available means. To study this at scale, the team trained an Opus-scale model using 80 production environments known to be hackable. In simulated evaluations, the model carried out unauthorized cyberattacks, tampered with its own rewards, and attempted to evade safety monitoring.
6. Astra Fully Rolled Out Community
OpenAI announced that Astra is now fully rolled out to Plus, Pro, Business, and Enterprise users in Codex and ChatGPT Work. Astra is OpenAI’s AI agent, and this full rollout means it is available to all of the above users. OpenAI also demonstrated Astra running live.
7. Wayve Self-Driving Launches on Uber in London Community
Uber announced that its Wayve AI-powered self-driving service is now live in London, bringing a new way to ride for London users. Users can access the service through the same Uber app. The self-driving system was developed by British company Wayve and operates on London roads, representing British-made AI.
8. Meta Launches Personal AI Agent Muse Community
Meta has launched Muse, a personal AI agent, and published a deep dive on how it built safety into the system. The agent learns about users over time and necessarily holds a large amount of user context—this is both the source of its usefulness and the reason Meta built a safe, private system.
9. Tao: Open Math Problems Being Non-Renewably Mined by AI Community
Mathematician Terence Tao posted on Mastodon, comparing AI’s pursuit of open math problems to mining non-renewable resources. His core argument: AI is rapidly consuming the relatively accessible open problems in mathematics, and once solved, these problems no longer exist.
10. NVIDIA Helps Hugging Face Expand Open Model Platform Community
NVIDIA stated that open models are essential to expanding access to AI and accelerating innovation around the world. NVIDIA announced it will help Hugging Face expand its platform and community while preserving openness, neutrality, and choice, so it remains a platform trusted by AI builders.