What's trending in AI right now, from the app charts to the community feeds. Real links, our take.
Google Announced Two Big Things This Week
On October 27, Google DeepMind unveiled Genie 4, a new "world model" that generates interactive, photorealistic environments you can navigate and modify in real time. Unlike a video, it responds to your inputs — you type a prompt mid-simulation to change the scene, and the model updates around you, complete with generated audio. Then on October 28, Google announced Gemini 4 Carbon, its new flagship model, which currently sits at the top of the Artificial Analysis Intelligence Index and leads on cybersecurity benchmarks for finding and patching code vulnerabilities. Carbon is rolling out first to security researchers, with broader public access to follow. Two significant releases in two days is notable even by the current pace of AI announcements.
AI Just Verified the World's Longest Math Proof
A startup called Axiom used AI agents to formally verify the Classification of Finite Simple Groups, a mathematical proof that spans roughly 15,000 pages across hundreds of papers and took about 100 mathematicians decades to complete. Axiom finished the job in 24 days, producing approximately 43 million lines of verified code in the Lean proof assistant. Along the way, the agents found 34 discrepancies in the published work, including one actual gap that required a new mathematical result to fill. The reason this is worth paying attention to even if you are not a mathematician: formal verification matters for software safety, cryptography, and any field where a proof being airtight is the whole point.
Anthropic's Claude Duet Is Now in Preview
On October 21, Anthropic opened a waitlisted research preview of Claude Duet, a standalone app that runs Claude as a background agent. It monitors connected apps like Gmail, Slack, and QuickBooks, sends daily briefings on what needs attention, and keeps working after you close it. It asks for your approval before sending messages, making payments, or signing documents. Access is currently limited to Pro and Max users in the US. The social conversation is already comparing it directly to ChatGPT's Dots feature, so expect both to be benchmarked against each other in depth as they come further out of preview.
ChatGPT's Chat and Work Modes Are Being Merged
OpenAI's head of ChatGPT, Thibault Sottiaux, confirmed on Lenny Rachitsky's podcast that the Chat and Work tabs in ChatGPT will be folded into a single experience. His explanation was that users appreciate what Work can handle for longer tasks but sometimes want Chat's speed for simpler questions, so the company is removing the split. No timeline has been announced, and how usage limits will work under a unified interface is still unclear. The r/ChatGPT feed has been busy this week as users notice the interface shifting in real time.
Privacy-First AI Apps Are Climbing the App Store
Private LLM, an app that runs language models entirely on your device with no data sent to a server, climbed three spots in the App Store Utilities chart this week. The pattern fits: privacy concerns are pushing more consumers toward on-device AI, and phone hardware has caught up enough to make running capable models locally practical on current flagship devices. If you have ever hesitated before pasting something personal into a cloud-based AI tool, apps in this category are built specifically for that concern.