Kimi K3 launched. Here's what checked out.

Every item below started as a post on r/singularity today. Each claim was checked against primary sources and independent coverage, then labeled: Confirmed (multiple independent sources), Provider-claimed (only the company's own numbers), Preliminary (real but early data), or Unverified (single source, no independent coverage yet).

Confirmed. Moonshot AI officially released Kimi K3 on the evening of July 16, three months after open-sourcing K2.6. Reported specs: roughly 2.5 trillion parameters (MoE), 1 million token context window, priced at $3 input / $15 output per million tokens. Moonshot recently closed a funding round at a $20 billion valuation with annualized revenue past $300 million.

Confirmed. Arena's official account states Kimi K3 is #1 on the Frontend Code Arena at 1679 points, ahead of Claude Fable 5, a 17-place jump from K2.6. It ranked first in 6 of 7 frontend domains, second only in Gaming behind Fable 5. Moonshot says full model weights will be released by July 27.

The asterisk. The arena result is marked preliminary: ~1,757 votes for K3 versus 2,500+ for Fable 5 and 10,000+ for older Claude models. Early Elo scores move as votes accumulate.

Provider-claimed. The coding benchmark charts circulating today (DeepSWE, Terminal Bench 2.1, FrontierSWE, SWE Marathon) are Moonshot's own published numbers. Independent trackers like BenchLM currently exclude K3 from their leaderboard because it lacks enough non-generated benchmark coverage. The "3rd place on Artificial Analysis" post could not be independently confirmed; AA has not published a full K3 evaluation as of this writing.

Why it matters: the benchmark details will shift, but a Chinese lab shipping open weights within striking distance of the closed frontier compresses pricing for everyone. That is the durable part of this story.

Sources: BigGo Finance · Arena on X · BenchLM

Confirmed, and accurately represented by the headlines. Responding to a kernel mailing list debate about Sashiko, an AI code review bot, Torvalds said he is willing to put his foot down as top-level maintainer: Linux is not anti-AI, and objectors can fork the kernel or walk away. He called AI "a tool" whose usefulness is no longer in question, while conceding it can be painful for maintainer workloads.

Context the feed skipped: this is a measured shift, not a sudden one. In October 2024 he called 90 percent of AI marketing hype and said he would basically ignore it, predicting clarity in five years. It took 21 months. Senior maintainer Greg Kroah-Hartman separately confirmed AI-generated bug reports have become genuinely valuable.

Sources: Phoronix · The Register · PC Gamer

Confirmed, real quote. In an interview with A Rabbit's Foot tied to his Museum of Narrative Art, Lucas compared AI resistance to defending the horse and buggy against the automobile, concluding that it's progress and the future. He offered no specifics about which AI uses he means.

Balance the feed skipped: Christopher Nolan holds the opposite position, saying he has never seen a technology so embraced by investors and so rejected by the public.

Sources: PC Gamer · AV Club

Confirmed, and bigger than the headline. The Ministry of Science and ICT opened bidding July 13 for "AI for Everyone": a free, unlimited chatbot for all 52 million residents plus a separate agent for navigating government services. Beta expected by end of September, launch before end of 2026, program funded through 2030.

The underreported angle: it is a sovereign AI mandate. At least 50% of each service must run on Korean foundation models, with 30%+ more sourced from other domestic AI companies. Foreign models can fill limited gaps but will not be subsidized.

The fine print: funding from 2027 onward depends on annual evaluations, so "free forever" is not settled.

Sources: UPI · Digital Trends

Real result, large asterisk. A research team introduced Schema, a harness that reports 99% on the ARC-AGI-3 Public set using Opus 4.8 + Fable 5, and 95.35% with GPT-5.6 Sol, without changing model weights. Both results are self-reported and not verified by ARC Prize.

The asterisk, from ARC Prize itself: the foundation will never report public-set harness scores on its official leaderboard, because designers cannot be proven not to have tuned against the public environments, the public set is materially easier than the private set, and they released a demo harness scoring 100% via human replay to make exactly this point. Interesting harness research; not "ARC-AGI-3 solved."

Sources: Schema project page · ARC-AGI-3 technical report

Confirmed. Emergent closed a $130M Series C led by Creaegis at a $1.5B valuation, quintupling its valuation in four months, one year after public launch. The company reports $120M annual run-rate revenue, up 70% in four months, 200,000+ paying customers, and 12 million apps built on the platform, mostly by non-technical small business owners.

Credibility flag: individual customer anecdotes in the coverage vary wildly between outlets (one quote garbled a figure by several orders of magnitude), so treat the vignettes loosely and the audited-adjacent numbers (round size, valuation, investor list) as the reliable core.

Sources: TechCrunch · Business Wire

Partially verified. The benchmark is real: it tests whether frontier models can predict the content of paradigm-breaking scientific findings published after their training cutoff. No model fully predicts a discovery; all reported scores are partial credit, and the benchmark site lists a Claude model as the current leader.

Not verified: the Reddit post's specific claim that the original Fable 5 responded to 45% of tasks while the latest version responds to 39% with slight performance degradation. That comparison does not appear on the benchmark site version reviewed today. Single-source until the maintainers publish it.

Source: singularitygate.org

Single-source or demo-only items with no independent coverage yet: the "Real Steel" robot boxing alpha, OpenMicro controller harness, LimX COSA 0.5 humanoid update, and the SpaceX AI Sat V1 power spec (one Musk tweet). Listed here so you know they exist; no conclusions drawn.

Two stories today were institutional, slow, and reliable: a G20 government treating AI access as a public utility, and the Linux kernel settling its AI policy from the top. One story was competitive and fast: K3 shipping with open weights promised in 11 days, which matters for pricing regardless of where its final benchmark ranks land. Everything else is provider charts and single tweets. Hold those loosely for a week.

Method note: items are sourced from the day's r/singularity front page, then checked against primary sources and independent outlets by Claude.