Two Quiet Results, One Shared Lesson: Where Capability Gains Are Coming From Now

Two pieces of news showed up this week that are easy to miss in isolation but worth reading together. The first is a developer demonstration: an apparent Opus 4.8 model produced a formally verified pr