A week-in-review of AI infrastructure flagged coding-agent startup Cognition raising $1B at a $26B valuation, the combined market capitalization of memory manufacturers crossing $1 trillion on AI-datacenter demand, and Dell shares up roughly 38% on server backlog. The recap reinforces that capital…
Snapshot — May 30, 2026
9 stories
- Google DeepMind's AlphaProof Nexus is reported to have produced formal resolutions to nine previously open Erdős problems, with an associated arXiv preprint circulated earlier in the month.
- If validated by the mathematics community, it marks a meaningful step in automated theorem-proving on genuinely open conjectures rather than benchmark sets.
Nvidia and Microsoft are set to introduce the first Windows PCs that use an Nvidia chip as the main processor, debuting next week at Computex with Surface and Dell among the launch devices. The shift puts Nvidia into the client CPU role long held by x86 incumbents and tightens the Microsoft–Nvidia stack from data center down to the desktop — a structural change to the Windows hardware supply chain. [https://www.axios.com/2026/05/30/nvidia-microsoft-pcs-ai-surface-dell](https://www.axios.com/2026/05/30/nvidia-microsoft-pcs-ai-surface-dell) **Tags:** `NEW`
- Effective June 1, Microsoft's GitHub Copilot transitions from flat-rate subscriptions to usage-based token billing.
- Developers have reacted sharply, with heavy agentic-mode users facing the steepest cost increases.
- The change reflects Microsoft's effort to align Copilot's economics with actual compute consumption, but risks slowing adoption among individual developers and small teams at a critical growth phase for AI-assisted coding. --- **Tags:** `TRENDING`
At ISCAS 2026 in Shanghai, Huawei researchers presented a "Tau Scaling Law" (also dubbed "Her's Law") and a LogicFolding 3D-stacking approach, laying out a path to 1.4nm-class chips by 2031 despite lithography constraints. The roadmap is being read as China's bid to sustain AI-hardware scaling under export controls by shifting from feature-size shrinks to architectural and packaging gains. [https://aimagazine.com/news/top-five-stories-in-ai-may-30-2026](https://aimagazine.com/news/top-five-stories-in-ai-may-30-2026) --- ## AI Safety, Policy & Regulation **Tags:** `HOT` `BREAKING`
- Researchers at Push Security detailed a live campaign, dubbed "LLMShare," that abuses ChatGPT's content-sharing and code-rendering features to display fake OpenAI outage pages on ChatGPT's own domain, tricking users into installing malware disguised as ChatGPT for Desktop; similar activity was observed on Claude.
Leaked roadmap documents indicate Meta is developing an AI-powered pendant capable of transcribing and contextualizing conversations, alongside four new smart glasses models planned for 2026. The pendant would represent Meta's first standalone wearable AI device outside the glasses form factor, targeting ambient capture and recall—a direct response to Humane and emerging competition from Apple's on-device AI strategy. --- ## Model Releases **Tags:** `BREAKING` `NEW`
- Ahead of Microsoft Build (June 2–3 in San Francisco), reporting indicates Microsoft will unveil an expanded MAI lineup — MAI-Image-2.5 (with a faster "2.5e" variant and new image-editing), MAI-Transcribe-1.5, and a multilingual MAI-Voice-2 — alongside a homegrown coding model aimed at GitHub Copilot.
- At the Choose France 2026 summit, SoftBank announced plans to invest up to €75 billion to build 5 GW of AI data center capacity in France.
- Reuters reported that France attracted $108 billion in total foreign investment at the event, with SoftBank's data center commitment accounting for roughly half.
- The deal underscores how sovereign AI infrastructure is becoming a geopolitical lever, with nations competing for hyperscale compute buildouts. --- **Tags:** `TRENDING`