6 min read

🛎️ The Wall of Token

Plus: Erdős Goes Wholesale, Banks Stop Hiding the AI Cuts

Good Morning, AI Enthusiasts!

Apparently “productivity” was just the polite word before the CFO found the token invoice.


TOKEN

The Wall of Token

👀 What’s happening: Microsoft is revoking Claude Code licenses for most employees by June 30, just six months after rolling the tool out to thousands of engineers, PMs, and designers. Employees preferred Anthropic's product to Microsoft's own Copilot CLI, which made the rollback look less like a product decision than a cost decision. In the same month, YC partner Tom Blomfield told founders that if their API bill does not hurt, they are not burning enough.

🌍 How this hits reality: Microsoft and YC are reading the same token bill through opposite org charts. Microsoft's spend keeps the old structure alive: same salaries, same managers, same headcount, now with an AI copilot riding shotgun. YC wants tokens to replace payroll, not sit on top of it. That is the split. The real productivity leap is not better autocomplete. It is organizational redesign. Keep going and the winners will be the companies that rebuild around AI, not the ones that merely add it.

🛎️ Key takeaway: The AI economy does not split at the model layer, it splits at the org chart: one company buys a perk, the other buys labor.


SCIENCE

Erdős Goes Wholesale

👀 What’s happening: Google DeepMind's AlphaProof Nexus solved nine open Erdős problems, two of them unsolved for 56 years, by pairing an LLM with Lean, a proof assistant that machine-verifies every step. Each problem cost a few hundred dollars. The system also cleared 44 open conjectures from the Online Encyclopedia of Integer Sequences. It shipped one day after OpenAI's own Erdős win.

🌍 How this hits reality: Mathematics priced everything on one assumption: novel results are scarce because human genius is scarce. AlphaProof Nexus further broke that price. Two labs cleared decades-old Erdős problems eight days apart, at a few hundred dollars each, and 44 OEIS conjectures fell as a side dish. Formal verification is the unlock: Lean checks, the LLM keeps guessing until one passes. The bottleneck has moved from "is there a human who can do this" to "is there a verifier loop that catches the proof." Keep going and the global backlog of famous open problems gets burned down like a sprint board.

🛎️ Key takeaway: Erdős spent his life building a backlog of problems that would outlive him; two labs are now clearing it for $300 apiece and racing each other for the byline.


LAYOFF

Banks Stop Hiding the AI Cuts

👀 What’s happening: HSBC CEO Georges Elhedery told employees not to fight AI, warning that generative AI will destroy some jobs as it creates others. Standard Chartered went further, saying it will cut nearly 8,000 roles and trim 15% of corporate function jobs by 2030. Morgan Stanley says AI already helped banking, tech, and professional-services firms shed one in 20 staff over the past year.

🌍 How this hits reality: Banks spent two years pretending AI was mainly a productivity story. That phase is ending. HSBC is still using the soft language, more productive versions of yourselves, while Standard Chartered is saying the quiet part out loud: routine finance work is becoming software. The most exposed workers are offshore teams and young staff, which means AI is not just trimming cost, it is collapsing the old apprenticeship ladder that once trained future bankers. Keep going and finance stops being a machine that hires armies to process information and starts becoming a thinner layer of humans supervising machines that do it first.

🛎️ Key takeaway: The real shift is not that banks are cutting jobs with AI, it is that one of the world's most status-conscious industries has started admitting that information work itself is being incredibly cheap.


NEW LAUNCH

Nvidia Ships the Medical Data Factory

👀 What’s happening: NVIDIA released NV-Generate-MR-Brain, an open-source model that fabricates realistic 3D brain MRIs so medical AI teams can train tumor detectors and segmentation models without real patient scans. It learned from MR-RATE, a 100,000-study dataset that the University of Zurich, Istanbul's Medipol University Hospital, Forithmus, and NVIDIA jointly de-identified and released under CC-BY-NC. Philips is already validating workflows on the synthetic outputs.

🌍 How this hits reality: Medical AI's ceiling for a decade was patient consent, scaled badly. Every startup negotiated its own IRBs and trained a narrow model on whatever data leaked through. NVIDIA's move collapses that into a one-time toll: one consortium crosses the privacy wall, trains a generator on real scans, and ships it open. Downstream labs now train on synthetic data, royalty-free on RTX. Keep going and the moat migrates from who can sign hospital contracts to who owns the synthesizer everyone trains on.

🛎️ Key takeaway: NVIDIA did not erase the privacy wall, it paid the toll once and built the bypass, turning medical AI's hardest step into a download and the rest of the stack into RTX demand.


TOGETHER WITH MYCLAW

Personal AI That Starts Personal

A personal AI shouldn’t feel generic. MyClaw lets you install skills that adapt to your preferences from the start, so your assistant feels relevant on day one. Behind the scenes, OpenClaw provides the agent power. What you see is a simpler way to put it to work.

If you’re serious about OpenClaw, don’t run it halfway. Run it the way it was meant to be run — fast, secure, and production-ready by default.


DAILY TL;DR

  • Google is still navigating AI security in real time as frontier-model risks keep changing faster than review systems.
  • Xreal says it has finally cracked lightweight smartglasses, keeping consumer AI glasses in the hardware race after Google I/O.
  • Amazon is testing Bee, an AI wearable that listens across daily life and turns ambient context into summaries and reminders.
  • OpenAI committed $300 million to Singapore for AI skills, infrastructure, and local AI-native innovation programs.
  • GitHub saw more than 5,500 repositories infected in the Megalodon supply-chain attack, another warning for AI-heavy coding workflows.
  • xAI saw Grok show up in only three public U.S. federal AI use cases, weakening SpaceX’s AI growth story.
  • Target is rethinking employee AI-tool access as token-based pricing makes enterprise usage costs harder to control.
  • Standard Chartered CEO Bill Winters apologized after saying AI would replace “lower-value” human workers, highlighting backlash risk around bank automation.

READ MORE

Let the Future Come to Your Inbox

Stay ahead without drowning in information. We turn the most important signals across AI, tech, marketing, and future products into 5-minute reads you can actually finish.


TOGETHER WITH US

AI Secret Media Group is the world’s #1 AI & Tech Newsletter Group, reaching over 2 million leaders across the global innovation ecosystem, from OpenAI, Anthropic, Google, and Microsoft to top AI labs, VCs, and fast-growing startups.

We've helped promote over 500 Tech Brands. Will yours be the next?

Email our co-founder Mark directly at mark@aisecret.us if the button fails.