The Lyceum: AI Daily — May 21, 2026

Three thresholds got crossed overnight, and they're all leaning the same way. A general-purpose OpenAI model independently disproved an 80-year-old conjecture from Paul Erdős — and this time the mathematicians who publicly embarrassed the company seven months ago are signing off. Anthropic told investors it expects its first profitable quarter two years ahead of schedule, with a $1.25 billion-a-month compute bill to SpaceX attached. And Meta laid off 8,000 people in the same week it reported $56.3 billion in revenue. "AI is working" and "people are losing jobs" are now the same sentence — and that sentence is getting louder.

• HiDream-O1 (Chixiang Future): A Chinese image generation model claiming more than two trillion parameters — an unverified figure that, if accurate, would be one of the largest open image models ever released. [Source: Sina Finance — Chinese]
• OpenAI-compatible API on SageMaker AI (Amazon Web Services): SageMaker endpoints now expose an /openai/v1 path and accept Chat Completions calls directly from the OpenAI SDK with bearer-token auth — no SigV4 signing required.
• General-purpose reasoning model (unnamed) (OpenAI): The internal model behind the Erdős disproof was a general-purpose reasoner, not a specialized theorem-prover, and was not given dedicated tools or training for the unit distance problem.

The most clarifying detail about Meta's mass layoff isn't the headcount. It's the timing.

Meta began notifying roughly 8,000 employees Wednesday that they are being laid off, the first wave of a restructuring the company has framed as necessary to fund its AI push, according to Yahoo Finance's reporting. The cuts are happening the same week Meta reported record quarterly revenue of $56.31 billion and net income of $26.8 billion. This isn't a company in distress — it's a company in transformation.

Buried in the headcount math: separate from the cuts, Meta Chief People Officer Janelle Gale announced that upward of 7,000 workers will be redirected into newly created AI-focused teams, among them Applied AI Engineering and Agent Transformation Accelerator XFN. Meta's 2026 capital expenditure guidance now runs $125 billion to $145 billion, up from $72.2 billion in 2025, per The Next Web. The money isn't disappearing — it's moving from salaries to GPUs.

If this works, Meta becomes the template: a 70,000-person company rebuilt around AI-native flat teams instead of management layers. If it doesn't, the August round of cuts — already telegraphed — will tell you. Watch the org chart, not the press release.

Last summer, Anthropic told investors it didn't expect full-year profitability until at least 2028. That forecast just got shredded.

Anthropic has informed investors it expects to deliver its first profitable quarter in Q2 2026, with revenue more than doubling to approximately $10.9 billion, according to the Wall Street Journal citing figures shared during an ongoing funding round. The company expects to post its first operating profit of $559 million in the June quarter — a figure that includes model training costs but excludes stock-based compensation, per Investing.com. The quarterly growth rate currently outpaces the historical peaks of Zoom, Google, and Facebook.

The driver is enterprise. Reuters reported that Bristol Myers Squibb is making Claude available to more than 30,000 employees, and TechCrunch reported that Anthropic has overtaken OpenAI among verified business customers on Ramp's spending data, according to Startup Fortune.

Now the fine print. Anthropic has a deal with Elon Musk's SpaceX to use all the compute capacity at Colossus 1 in Memphis, paying SpaceX $1.25 billion per month through May 2029 — $15 billion a year flowing from the AI safety company to the rocket company, according to SpaceX's IPO prospectus cited by CNBC. Anthropic itself cautioned that sustained profitability through the rest of the year remains uncertain due to scheduled increases in compute costs. One profitable quarter is a milestone. The single-vendor compute dependency is a procurement question every enterprise on Claude should be asking before they sign a three-year deal.

OpenAI has a complicated history with math announcements. Seven months ago, a former executive claimed GPT-5 had solved ten Erdős problems. It hadn't — it had just located solutions already published elsewhere. The math community was not amused. This time is different.

On Tuesday, OpenAI announced that an internal reasoning model independently disproved the planar unit distance problem, posed by Paul Erdős, the legendary Hungarian mathematician, in 1946. The question sounds almost childlike: if you scatter dots on a flat surface, how many pairs can sit exactly one unit apart? For nearly 80 years, mathematicians believed square grids were essentially optimal. OpenAI's model found an infinite family of point arrangements that beats the grid, and Princeton mathematician Will Sawin later refined the result into a fixed exponent improvement, per Interesting Engineering.

