devtake.dev — GPT-5.6 SolArticles on devtake.dev covering GPT-5.6 Sol.https://devtake.dev/en-usAlibaba's Qwen3.8-Max beats Fable 5 on Terminal-Bench, and the weights go public next weekhttps://devtake.dev/article/qwen-3-8-max-open-weights/https://devtake.dev/article/qwen-3-8-max-open-weights/Qwen3.8-Max is a 2.4-trillion-parameter MoE that tops Claude Fable 5 on Terminal-Bench 2.1 and trails it badly on SWE-bench Pro. It's the first open Max-tier Qwen.Mon, 03 Aug 2026 09:20:00 GMTaiqwenllmai-modelsopen-weightsmoebenchmarksalibabachinadieter-morelliTen decade-old math problems fell to an unreleased OpenAI model, for about $2,000 of tokens eachhttps://devtake.dev/article/openai-astra-math-lean-proofs/https://devtake.dev/article/openai-astra-math-lean-proofs/OpenAI published ten results in math and theoretical CS from an internal build of Astra, with Lean 4 certificates for every proof. What that verification does and doesn't settle.Mon, 03 Aug 2026 09:05:00 GMTaiopenaillmai-modelsmathematicsformal-verificationastrabenchmarksdieter-morelli