The model that disproved the Erdős unit distance conjecture in May spent about an hour hunting for a hole in its own sandbox. It found one. What it actually did OpenAI disclosed on July 20 that this unreleased long-horizon model — an autonomous agent built to grind on a task for hours or days, not… Continue reading

Two essays, same day, same verdict. Ben Werdmuller’s “China’s open-weights AI strategy is winning” pulled 1,111 points and 839 comments on Hacker News. Ben Thompson’s “Who’s Afraid of Chinese Models?” on Stratechery took 642 points and 443 comments. Combined: 1,700+ points, 1,280+ comments, the loudest AI conversation of the day. What the two essays actually… Continue reading

SAP closed its acquisition of Prior Labs on July 17, committing over €1 billion across four years to turn the German startup into Europe’s leading frontier AI lab. Prior Labs is 18 months old. It raised a €9M pre-seed in early 2025. That’s one of the fastest zero-to-€1B exits Europe has ever seen. What TabPFN… Continue reading

14 employees serving 8.9 million developers a month. That ratio is why Theory Ventures just led a $65M Series B into Ollama — Benchmark, 8VC, and Docker founder Solomon Hykes all in — bringing total funding to $88M. The announcement hit the HackerNews front page this week. What Ollama is The default runtime for open-weight… Continue reading

The Jacobian Conjecture survived 87 years, a pile of published proofs that later collapsed, and a spot as problem 16 on Smale’s list of math problems for the 21st century. On July 19, an Anthropic employee handed it to Claude Fable 5. The model found a concrete counterexample. The conjecture is false. A refutation you… Continue reading