What makes this credible is who's vouching. OpenAI published companion remarks from Noga Alon, Melanie Wood, Thomas Bloom (who maintains the Erdős Problems website and previously called OpenAI's earlier post "a dramatic misrepresentation"), Tim Gowers, Arul Shankar, and Jacob Tsimerman, TechCrunch reported.

The deeper signal is that the proof came from a general-purpose reasoning model, not a specialized theorem-prover, and the model wasn't trained on this problem or given dedicated search tools. Scientific American reports that several mathematicians have predicted 2026 will be the year AI-contributed results first survive peer review in major math journals. This proof hasn't yet. If it does, the line between "impressive tool" and "autonomous research contributor" moves — with consequences for how pharma, materials science, and physics labs staff their teams.

It's not just Silicon Valley. A 160-year-old bank just said the quiet part out loud.

The BBC reports that Standard Chartered plans to cut thousands of jobs over the next few years, explicitly citing generative AI and automation as the reason it can operate with a much smaller staff. Management is telling investors that AI systems can handle large chunks of compliance checks, document processing, and customer service — the high-volume back-office work that used to support big teams in London, Singapore, and emerging markets.

The pitch is "augmentation." The numbers say otherwise. If Standard Chartered's framing holds up on next quarter's earnings calls, expect other global banks to use the same template — and expect UK and EU regulators to push harder on reskilling requirements and AI impact disclosures. Watch HSBC and Barclays. If they echo this language by July, the dam breaks.

Amazon published a same-day technical announcement on May 20: SageMaker AI endpoints now expose an /openai/v1 path, accept Chat Completions requests, support streaming, and can be called from the OpenAI SDK with essentially just an endpoint swap. Developers can use bearer tokens instead of writing SigV4 signing logic, and AWS explicitly pitches this for LangChain, Strands Agents, and multi-model hosting on one endpoint.

This is not a flashy launch. It's infrastructure conceding that OpenAI's API shape is the lingua franca. If your gateway and orchestration stack are written against OpenAI-style calls, switching the actual model host becomes closer to changing AWS regions than rewriting an AI product. The strategic implication is uncomfortable for OpenAI: the company may win the protocol layer even as it loses individual compute deals. That's inference, not reporting — but the feature itself is straight from AWS.

Most coverage is burying this under the profit headline. It deserves its own thread.

SpaceX's IPO prospectus discloses that Anthropic will pay $1.25 billion per month through May 2029 for all the compute capacity at Colossus 1 in Memphis. That's a 36-month commitment of roughly $45 billion to a single counterparty — one whose CEO has spent two years publicly feuding with Anthropic's largest competitor. The arrangement is unusual in scale, in exclusivity, and in geopolitical exposure. Enterprise procurement teams signing three-year Claude contracts should be asking what happens to their workloads if that relationship sours, if Colossus 1 has an extended outage, or if regulators decide a frontier AI lab and a launch provider concentrating that much infrastructure deserves a closer look. None of those scenarios are likely. All of them are now possible.

Buried in CNBC's Anthropic report is a separate line worth flagging: OpenAI is preparing to confidentially file a draft of its IPO prospectus as soon as Friday. If that filing lands, the AI public-market era officially begins, and the pressure on Anthropic — already profitable a quarter, already growing faster than the comparables — to follow becomes acute. The question for everyone else is whether the rest of the AI cap table is ready to be priced by people who read 10-Ks.

Today: a math problem older than the transistor fell to a model that wasn't trying to solve it, a safety lab cut a $15 billion check to a rocket company for electricity, and 8,000 people at Meta got laid off so 7,000 others could be moved to teams with the word "Agent" in the name. The most honest line in the news cycle came from Anthropic itself, warning that profitability "remains uncertain" — which is what you say when you've just told investors you're growing faster than Facebook ever did and you still can't quite afford the bill. Read carefully.

Forward this to the friend who keeps asking whether AI is "real yet."