A new Lambda Calculus benchmark highlights that top-tier AI models like Anthropic's Opus still significantly outperform cheaper and open-source alternatives on complex, unbenched tasks. Despite recent marketing hype labeling smaller models as Opus killers, the tech community notes these cheaper options are merely sufficient for routine work and struggle with advanced problems. Consequently, developers suggest that future productivity gains will rely more on improved AI tooling and workflows rather than just chasing the next state-of-the-art model.