Weekly Links: 'Input Companies', Frontier Models Over the Top, and Claude Cycles

AI helps a computer science legend prove a theorem, news organizations as 'AI input', and Anthropic's wild ride.