The Archive

The video clipping startup raised a $7 million seed round led by Slow Ventures.

SpaceX S-1 filing reveals $1.25B/month compute deal with Anthropic through May 2029, using COLOSSUS II cluster for Grok 5 training.

SpaceX's IPO filing reveals xAI lost $6.4 billion in 2025 while planning a massive Grok expansion — offering the first public look at Elon Musk's AI financials and more details about his ambitions.

Reddit user shares photo of Claude plushie merchandise at Anthropic event.

Nvidia announced another record revenue figure after market close on Wednesday, but forecasted that revenue growth would slow in the following quarter.

Elon Muks's xAI said it will buy $2.8 billion worth of natural gas turbines over the next three years, according to SpaceX's IPO filing.

I was reading [SpaceX's prospectus](https://www.sec.gov/Archives/edgar/data/1181412/000162828026036936/spaceexplorationtechnologi.htm) which just dropped. Seems like it has some additional info about the Anthropic-xAI deal on p. 13. Anthropic is paying SpaceX 1.25B/mo for some unspecified amount of capacity between Colossus 1 and 2. Colossus 1 we've previously known about, Colossus 2 seems new. Well, this seems like a much bigger deal than was originally reported 2 weeks ago? 1.25B/mo is 15B/year, which is almost half of Anthropic's ARR even after it exploded in Q1 this year. Also seems lik...

Anthropic projected to reach profitability in Q2 2026 with ~$500M quarterly profit, driven by Claude API revenue scaling.

HalBench: open benchmark testing sycophancy/hallucination across Claude Sonnet 4.6, Grok 4.3, GPT-5.4, Gemini 3.1 Pro on 3,200 false-premise prompts.

Elon Musk's xAI surprised the AI world when it made a deal to sell compute to Anthropic. Now we know how much it's worth.

Cohere launches Command A+, first open-weights MoE model emphasizing efficiency and latency over peak performance.

Let’s unpack what Demis Hassabis said at the end of yesterday’s Google I/O keynote. This is Optimizer, a weekly newsletter sent from Verge senior reviewer Victoria Song that dissects and discusses the latest gizmos and potions that swear they're going to change your life. This week's issue is a special early edition tied to The Verge's Google I/O coverage. You can expect our next issue at its usual time next Friday. Opt in for Optimizer here. Toward the end of this year's Google I/O keynote, Google DeepMind CEO Demis Hassabis declared, with a completely deadpan face, that the company hopes to...

Google AI announces community investments in Missouri workforce and energy programs.

OpenAI's reasoning model discovered a counterexample to Erdős's unit-distance conjecture in discrete geometry, disproving a decades-old bound.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

Autonomous AI agents are taking on all types of work for businesses: routing logistics fleets, triaging support tickets, generating code, and orchestrating... Autonomous AI agents are taking on all types of work for businesses: routing logistics fleets, triaging support tickets, generating code, and orchestrating multistep workflows. How do you take a general-purpose model and make it excel at your specific task? Customization provides an agent with the right capabilities. This post explains nine techniques for customizing AI agents… Source

Initially billed as an "AI butler," Iris watches what happens on a user's desktop and automatically learns how to do tasks for them, its co-founder says.

Reddit speculation that Alibaba's Qwen will release a 27B model; lacks confirmation or roadmap details.

OpenAI's general-purpose model autonomously solved the planar unit distance problem, a famous 80-year-old Erdős conjecture, discovering new constructions outperforming grid-based solutions.

Google I/O 2026: Gemini Omni and 99 other announcements; focus on multimodal AI and platform expansions.

Reddit discussion on ML PhD admissions competitiveness and networking requirements across regions.

OpenAI model contributes to proof challenging 80-year-old mathematical conjecture, demonstrating general-purpose reasoning for novel knowledge production.

OpenAI model disproved a longstanding conjecture in discrete geometry, demonstrating AI capability in mathematical research and theorem discovery.

Midjourney reports TPU infrastructure choice delayed research by ~1 year; regrets not exclusive NVIDIA commitment.

Reddit post with unclear title and no content; appears to be incomplete or user error.

CARV framework reduces variance in Monte Carlo gradient estimation for diffusion-model-based pipelines via hierarchical resampling.

Equilibrium Reasoners enable test-time compute scaling via learned task-conditioned attractors without external verifiers.

Framework quantifies hyperparameter transfer across model scales, revealing embedding layer learning rate criticality.

EvoStruct integrates protein language models with equivariant GNNs to fix vocabulary collapse in antibody CDR design.

Velocityformer applies equivariant graph transformers to cosmological kinematic Sunyaev-Zel'dovich velocity reconstruction.