Hosts & Guests
By The Numbers
🔥 Breaking During The Show
🧠 Thinking Machines drops Inkling, a 975B open-weight bet
Mira Murati's Thinking Machines shipped its first model: a 975B-parameter, 41B-active MoE trained from scratch on 45T multimodal tokens, released fully Apache 2.0. Nisten built a 3D visualization mapping every layer's file size to explain the DeepSeek V3-style architecture live on air.
- Inkling debuts at a 41 on the Artificial Analysis Index — the top US open-weights model, three points above Nemotron 3 Ultra — and handles text, image and audio natively with no external encoders.
- Built in just nine months on NVIDIA GB300 NVL72 systems; a smaller 276B-total/12B-active preview is coming, tuned to say 'I don't know' rather than hallucinate.
- Nisten mapped every weight tensor to its on-disk size in a Fable-built 3D tool, confirming Inkling reuses DeepSeek V3's architecture plus multi-token prediction.
📱 Bonsai 27B: a real model shrinks onto your phone
PrismML applied its 1-bit quantization technique to Qwen 3.6 27B, producing a 3.9GB model that runs on an iPhone and a 5.9GB ternary version, while keeping most of the full model's benchmark score.
- 1-bit version is 3.9GB (vs 54GB at 16-bit) and still hits about 90% of the full-precision benchmark average across 15 evals; 262K context, tool calling, multimodal.
- Speed: 163 tok/s on an RTX 5090, 87 tok/s on an M5 Max, 11 tok/s on iPhone — usable on-device inference.
- Nisten ran it on a 6GB gaming GPU at 22 tok/s with 32K context, and live-demoed it chatting from his phone.
⚡ Kimi K3 crashes the show at 2.8 trillion parameters
Moonshot's API for Kimi K3 went live mid-broadcast — 2.8T total parameters, a native vision model, 1M token context, and pricing roughly half of Opus 4.8 and GPT-5.6 Sol. Open weights are promised within days.
- LDJ estimates 60-75B active parameters from the disclosed expert counts; the model claims native vision with no separate encoder.
- Peter Gostev had early access but pulled his review video to avoid front-running Moonshot's own announcement, calling his impressions 'slightly mixed.'
- Nisten: serving it even in 4-bit mixed precision needs 8x NVIDIA B300 GPUs (roughly half a million dollars of hardware) just to fit the model plus a fraction of its 1M context.
🐺 This Week's Buzz: WolfBench's Terminal Bench 2.0 numbers
Wolfram added GPT-5.6 Sol, Terra, and Luna to WolfBench and found Sol on max-thinking beats GPT-5.5 on both cost and score in the Terminal Bench 2.0 harness — cheaper because it burns fewer output tokens per run.
- 5 runs of GPT-5.6 Sol on max thinking cost $365 total vs $497 for GPT-5.5 on extra-high — previously the highest available thinking tier.
- Sol averaged 85% and solved 97% of tasks in at least one run (71% solved in every run); GPT-5.5 only reached 60% solved-every-run, GPT-5.6 Terra hit 65%.
- Efficiency gap: GPT-5.5 generated about 12M output tokens across its run set vs about 7M for Sol, despite Sol's higher thinking tier.
🗑️ OpenAI's messy week: 9M users, a keyboard, and a $HOME-deleting bug
Codex + ChatGPT Work crossed 9 million active users just two days after hitting 7 million. OpenAI also shipped (and sold out) a $230 micro-keyboard hardware controller, and confirmed GPT-5.6 Sol has a bug that can delete home directories in full-access mode without sandboxing.
- Growth: 1M users in February, 9M by mid-July, with the last million landing in a matter of days.
- Weekly usage limits were replaced with banked resets instead of rolling 5-hour windows — a change the panel welcomed.
- The $HOME-deletion bug is confirmed by OpenAI as intrinsic to the model rather than something a CLI patch fixes; the recommended mitigation is sandboxing or auto-review.
🚨 xAI's Grok Build CLI caught uploading private repos
xAI's Grok Build CLI was found silently uploading users' full repository history — including deleted files and secrets — to Google Cloud Storage, with no toggle to opt out. xAI deleted the collected data and open-sourced the CLI under Apache 2.0 in response.
- Uploads included deleted files and any credentials or secrets left in repo history, even from private repositories.
- The behavior wasn't disclosed or configurable; xAI stopped the uploads and released the CLI's source once it was discovered.
- Nisten: nobody in the coding-agent community was surprised — a similar pattern reportedly pushed OpenCode toward signing no-data-retention deals with providers early on.
⚖️ Demis Hassabis' AGI governance essay sparks a panel brawl
Google DeepMind's CEO published an essay proposing a FINRA-style 'Frontier AI Standards Body' for AGI, backed by Sam Altman, Satya Nadella, Mustafa Suleyman and Sundar Pichai. The panel was split, with Nisten calling it a bid for oligarchy and Peter Gostev warning that pre-emptive regulation can't predict what it's actually regulating.
- Proposal includes voluntary pre-release safety reviews, dynamic benchmarks updated quarterly, deception testing, watermark requirements, and a coordination mechanism for slowdowns.
- Notably absent from the list of backers: Anthropic, despite being, in Wolfram's words, 'the one clamoring for regulation the most.'
- LDJ favors capability-based safety testing (can it help build a nuke?) over blanket compute-based flop limits as the better regulatory lever.
🎮 Show & Tell: a Doom clone in SQL and Minecraft in Lean
Peter Gostev built a playable Doom-style game in roughly 2,000 lines of raw SQL, and a Minecraft clone written entirely in the Lean theorem-proving language — both built with a handful of conversational prompts rather than detailed specs.
- DOOMQL: every frame's pixels are calculated by SQL queries; Peter says it was essentially one-shot after a short back-and-forth about what to build.
- The Minecraft clone uses the Raylib library for rendering but all game logic is written in Lean, a language built for formal math proofs, not games.
- Yam Peleg and Wolfram both flagged the real story as not needing to babysit the agent at all, more than the novelty of the languages themselves.
Open source AI gained momentum this week with major releases competing against frontier models. Thinking Machines unveiled Inkling (975B MoE, 41B active), Moonshot dropped Kimi K3's API (2.8T parameters) live mid-show, and PrismML demonstrated Bonsai 27B running on mobile devices at 1-bit precision. Meanwhile, OpenAI addressed security concerns around a GPT-5.6 Sol file-deletion bug and crossed 9M Codex/ChatGPT Work users, while xAI responded to a private-repo upload scandal by open-sourcing Grok Build CLI. Also covered: Demis Hassabis' AGI governance essay, WolfBench's new Terminal Bench 2.0 numbers for GPT-5.6, and Peter Gostev's SQL-powered Doom clone.