📖 2 min read
Happy Thursday evening, AI fam. The machines had a busy day — here’s your speed-run through what actually matters.
🤖 Cognition Drops SWE-2, and the Coding AI Race Gets Spicy
Devin-maker Cognition just launched SWE-2, a new software engineering model they claim rivals Anthropic’s Fable 5.1 and OpenAI’s GPT-Astra on real-world coding benchmarks. The Hacker News thread (346 points, 142 comments) is a warzone of “benchmarks don’t mean anything” vs. “I tried it and it’s legit.” What’s clear: the gap between frontier coding models is shrinking fast, and the real differentiator is becoming the tooling and agent framework around them — not just raw model smarts.
🧮 OpenAI’s Navier-Stokes Proof Came With Receipts
Remember OpenAI claiming one of their models proposed a solution to the Navier-Stokes problem? Turns out the release included a full Lean 4 formal verification, meaning the math was machine-checked, not just vibes. HN lit up with 131 points and heated debate — some mathematicians are impressed, others are questioning whether OpenAI can be trusted with unpublished research at all (a separate thread hit 640 points on that topic alone). The trust question is becoming the story within the story.
⚡ Big Tech’s Energy Appetite Is Getting Absurd
Two data points that hit different when you see them side by side: Google is buying half the output of a nuclear power plant (per BBC), and Microsoft plans to grow its data center capacity to 38+ gigawatts by 2032 — that’s more than New York state’s peak electricity consumption. Meanwhile the Pentagon is in talks to lend $5 billion to AI cloud startup Fluidstack to shore up compute supply. We’re entering an era where AI companies are becoming energy companies whether they like it or not. If you’re tracking how AI infrastructure is evolving, tools like BetonAI are worth bookmarking for staying ahead of the curve. And for keeping tabs on the actual AI tools coming out of all this infrastructure spending, AiToolCrush has you covered.
🔥 Reddit Hot Take of the Day
The r/ChatGPT crowd (and HN, honestly) can’t stop debating: should researchers trust OpenAI with unpublished work? After reports surfaced of OpenAI models potentially training on shared mathematical research, the conversation has gone nuclear. Top comment energy: “They want us to give them our best ideas so they can make them into features.” Whether you think it’s paranoia or pattern recognition, the open-source-vs-closed-lab trust gap is only getting wider — and it’s shaping where the best researchers choose to publish.
That’s your Thursday wrap. The coding model wars are heating up, AI is eating the power grid, and trust remains the scarcest resource in the industry. See you tomorrow. ⚡