Browser automation, AI design, and a couple of useful macOS utilities today.
Massive day. Knuth credits Claude Opus 4.6 for solving a decades-old math problem, GPT-5.4 details leak, and the Pentagon–AI standoff escalates with Dario calling OpenAI’s messaging “straight up lies.”
Donald Knuth published “Claude’s Cycles” — a paper acknowledging that Claude Opus 4.6 solved a directed Hamiltonian cycle decomposition problem he’d been working on for weeks, originally posed decades ago for The Art of Computer Programming.
Claude solved it in 31 guided explorations over roughly an hour, independently recognizing the structure as a Cayley digraph and reformulating its approach. Knuth expressed joy at “this dramatic advance in automatic deduction and creative problem solving.”
The Pentagon–AI standoff and quick hits.
A new fine-tunable image model and real-time long video generation from Peking University.
Raycast’s new AI app builder, plus Mac utilities for Spaces and drive management.