There’s a classical intuition in computer science that verifying a solution is easier than finding one. For NP-complete problems, this
Continue readingWhy Verification Is Harder Than Generation for AI Coding Agents
The dominant scaling narrative in large language models has been straightforward: more parameters, more data, more compute. But there’s a
Continue readingLoopCoder-v2: Why Two Loops Beat Four in Test-Time Compute Scaling
The open-source LLM landscape just got a new heavyweight contender. Z.ai (Zhipu AI) released GLM-5.2, a 753B-parameter mixture-of-experts model that
Continue readingGLM-5.2: The New #1 Open-Weight LLM and Why IndexShare Matters
Microsoft’s Build 2026 conference delivered a move that had been anticipated for months but still landed with weight: the company
Qwen just dropped Qwen3.7-Max, and it’s not another incremental chatbot upgrade. This model is purpose-built for something different: being an
Continue readingQwen3.7-Max: Built for the Agent Era, Not the Chat Era