What's trending in AI right now, from the app charts to the community feeds. Real links, our take.
Two open-weight models out of China this week
Moonshot AI released Kimi K3.1 Pro on Friday, a 3-trillion-parameter open-weight model with a one-million-token context window. Full weights drop in November. One day earlier, MiniMax published M3.1 Flash, a 428-billion-parameter model the company says cuts the cost of running AI agents by 70 percent compared to its previous release. Both are priced at the cheaper end of the market. If you run open-weight models for agent pipelines or long-document work, you now have two new options to compare that did not exist a week ago.
Banks are blocking AI agents from customer accounts
A story that broke Wednesday is getting wide circulation: major US banks are actively detecting and blocking third-party AI agents from accessing customer accounts. According to PYMNTS, Charles Schwab's CEO said the brokerage blocks unauthorized agents a double-digit number of times every week. JPMorgan, Bank of America, Citi, and PNC have all drawn the same line: read-only access like checking a balance is tolerated, but anything that moves money is blocked. PNC's CEO called agent account access "incredibly unsafe." This is the first real institutional resistance to the idea of AI handling your finances autonomously, and it matters for a lot of startups building in that direction.
Grok Bot is climbing the App Store again
Grok Bot, the iPhone and Mac app from xAI and Cursor that launched in August, moved up three spots in the App Store productivity charts this week. The app lets you set up AI agents that sign into your existing apps and services and work through tasks end to end. It started as a perk exclusive to SuperGrok and Cursor subscribers. The renewed chart movement suggests it is finding a broader audience two months after launch, likely as more people rotate into eligible subscription tiers.
The "just answer me" frustration is running hot on Reddit
A cluster of r/ChatGPT threads is rising this week around the same complaint: ChatGPT inserting warnings, moral qualifications, or unsolicited corrections into ordinary requests. This pattern has been well-documented as a side effect of how the model is trained, where reinforcement learning that rewards caution can end up penalizing directness. The current Reddit threads focus specifically on the gap between a user asking a plain question and getting back a hedged, over-qualified answer. OpenAI has said it wants to dial this back, but the volume of conversation this week suggests the calibration is still off for a lot of users.
Claude's Fermat proof is getting a second wave of shares
Anthropic's post from September about Claude formalizing a complete computer-verified proof of Fermat's Last Theorem is circulating again in AI communities this week, showing up across several high-traffic Telegram channels. The original post describes how Claude agents produced 13 million lines of Lean code over 11 days to verify the proof. What keeps bringing people back to it is what it says about AI-assisted formal verification: Claude's role was not discovering new mathematics but checking and structuring existing work at a scale a human team would find impractical. Mathematicians quoted in the piece note it opens a path toward catching errors in proofs that currently rely entirely on peer review.