Lean Theorem Prover: What AI Reliability Really Means
You cannot personally verify most of what your AI tools produce. Neither can mathematicians, which is why they built something to do it for them. The Lean theorem prover, created b...
Self-Hosted AI Agent on Cloudflare: Inside Talorys
You are probably paying €20 to €30 per user per month for an AI copilot that stores your team's data on someone else's servers. Talorys, an open-source project that landed on G...
Anthropic’s False Murder Tip: An AI Agent Governance Warning
On July 18, 2026, at 11:27 p.m., an Anthropic model browsing randomly selected websites landed on PhillyUnsolvedMurders.com and filed a tip on an unsolved homicide, written as thou...
TypeSafe AI’s $870M Round: What It Signals for Manufacturers
Andreessen Horowitz just led an $870 million round into TypeSafe AI at a $7.5 billion valuation, with Sequoia and DCVC along for the ride and Martin Casado taking a board seat. Tha...
AI Agents That Point at Your Screen: Why Visibility Wins
Franz Enzenhofer shipped a small macOS tool called big-arrow. It does one thing: it lets an AI agent paint a big arrow and a sign on your screen, pointing at the exact field, butto...
AI Skill Erosion: The Expertise Agents Can’t Build For You
Elise Baturone, a junior engineer at Criteo, named the fear out loud: not that software engineers disappear, but that Seniors do. Her team is told to lean on AI agents for producti...
AI-Ready Data Gets $1.8B, What Manufacturers Can Learn
On October 7, Biohub, the US Department of Energy, the NIH, Google DeepMind, Isomorphic Labs and Meta committed $1.8 billion to a single problem. Not a new model. Not more compute....
AI Coding Resistance: What the Objections Get Right
In October 2026, software writer Graham Lee published a catalogue of reasons people dislike AI coding: code as art, AI as employment thief, humans reduced to "meat proxies" feeding...
AI-Assisted Formal Proof Settles Optimal Packing of 11 Squares
Most AI output lands on your desk as a confident assertion you have no practical way to check. The optimal packing of 11 squares went the other way. The proof shipped as Lean code ...
When AI Floods Expert Work: Lessons From Erdosproblems.com
Thomas Bloom built erdosproblems.com in May 2023 to promote a few hundred hard math problems to human readers. By late 2026 the site held 1,221 problems, more than 9,000 comments, ...
