OpenAI put its models on the blackboard with three formal claims in mathematics, computer science and physics. Meta answered its compute bill with one of the largest equity programs ever filed. SpaceX leased its way to next-generation GPUs. Here are the seven stories that mattered in the past 24 hours.
1. OpenAI Claims Three Science Breakthroughs, Including a Disproof of the Exponential Time Hypothesis
OpenAI announced on Monday that its internal models produced three results its research teams consider major: a proof of the local smoothing conjecture in all dimensions, a disproof of the Exponential Time Hypothesis, and a rigorous existence proof for four-dimensional quantum field theories including quantum chromodynamics. The math result resolves the Kakeya conjecture and the Stein restriction conjecture as corollaries. The physics work touches pure Yang-Mills theory, which is one of the seven Millennium Prize Problems.
— OpenAI · PANews
The verification story is the part practitioners should watch. The mathematics and computer science results were formally verified in Lean, and the proof materials are public. The Exponential Time Hypothesis has served as a hardness assumption in hundreds of papers, so a disproof lands hard: results conditioned on ETH do not collapse, but the map of what is provably expensive needs redrawing. OpenAI says the ETH check will be led by the hypothesis's original proposers Russell Impagliazzo and Ramamohan Paturi together with MIT's Ryan Williams. The physics proofs are under review by a group led by Nobel laureate David Gross, and OpenAI itself notes the results still await independent confirmation by the academic community.
— OpenAI · PANews
Context matters here. In early October the company released hundreds of machine-generated math manuscripts and drew criticism for dumping verification costs on the community. This announcement is narrower, three results instead of hundreds, and each one comes with a named external review group. The pattern suggests OpenAI learned something about how to stage claims that academics are willing to check rather than argue about on social media.
2. GPT-6.1 Terra Ships: Computer Use at Half the Price
OpenAI released GPT-6.1 Terra on Monday, a fast, efficient model built for visual reasoning, precise computer use, and clear writing. Standard API pricing is $1 per million input tokens and $5 per million output tokens, half the price of both GPT-5.6 Terra and GPT-6.1 Sol. The model is rolling out in ChatGPT Work and Codex and in the API as gpt-6.1-terra, with a 1.05 million token context window.
— OpenAI
The benchmarks tell you where the efficiency went. OpenAI says Terra scores 15 percentage points higher than GPT-5.6 Terra on Agents' Last Exam, cut the low-effort error rate from 53.6 percent to 16.7 percent, and lifted Terminal-Bench accuracy from 21.5 percent to 50.3 percent. The company also claims Terra matches GPT-6 Astra on agentic tasks at one tenth the per-token price and finishes tasks over three times faster on average than Astra or Sol. Independent measurement from Artificial Analysis points the same direction on cost efficiency.
— OpenAI · Artificial Analysis
For builders the pricing change is the real event. Computer use is volume work: screenshots, clicks, form fills, thousands of steps per session. At $5 per million output tokens, the economics of automating routine office workflows shift from pilot projects to production line items. Terra is not the model for deep research or complex coding, and OpenAI says so plainly, pointing users to Sol and Astra for those jobs.
🔗 OpenAI Release Notes · OpenAI API Docs
3. Meta Files to Raise Up to $95 Billion in Equity for Its AI Build-Out
Meta filed regulatory paperwork on Monday launching roughly $35 billion of underwritten stock offerings and disclosing an at-the-market program of up to $60 billion in new non-voting Class C shares, for a combined capacity of about $95 billion. The underwritten part consists of about $22.5 billion of Class A common stock sold through forward sale agreements with Morgan Stanley and Goldman Sachs, plus about $12.5 billion of depositary shares representing Series A Mandatory Convertible Preferred Stock. The ATM program is not expected to begin before the first quarter of 2027.
— Meta · Investopedia
The filing also names NVIDIA, AMD and Broadcom as indicating non-binding interest in buying up to $5 billion of the common stock. Three of Meta's main hardware suppliers appearing as prospective equity buyers is an unusual arrangement, and it signals how tightly the silicon and cloud economies have become linked. Meta says the proceeds support its continued investment in AI infrastructure and personal superintelligence, and it expects capital expenditures of $135 to $145 billion for 2026.
— Meta · Investopedia
The cash flow math explains the timing. Meta's third quarter revenue rose 26 percent year over year to $64.6 billion, but capital expenditures of $34.91 billion exceeded operating cash flow of $32.79 billion, leaving free cash flow negative at about $2.1 billion. Future spending commitments have climbed from roughly $700 billion in July to $825 billion. Debt markets funded the first phase of the AI build-out; this filing marks the moment equity joins the mix at serious scale.
4. SpaceX Signs a $40 Billion GPU Lease With Apollo, the Largest Committed GPU Financing on Record
SpaceX announced on Monday a binding commitment to enter an approximately $40 billion master finance lease for GPUs and related equipment with an entity managed by Apollo Global Management. Apollo will purchase NVIDIA's next-generation Vera Rubin chips and related servers and lease them to SpaceX for its terrestrial compute buildout. The company calls it the largest committed GPU financing ever, and an 8-K filed the same day lays out the structure.
— SpaceX · Reuters
The terms are precise. Equipment arrives in tranches, each tranche under its own lease schedule of roughly five to 5.25 years, with rent equal to about 5 percent of the financed cost per tranche plus a fixed annual rate on the outstanding balance. Goldman Sachs served as sole structuring agent, and funds and accounts managed by BlackRock, Goldman Sachs Asset Management and capital accounts advised by KKR made anchor commitments. The deal is expected to close before year-end, with lease schedules starting when chips deliver in the first half of 2027.
— SpaceX · Reuters
The financing exceeds the $36 billion structured notes deal closed this summer to purchase and lease GPUs for Anthropic, and it shows private credit fully entering AI infrastructure. SpaceX's Super Intelligence segment, home to Grok and cloud services, posted $7.56 billion in third quarter revenue, up 195 percent from the second quarter. CFO Bret Johnsen said the company is seeing sub-one-year payback periods on its SI infrastructure investments. Elon Musk, meanwhile, warned that more than 200 neoclouds face what he called guppy-level death as debt markets tighten. The message: capital is abundant, but only for builders with revenue behind them.
5. NVIDIA Open-Sources Flora, a Robot Video Labeling Engine That Costs 72 Cents an Hour
NVIDIA's GEAR research lab open-sourced Flora, a data engine that annotates robot training video. The system is built from three fine-tuned Qwen3.5 models: a 9B model that segments video into actions, a 27B model that writes descriptions of each segment using surrounding context, and a 27B model called Flora-Rewarder that scores step-by-step progress and judges task success. All three are available on Hugging Face and GitHub.
— NVIDIA · The Decoder
The economics are the headline. NVIDIA estimates Flora labels one hour of video for about 72 cents, against roughly $88.50 for GPT-6 Astra on the same job, a 125 times difference based on an assumed $10 per GPU hour rental rate. In a 50-video quality test Flora scored slightly above Astra despite Astra running with full reasoning capacity, and Claude Opus 5 trailed both at about $42 per hour. The cost figures are projections rather than production measurements, and Astra still leads on rubric-based scoring and description precision, so the comparison deserves the caveats NVIDIA itself prints.
— NVIDIA · The Decoder
The capability that stands out is failure detection. Flora-Rewarder catches 53.3 percent of failed steps mid-episode, where no competing model exceeds 11.7 percent and Astra catches none, though it trades that sensitivity for about 11 percent false alarms on normal steps. Flora already runs in production for GR00T robot model training, annotating up to 200,000 hours of video daily across 512 GB300 GPUs. For robotics teams priced out of frontier-model labeling, an open pipeline covering segmentation, captioning and reward signals in one stack changes what is affordable to attempt.
🔗 GitHub: NVIDIA/Flora · NVIDIA on Hugging Face
6. Microsoft Offers Voluntary Buyouts to About 60,000 Employees
Microsoft said on Monday it is offering voluntary exit packages to employees in the US, UK, Canada and India at experience level 70 or below, a pool that reaches vice president level. Around 60,000 people are eligible, roughly 27 percent of the company's 223,000 workforce, according to a person familiar with the matter cited by CNBC. Employees must decide in early December, and those who accept leave on December 31.
— Microsoft · CNBC
Chief People Officer Amy Coleman framed the program in a memo as building on what the company learned through its first-ever voluntary retirement program in April, which was open to about 7 percent of US employees at senior director level and below and drew participation from more than 30 percent of those eligible. July brought 4,800 role eliminations concentrated in the Xbox business. The new offer excludes parts of the organization Microsoft most needs for the AI push, including some data center, sales and marketing teams, and the company said it has no target headcount this time.
— Microsoft · CNBC
The financial backdrop is the AI spending squeeze. Microsoft reported $19.64 billion in free cash flow last quarter, down 23 percent year over year, even as rivals Alphabet and Amazon posted negative free cash flow. The company is also shifting its commercial model toward charging customers for AI usage, and it reports quarterly results on Wednesday. A buyout lets Microsoft trim without a fresh layoff cycle, but a quarter of the workforce receiving the offer tells you how much reallocation is underway.
7. Apple Ships iOS 27.2 With Memory-Equipped Siri AI
Apple released its 27.2 software updates on Monday across iOS, macOS, watchOS, tvOS and visionOS, and the centerpiece is Siri AI. The assistant can now recall past conversations, so you can ask about restaurants it recommended last week, and it draws on a wider set of personal sources including voicemails, photos attached in Messages, Calendar event attendees, Safari history and the Reading List. A new Excluded Apps setting lets users block specific applications from Siri, Search and suggestions in one place.
— Apple · Ars Technica
The update also expands Siri AI to five new languages: French, Japanese, Korean, Portuguese and Spanish. Availability still excludes the European Union and mainland China, and Apple says it is working with EU regulators on a path forward, with more languages including Traditional Chinese promised by the end of the year. Other additions include context-aware suggestions in Messages that can turn a dinner invitation into a calendar entry, and support for SynthID watermark detection in Photos to identify images generated or modified by AI tools.
— Apple · Ars Technica
The direction is clear. Siri is turning from a command parser into a personal-context agent, and Apple is pairing that reach with a single privacy control to keep it in check. The regional split is the uncomfortable part: the most advanced assistant features are geographically gated, and users in two major markets are still waiting. Memory also raises the stakes on data governance, since an assistant that remembers conversations and reads voicemails is a much more attractive target than one that forgets.
KD Agentic · AI Daily Digest
Top comments (0)