Today's Docket
August 2, 2026 · 6 entries · about a 60-second read
The day's tech, heard in order: one long read and 5 quick ones — every entry linked to its source, picked from the 12 stories our tracking scored today.
-
AI Models China Today's read
DeepSeek V4 Flash 0731: big verified benchmark jump, price held at $0.28
Retrained, not redesigned. DeepSeek's budget model jumps 10 points on independent benchmarks to near-GPT-5.6-Luna level while holding $0.14/$0.28-per-million pricing — full specs, verified scores and the India math in today's article.
-
Big Tech Google Short of the day
Google says AI helped fix more Chrome bugs in two updates than in two years
AI finds the bugs. Chrome milestones 149 and 150 fixed 1,072 security bugs — more than the prior 23 releases combined, Google says, crediting AI systems like Big Sleep for finding vulnerabilities preemptively.
1,072 security bugs fixed in two Chrome releases
Why it mattersIf AI can outpace attackers at finding memory bugs, browser security economics flip — and every Chromium-based browser inherits the fixes.
-
AI Models OpenAI Short of the day
Mathematicians disprove a Maxwell conjecture — with an idea from GPT-5.6 Sol
AI-suggested counterexample. Three mathematicians show five point charges can produce at least 24 non-degenerate critical points, beating Maxwell's conjectured cap of 16 — and credit the construction idea to OpenAI's GPT-5.6 Sol, with the proof verified by hand.
24 critical points found where Maxwell's cap predicted 16
Why it mattersA named frontier model contributing the key idea in a mathematical disproof is a concrete data point in the can-AI-do-research-math debate.
-
AI Tools & Apps Keep this
Kimi K3's 2.78T parameters run from SSD on a 64 GB MacBook — slowly
Trunk in RAM, experts on disk. A dependency-free C engine opens the full open-weights Kimi K3 in as little as 29.05 GB of memory by streaming expert weights off NVMe — decoding, by its own admission, at about half a token per second.
2.78T-parameter model opens in 29.05 GB of RAM
Why it mattersFull frontier-scale open models on desk hardware — however slowly — widens who can experiment beyond API budgets as more weights go open.
-
Big Tech
Aschenbrenner's AI hedge fund reported down about 67% in July
The AI trade bites back. Situational Awareness, Leopold Aschenbrenner's AI-focused hedge fund, is down around 67% so far in July after heavy losses on AI stocks, according to an investor letter reported by the Wall Street Journal.
Down around 67% in a single month
Why it mattersA flagship AGI-thesis fund losing two-thirds in a month shows how crowded and volatile the AI trade has become.
-
How-To & Explainers
Does AI 'reasoning' actually reason? Quanta surveys the unsettled science
Mumblings or mathematics? Studies find 30–60% of models' visible thinking steps barely affect their final answers — even as the same systems hit gold-medal Olympiad marks and crack open math problems.
30–60% of 'thinking steps' had minimal causal impact
Why it mattersHow much to trust chain-of-thought matters to anyone auditing AI decisions — the transcript you read may not be the computation that produced the answer.
How the docket is made: entries are picked from the 12 stories our tracking scored today across independent source types, then written and checked under the same sourced-claims, no-clickbait rules as our articles — see the editorial policy. The docket is a companion to, never a replacement for, the day's full articles. Previous dockets: August 1, 2026 · July 31, 2026 · July 30, 2026 · July 29, 2026 · July 28, 2026 · July 26, 2026 · July 25, 2026 · July 24, 2026 · July 23, 2026 · July 22, 2026 · July 20, 2026 · July 19, 2026.