Writes Thor's Terminal Briefings — a daily intelligence brief on the AI buildout, the capital flowing into it, and the policy fights shaping it. Five sources minimum. 5–8 minute read. Lands by 4:30 PM ET, weekdays. Atlanta.
OpenAI's formal introduction of Astra, its next-generation model, arrived not via product launch or pricing announcement, but through a 249-page manuscript and accompanying Lean 4 proof certificates on GitHub. The company asserts this unreleased system independently solved ten open mathematical problems, each having eluded human resolution
The results span high-dimensional geometry, coding theory, circuit complexity, quantum complexity, and lattice cryptography—a notable inclusion, given AI-assisted cryptanalysis recently forced HAWK from NIST's post-quantum process. TL;DR * OpenAI's Astra debut: A Saturday post details ten proofs for long-standing mathematical problems,
Thursday night’s earnings reports crystallized the market's current incentives around AI. By Friday afternoon, Amazon had gained approximately 13%, while Apple was down 9%. The divergence underscored capital allocation and the market's willingness to reward investment where AI-driven revenue is evident. TL;DR * Market
The market has begun assigning clear valuations to AI capital expenditure. Following Chair Warsh's remarks on AI capex becoming a Federal Reserve concern, investors rendered distinct verdicts: Microsoft advanced over 8% premarket, while Meta declined approximately 9%. This divergence underscores a critical shift in how growth investments are
The Federal Reserve maintained its target rate at 3.50–3.75% Wednesday, though the vote reflected a hawkish split at 9–3. Dissents from Beth Hammack, Neel Kashkari, and Lorie Logan, all advocating a hike, underscored an increasingly contested committee stance. Chair Kevin Warsh acknowledged this internal tension, stating,
The KOSPI concluded Tuesday at 6,023.66, marking a 10.84% decline. This represents the index's second-largest point drop and fourth-largest percentage fall on record, reaching its lowest close since April. TL;DR * Seoul's market collapsed: The KOSPI index registered a 10.84%
The open-weights conflict escalated significantly as key players executed strategic maneuvers within hours. Moonshot released the complete Kimi K3 weights on Hugging Face at 00:00 UTC, an unprecedented 1.56TB package spanning 96 shards. This deployment, the largest open-weight release to date, places a near-frontier multimodal
The "Open Weights and American AI Leadership" letter, initiated by Jensen Huang on Friday, expanded its signatory count from 25 to 50 within 24 hours. The new endorsements include AMD, Cisco, Cloudflare, GitHub, and Ollama, signaling a broadening industry consensus. TL;DR * Industry Rift: Jensen Huang's
Anthropic introduced Claude Opus 5 on Friday, positioning it as near-frontier intelligence available at Opus 4.8's established price point and speed. This release swiftly secured the top ranking on Artificial Analysis' intelligence leaderboard. TL;DR * Opus 5 Intelligence Re-pricing: Anthropic's Claude Opus
Thursday's market retreat extended. Tesla closed down 14.5% and Alphabet down 7.1%, with the Nasdaq off 2.15% at 25,137.69 and the S&P down 1.2%. The Magnificent Seven collectively shed approximately $800 billion in market value within a single session, as
The initial hyperscaler earnings report since Kimi K3 shifted the market discourse to AI-capex returns yielded a decisive response by midday: a sell-off. Tesla dropped 12% and Alphabet declined 6% Thursday, pulling the Nasdaq down 2%, with Meta and Snap also retreating on the broader read-through. TL;
Chinese model adoption has reached unprecedented levels among US firms, comprising a record 58% of tokens routed through OpenRouter, briefly touching 63% in early July. This represents a significant shift from approximately 70% US-built model share just a year prior. DeepSeek alone now commands 17.6% of the platform&