What's trending in AI right now, from the app charts to the community feeds. Real links, our take.
AI photo and video editing apps keep climbing the charts
A cluster of AI-powered photo and video apps have been moving up the iOS charts this week. Hypic, an all-in-one AI photo editor from the CapCut team, has been one of the bigger movers in the Photo & Video category. Multiple dedicated AI video generator apps have been climbing alongside it. These apps share a simple pitch: give them a prompt or a reference photo and the AI handles everything, no manual editing required. The category has been building for a while. The velocity this week across multiple unrelated apps suggests the audience has moved well past early adopters.
ChatGPT just upgraded its image generator
OpenAI released ChatGPT Images 2.5 on September 8, and it is rolling out to all plans, including free. The update generates images up to 50% faster and handles edits more precisely across multiple turns of a conversation. There is a new sketch feature that lets you draw a rough reference directly in the chat window before the image is generated, plus templates for common formats. Two new API model tiers are available for developers building on top of it.
OpenAI says AI proved one of math's most famous unsolved problems
OpenAI announced on September 8 that a system of 10,000 AI agents produced a formally verified proof for the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems each carrying a $1 million award. The proof was checked using the programming language Lean, which provides machine-verifiable guarantees. Quanta Magazine has the clearest breakdown of what the proof actually claims. The announcement has also sparked a serious dispute: NYU mathematician Tristan Buckmaster alleges that OpenAI learned of his team's approach and raced to publish first, with an OpenAI researcher allegedly warning him, "Why would you ruin your career?" TechCrunch has Buckmaster's account in full. OpenAI disputes his characterization of events. Reddit's AI communities have been moving fast on both threads of the story since yesterday.
Anthropic's IPO is moving to mid-October
Sources told Reuters that Anthropic's IPO has shifted to a mid-October launch, with the company's prospectus now expected in late September rather than this week. The listing is widely described as potentially worth around $2 trillion, which would rank it among the largest IPOs ever attempted. Anthropic is also reportedly finalizing a $15 billion revolving credit facility as part of the process. The planned timing puts the listing just ahead of U.S. midterm elections in November.
Google DeepMind mapped every possible single-letter change in human DNA
Google DeepMind published AlphaGenome Atlas on September 8. The database covers all 9 billion possible single-nucleotide variants in the human genome, with a predicted impact score for each one. Scientific American explains the practical upside: researchers studying a genetic disease can now look up how a specific variant is likely to behave rather than running separate experiments for each one. The database is free for academic use and available now through a browser portal and an API.