Hosts: Lenar Kess, Damra Vol. Alibaba promised Qwen3.8 weights and delivered a benchmark screenshot instead — which is the shape of most of today: claims arriving ahead of the artifacts that would let anyone check them. Astra's math results now have a problem list from OpenAI and a Reddit-sourced story about Lean 4 certificates. A leveraged AI fund got margin-called out of its entire public book. And a Hacker News argument about developer tools turns on whether large language models just made the freedom to modify real.A results screenshot for Qwen3.8-Max posted to r/LocalLLaMA puts a 2.4-trillion-parameter model level with Kimi K3 and DeepSeek V4-Flash, and ahead on coding — but it's an image on Reddit, not an Alibaba model card, and the weights still aren't up.Nathan Lambert's new Artifacts Hub and adoption dashboard concede that the release rate has outrun anyone's ability to track which releases mattered — the person best equipped to hold it in his head built a database instead.An anonymous post from someone claiming to work at a Chinese lab maps four labs onto four different bets — coverage, capability per training compute, agentic long-horizon work, and serving cost — and Cloudflare's write-up on running Kimi and GLM at scale is the only outside measurement of the last one.OpenAI published the actual problem list for Astra — sphere packing, coding theory, lattice cryptography, and non-sofic groups — while the claims about machine-checkable Lean 4 certificates and a ~$2,000 inference bill come only from a Reddit thread.Leopold Aschenbrenner's fund was margin-called out of its public equities book and Citadel bought it at a discount — a thesis that worked, levered, and liquidated on timing rather than on being wrong.A 636-point argument that devtools must be open source collides with Elon Musk's claim that source code is on the verge of becoming like assembly — two incompatible readings of what models do to human-readable code.
