Back in 1946 the mathematician Paul Erdős posed a deceptively simple puzzle: scatter a bunch of dots on paper, and ask how often you can make pairs of them sit exactly the same distance apart. For decades the best-known answer was a tidy grid, and people assumed you couldn't do meaningfully better. An OpenAI reasoning model just found a cleverer arrangement that beats the grid, taking a strange detour through abstract number theory that nobody saw coming. Nine of the world's top mathematicians checked the result, and one of them sharpened it further within a day. Worth keeping your skeptic hat on: humans did a lot of the cleanup, OpenAI flubbed a similar boast last fall, and the claim that "a top journal accepted it" is overblown (one famous mathematician just said he'd vote yes). Even so, this is a real, decades-old problem actually falling, not a quiz with a known answer.
The unit distance problem, posed by Paul Erdős in 1946, asks how many pairs of n points in the plane can sit exactly distance 1 apart. The square-ish grid gets you about n^(1+c/log log n) such pairs, and the standing belief was that no construction beats it by a genuine polynomial factor. On May 20 OpenAI said an internal reasoning model produced a counterexample: a family of point sets achieving n^(1+δ) for a fixed δ > 0, built not from geometry but from algebraic number theory (CM number fields of large degree and small discriminant, via the Golod–Shafarevich criterion). The credibility comes from who checked it. Nine mathematicians, including Noga Alon and Fields medalist Tim Gowers, wrote a companion paper distilling and verifying the argument, and Princeton's Will Sawin made the inexplicit exponent concrete within a day (n^1.014, then n^1.0318). Read the hype carefully, though. "Accepted by a top journal" is wrong: Gowers said he would *recommend* acceptance to the Annals, which is a personal opinion, not an editorial decision, and no formal submission is confirmed. Humans did substantial work shaping the 125-page output into the published proof, so "fully autonomous" is contested. The model is unnamed and not released. And the credibility signal is deliberate: OpenAI botched an Erdős claim last October that Thomas Bloom publicly debunked, and Bloom is a co-author on this verification paper. Even net of all that, a general-purpose reasoner finding a real, non-obvious route through a problem people couldn't crack for 80 years is the genuine first here.
GitHub's popular Copilot tool changes how it bills starting June 1. The type-ahead suggestions you get while coding stay free and unlimited. But the heavier mode, where you turn the AI loose to do a multi-step task on its own, now runs off a metered allowance, and the fancier the AI model you pick, the faster it drains. Power users are not happy: the announcement got around 900 thumbs-down, mostly because one ambitious automated session on the cheapest $10 plan can swallow the whole month's budget. The old safety net, where it quietly dropped to a cheaper model when you were running low, is gone, so now you just hit a wall. If you mostly use autocomplete and chat, you'll barely notice. If you lean on Copilot as a do-it-for-me robot, your bill just got hard to predict.
On June 1 GitHub Copilot swaps premium-request units for token-metered "AI Credits" (1 credit = $0.01). Inline code completion and next-edit suggestions stay unlimited and free on every paid plan; everything agentic (Chat, the CLI, the cloud agent, Spaces, Spark, third-party coding agents) now draws from a monthly pool priced at published per-model token rates. The pools: Pro $10/mo gets 1,500 credits, Pro+ $39 gets 7,000, Max $100 gets 20,000, with Business ($19/user) and Enterprise ($39/user) carrying promotional bonuses through August. Sample rates tell you where the risk lives: Claude Opus runs $5/M input and $25/M output, GPT-4.1 runs $2/$8. Two structural changes matter more than the sticker. Cost now tracks actual token volume, not a request count, so "one request" can cost wildly different amounts depending on model and context depth. And the free-model fallback is gone: where Copilot used to silently downgrade you to a cheaper model at the ceiling, you now hit a hard wall. The community announcement thread logged roughly 901 downvotes. The viral "one agentic session zeroes out a $10 plan" claim is plausible arithmetic (Opus output at $25/M against a $10 budget is about 400K output tokens, which a multi-file refactor eats fast), but it's user extrapolation, not a GitHub-published session cost, and for anyone living in chat and completions the change is mostly cosmetic. Note also that Opus is pulled from Pro entirely and sits on Pro+ at a 27x multiplier.
Meta laid off about 8,000 people, roughly one in ten employees, and the strange part is it did this during its best quarter ever, not a downturn. Revenue and profit are both at all-time highs. So why the cuts? Because the money is being rerouted into AI. Meta plans to spend up to $145 billion this year on chips and data centers, about double last year, and it's trimming headcount to help pay for it. The blunt translation: Zuckerberg now thinks a dollar spent on graphics chips beats a dollar spent on salaries. He told staff "success isn't a given" and hinted at more cuts later this year. A couple of grains of salt: the eye-popping profit number got a one-time tax boost, and the widely repeated "thousands moved to AI teams" figure is fuzzy and unconfirmed.
Meta is laying off about 8,000 people, roughly 10% of its end-2025 headcount of 78,865, with 6,000 open reqs frozen on top. The cuts hit Reality Labs, the Facebook app division, recruiting, sales, and global operations; AI infrastructure, foundation models, and AI monetization were explicitly walled off. The tell is that none of this was forced by the numbers. Q1 2026 was a record: $56.31B revenue, up 33% year over year, the fastest growth since 2021. What changed is where the dollars go. Meta raised 2026 capex guidance to $125–145B, against $72.2B actually spent in 2025, and leadership framed the headcount cuts as offsetting that infrastructure surge. This is the clearest case yet of a hyperscaler openly trading payroll for compute. A few corrections to the loose framing: the "7,000 reassigned to AI" figure has no traceable Meta source (one disclosed number is roughly 1,000 transfers into Applied AI Engineering); "doubling the AI budget" is about +87% at the midpoint, not a clean 2x; the headline $26.8B net income leans on an ~$8B one-time tax benefit (adjusted is closer to $18.7B); daily actives slipped to 3.56B, down 5% sequentially, which raises the stakes on the bet; and more cuts are flagged for H2 with no number attached.
The Japanese investment giant SoftBank says it will build a huge cluster of AI data centers in northern France, pledging up to €75 billion. To picture the scale, the computing power they're describing is roughly the size of the entire UK's data-center capacity today. The plan leans on France's cheap, low-carbon nuclear electricity, reuses an old power-plant site, and includes a neat twist where Schneider Electric builds the heavy electrical gear in a robot factory right next door to cut the supply-chain wait. The "up to," though, is carrying a lot of weight. Only the first slice, €45 billion across three named sites by 2031, is actually nailed down, and SoftBank has been quietly trimming how much it borrows, so whether the full headline number ever shows up is a fair question.
At the Choose France summit (Versailles, May 26; SoftBank's own press releases landed today), SoftBank committed up to €75B, roughly $87B, to build up to 5GW of AI data-center capacity in the Hauts-de-France region. The concrete part is Phase 1: €45B for 3.1GW across three named sites by 2031. Dunkirk pairs with Schneider Electric, which will run a robotized plant making data-center power modules next to the site, a vertically integrated supply-chain play rather than a plain campus. Bosquel is a 1GW joint venture with French operator Sesterce. Bouchain reuses a former EDF power-plant site, with EDF as partner. For scale, 5GW is roughly the entire installed UK data-center market, and the bet leans on France's cheap, low-carbon nuclear grid and existing heavy-industrial land. Hold the ceiling numbers loosely: every headline figure carries SoftBank's "up to," only Phase 1 is tied to sites and a timeline, and Fortune flags real financing questions, noting Son recently trimmed a planned $10B margin loan toward $6B. Choose France pledges also have a documented habit of overstating what actually gets built.
Memory chips, the parts that shovel data to AI processors, just turned into one of the hottest businesses on earth. Micron and SK Hynix both crossed a $1 trillion valuation in late May, days apart, with Samsung having gotten there first. The reason is simple supply and demand: AI data centers are desperate for the fast memory that sits right next to Nvidia's chips, and there isn't enough of it. Micron has already sold out every bit of this year's supply and can still only meet about half to two-thirds of what its biggest customers want. Ordinary memory prices are set to jump more than 60% in a single quarter. If you've ever wondered where the AI gold rush money actually ends up, a surprising chunk of it is in the unglamorous job of making memory.
Within three weeks, the high-bandwidth-memory boom minted a trillion-dollar trio. Samsung crossed first, around May 6. Micron hit $1T for the first time on May 26, closing up 19.3% at $895.88 after UBS nearly tripled its target to $1,625. SK Hynix followed on May 27, up 9.4% to about 1,600 trillion KRW, roughly $1.07T, and up 258% year to date. The fundamentals under the valuations are the real story. Micron's entire 2026 HBM supply, HBM4 included, is sold out, and CEO Sanjay Mehrotra says the company can fill only 50–66% of core-customer demand. SK Hynix holds about 57% of the HBM market and has secured roughly 70% of the HBM for Nvidia's Vera Rubin platform, and guides DRAM supply-constrained through 2030. TrendForce projects conventional DRAM contract prices up 58–63% quarter over quarter and NAND up 70–75% in Q2; HBM alone is eating about 23% of global DRAM wafer capacity, and data centers consume roughly 70% of all memory produced. One correction to the newsletter framing: it named only SK Hynix and Micron, but Samsung crossed the line first, and these are genuine USD caps, not KRW figures misread as dollars. The exposure: UBS's $1,625 is a single outlier call, and SK Hynix's run embeds heavy multiple expansion that an early HBM oversupply would punish.
Most people know AI as a chatbot. France's Mistral is trying to push it into heavy industry instead. It signed Airbus and BMW to build custom AI trained on their own engineering data, and the BMW example is the fun one: the carmaker has over a petabyte of virtual crash-test simulations, and the goal is an AI that predicts crash results in seconds rather than hours. The strategy is lock-in, since an AI trained on your private crash data is much harder to swap out than a generic one. Mistral's CEO is also playing hardball politics, warning French lawmakers that Europe will end up a "vassal state" of American tech unless governments start buying European AI on purpose. One thing to correct: a shipping-company deal that got bundled into the announcement is actually a year old, not new.
At its AI Now Summit in Paris on May 28, Mistral launched "Mistral for Industrial Engineering," built on simulation surrogate modeling, neural nets trained on the outputs of physics simulators to return airflow, thermodynamics, and deformation results in seconds. The capability comes from its May 22 acquisition of Vienna's Emmi AI. The genuinely new customers are Airbus (full product suite, on-prem or trusted cloud, spanning commercial, helicopter, defense, and space, including edge object recognition on aircraft) and BMW, which is training a "Large Industry Model" on its 1-petabyte-plus archive of crash simulations to predict structural-test outcomes in seconds instead of hours. EDF and ASML were also named. The moat logic is sound: a model trained on your proprietary crash data is far stickier than a generic API contract. One correction worth carrying: CMA CGM, which got lumped in as a new deal, is actually the €100M, five-year contract signed back in April 2025, repackaged under the new banner. On policy, CEO Arthur Mensch told the French National Assembly on May 12 that Europe risks becoming a "vassal state," cited a potential €1 trillion annual AI trade deficit, and pushed European-preference procurement clauses, with the lever being that about half of EU GDP flows through public spending.
Hollywood's actors union and the major studios agreed on a new four-year contract, and the big theme is AI. For the first time it lays down rules for fully computer-generated "synthetic" performers, meaning invented characters, not just digital clones of real actors, and it forces studios to justify using one and potentially pay a penalty if they don't. It also tightens consent: a studio can't scan you without a real reason, can't build a digital double from some random photo without permission, and can't send your AI replica to cross a picket line. Two catches worth knowing: the union dropped a proposed "pay a fee every time you use a fake actor" idea in favor of vaguer wording, and the deal isn't actually signed yet, since members are still voting through June 4. The pay raises, meanwhile, don't quite keep up with inflation.
SAG-AFTRA and the studios' AMPTP reached a tentative successor to the 2023 TV/Theatrical contracts on May 2, the national board approved it 89% on May 11, and about 160,000 members are voting now with ratification closing June 4. So it isn't finalized, despite recaps that say so. It's a four-year term worth over $700M, with 3% annual raises that trail inflation. The substance past 2023 is AI. The deal creates a new "synthetic performer" category for fully AI-generated characters, distinct from digital replicas of real actors, gated by a "significant additional value" standard backed by arbitration and damages that can exceed standard scale. Digital-replica consent now extends to replicas built from ordinary photography, from third-party sources, and for foreign-language dubbing, and a studio needs an "articulable business reason" before scanning anyone. Studios also can't use a performer's replica to cross a picket line, and there's an AI-training transparency clause requiring the union be notified of third-party licensing. The proposed "Tilly Tax," a fund payment each time a synthetic displaced a member, was rejected in favor of the value standard. The caveats: "significant additional value" is vague by design and will live or die on how arbitrators read it, the training clause is notice-and-meet rather than guaranteed pay, and the full text only went out shortly before the vote.
Spotify and Universal Music made a deal to let listeners remix and cover real songs using AI, and crucially, to pay the artists when they do. The key word is "legally." AI covers have been flooding YouTube and TikTok for two years with nobody's permission and nobody getting paid, and this is the first serious attempt to build a licensed version right inside a big music app, with artists choosing whether to opt in. It'll be a paid extra for Premium subscribers. Investors loved the idea and Spotify's stock jumped 13%. The big catch: it doesn't exist yet. There's no release date, no price, and no list of which artists are actually in, so right now it's a promise more than a product. And only Universal has signed on; the other major labels are still in talks.
On May 21, at its Investor Day, Spotify and Universal Music Group announced paired licensing deals, covering both recorded-music and publishing rights, to power a forthcoming generative-AI tool that lets Premium subscribers create covers and remixes of songs by participating UMG artists. The structural point is that it covers masters and publishing in one framework, the split that usually stalls AI-music licensing, and it routes money back to rightsholders instead of pretending AI covers aren't already everywhere. It's built on opt-in, with a stated "consent, credit, compensation" frame, and it's a paid add-on for Premium only. Investors liked the direction: the stock rose 13% on the day, against a base of 761M monthly users and 293M subscribers. Temper it with what doesn't exist yet. There's no launch date, no price, no named participating artists, and "built with UMG" overstates the role, since UMG is licensing rights, not co-engineering the tool. Sony, Warner, Merlin, and Believe are reportedly in talks but none have signed, and an opt-in model could debut with a thin catalog if artists hang back.
China laid out a plan to create national standards for measuring how good an AI model is. Right now there's no agreed way to compare one model to another, so two government bodies want to fix that, a bit like the official agency that defines exactly how long a meter is, except for AI performance. Part of the pitch is prying open the "black box" so models are easier to inspect and trust. Two reality checks: this is a roadmap, not an enforceable law, and the transparency promise is mostly a stated goal with no actual details behind it yet. The more interesting angle is geopolitical. China would rather grade its own AI by its own rules than rely on benchmarks built in the West.
On May 28 China's market regulator (SAMR) and economic planner (NDRC) jointly issued a "Guideline for AI Metrology System Development and Capacity Building," a roadmap to build national measurement infrastructure for AI, the equivalent of a standardized ruler for model performance, across six areas and framed under the 15th Five-Year Plan and the "AI Plus" initiative. The stated pivot is away from raw compute and scale toward quality benchmarking, domestically owned testing and calibration tech, national AI metrology research centers, and tools to address the "black-box" opacity problem. Two things keep this from being a regulation story. It's a guideline, not a binding national standard (GB) or law, with no enforcement mechanism in any of the source reporting, and the transparency angle is aspirational: it names the black-box problem but specifies no techniques, thresholds, or compliance requirements. The detail all comes through state media and SCMP, so the framing reflects official messaging. The real weight is geopolitical: sovereign benchmarks let China grade its models on its own terms rather than leaning on NIST or Western academic evaluations.
Blue Origin's big New Glenn rocket blew up during an engine test on its launch pad in Florida, wrecking both the rocket and the only pad it can fly from. Nobody was hurt, but the program is now grounded for who-knows-how-long. The timing stings: regulators had cleared it to fly again just six days earlier, and this test was getting ready for a launch of Amazon's internet satellites next week. The bigger ripple reaches the Moon. Blue Origin is building one of the two landers NASA is counting on to put astronauts back on the lunar surface around 2028, and that lander rides this exact rocket. NASA isn't sunk, since SpaceX's lander is the other option, but its backup plan just took a real hit. Jeff Bezos called it "a very rough day."
On the evening of May 28, during a static fire at Launch Complex 36 at Cape Canaveral, New Glenn's seven BE-4 engines ignited and the fully fueled two-stage vehicle exploded. It obliterated the transporter-erector, toppled a lightning tower, and badly damaged LC-36, the rocket's only operational pad. No one was hurt. The timing is harsh: New Glenn had flown three times (NG-3 in April put a satellite in the wrong orbit on an engine failure), the FAA had cleared a return to flight just six days earlier on May 22, and this test was prepping NG-4, a June 4 deployment of Amazon Kuiper satellites, now part of a frozen 24-mission manifest. Because the FAA treats static fires as outside its licensed activities, there's no federal grounding; Blue Origin runs its own investigation. The Artemis link is the real stakes. Blue Moon, the lander, launches on New Glenn, and the crewed Mark 2 is one of NASA's two Human Landing System providers, required for the Artemis 4 surface landing targeted around 2028. Corrections to the loose framing: the full stack was lost, not just the booster; the pad is heavily damaged, not destroyed; and the mission genuinely at risk is Artemis 4 (~2028), not Artemis 3 (~2027, an orbital demo). SpaceX's Starship, the other HLS, is untouched, so NASA keeps a path to the Moon, just a single-provider one now. If the root cause points at the BE-4, ULA's Vulcan, which shares the engine, could face scrutiny, though that's speculative. Bezos called it "a very rough day."
Eli Lilly shared early results for a one-time gene-editing infusion that permanently switches off a liver gene that drives bad cholesterol. At the top dose, it dropped LDL cholesterol by 62% and held there for a year and a half. That's roughly what today's best cholesterol drugs do, except those need a shot every few weeks and many people quit them, whereas this is meant to be once and done. The most important result is safety: an earlier version of this treatment hurt patients' livers and got paused, and the redesigned one didn't, across 35 people. Don't pop the champagne yet, though. It's a tiny early trial, it only measured cholesterol rather than actual heart attacks prevented, and editing your DNA is a permanent, one-way change whose long-term effects will take years to understand.
At the European Atherosclerosis Society Congress on May 25, with simultaneous publication in the New England Journal of Medicine, Eli Lilly reported Heart-2 Phase 1b data for VERVE-102. It's an in-vivo adenine base editor: a single IV infusion of a GalNAc-lipid nanoparticle carrying mRNA for the editor plus a guide RNA, which makes a permanent A-to-G change that inactivates the PCSK9 gene in liver cells. That's a precise DNA edit, not CRISPR nuclease cutting and not reversible RNA silencing, so "silences the gene" undersells it. Across 35 patients with familial hypercholesterolemia or premature coronary disease, the top 1.0 mg/kg dose cut PCSK9 by 88% and LDL cholesterol by 62%, with reductions described as durable out to 18 months. The headline win is safety. The predecessor, VERVE-101, caused Grade 3 liver-enzyme and platelet events on its old nanoparticle and was paused in 2024; the redesigned carrier showed no such signal here. VERVE-102 came to Lilly through its roughly $1B acquisition of Verve Therapeutics, whose founder Sekar Kathiresan is now a Lilly SVP, and Phase 2 is planned by year-end. The caveats are real: 35 patients is tiny and uncontrolled, the dose response is non-monotonic (the 0.7 mg/kg cohort managed only 33%), just 15 of 35 have a year-plus of follow-up, LDL is a surrogate with zero cardiovascular-outcome data, and off-target editing has only been checked preclinically. The 62% is comparable to existing PCSK9 injectables, but there's no head-to-head, and a permanent edit is a one-way door.

Follow the money and the whole day falls into line behind it. SoftBank pledged up to €75 billion for AI data centers in France, a footprint the size of Britain's entire data-center fleet. Meta laid off 8,000 people in a record quarter so it could spend up to $145 billion on chips, roughly twice last year. And the companies that make the memory those chips can't run without, Micron, SK Hynix, and Samsung, are now each worth more than a trillion dollars, because AI turned a sleepy commodity into the tightest bottleneck in tech. The capital flooding into compute has stopped being a story about a few labs. It's the gravity the rest of the day orbits.
What is all that spending buying? Some of it is the real thing. An OpenAI reasoning model produced a counterexample to a geometry conjecture Paul Erdős posed in 1946, and nine of the world's best mathematicians signed off. Strip the overstatement, since no journal has actually accepted it and humans did plenty of the polishing, and a genuine first survives: a general-purpose model doing open-ended mathematics that beat people for 80 years. A one-time gene edit from Eli Lilly cut bad cholesterol by 62% in an early trial. The capability is arriving, and it isn't only chatbots.
So is the bill, and the argument over the rules. GitHub starts charging developers by the token tomorrow, and the cheapest plan can evaporate in one ambitious session. Hollywood's actors fenced off AI-generated performers in a new contract. Spotify and Universal built a licensed way to remix songs with AI that actually pays the artists. China sketched a plan to grade its own models by its own yardstick, and Mistral told French lawmakers to buy European or risk becoming a "vassal state." Even the hardest edge of the week was physical, as Blue Origin's New Glenn exploded on the pad and dented NASA's backup route to the Moon. The capability is real and the money is staggering. Most of today was everyone else doing the math on what it costs.
---
