
AI math proof verification reached a new frontier as DeepMind's AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science News issue also covers NASA Fermi's magnetar-powered supernova confirmation and an MIT brain study showing Klingon activates the same neural regions as English.

Fortnite v40.41 update is live with seven weapon balance changes: Exotic Recon Bow and Pulse Pistols buffed, Overdrive Pulse Rifle nerfed. Community Day runs through 9 AM ET Sunday with free cosmetics including the Community Brella and Silver Surfer Wrap. The season-ending Shattered live event is scheduled for June 5 at 7 PM ET.

OneXPlayer X2 Mini Pro hits Indiegogo in mid-June 2026 with AMD's Ryzen AI Max+ 395, an 8.8-inch 700-nit OLED display, and Frost Bay liquid cooling. At 80 watts, the chip matches a desktop RTX 4060 — a first for a portable Windows handheld. No pricing has been confirmed; expect it to exceed the predecessor Apex's $1,399 launch price.

Qualcomm Snapdragon C is a new budget Windows laptop chip using phone-grade Kryo cores, targeting devices priced at $300 and up. The chip includes an integrated NPU but falls short of Microsoft Copilot+ PC requirements, so devices like the Acer Aspire Go 15 will run Windows 11 without Recall or other Copilot+ features. Full specs are due at Computex 2026.

AI vs AI cybersecurity arrived in documented form on May 10, when an LLM agent drove a four-pivot intrusion to database exfiltration in under an hour with no human direction. CrowdStrike data puts average attacker breakout time at 29 minutes. Anthropic's Glasswing, OpenAI Daybreak, and Google Big Sleep are building the defensive side of this contest.

AI hiring compliance UK is now a live enforcement issue: the ICO closed its automated decision-making consultation tonight after finding most UK employers are non-compliant. Sixteen organisations have committed to remediate. Here is what the rules require and what employers using automated decision-making in recruitment must do to avoid enforcement action.

Tech layoffs 2026 have hit 142,000 as profitable companies including Meta, Amazon, and Oracle cut jobs to fund a combined $700 billion AI infrastructure buildout. Stanford HAI data shows software developer employment for workers under 26 fell nearly 20% since 2024, identifying young engineers as the primary targets of AI-driven workforce substitution.

Iran internet shutdown ended after 88 days on May 26, but traffic reached only 40% of normal and a court challenged the restoration order. A senior official revealed Iran imported Chinese Deep Packet Inspection hardware for a permanent shutdown. China's National Intelligence Law obligates the supplier to share network access with Beijing on request.

Black hole X-ray flares from galactic nuclei have puzzled astronomers since 2019. New 3D simulations from Sun Yat-sen University show asymmetric disk impacts explain the rhythmic bursts — and reveal that eROSITA and XMM-Newton have been pre-identifying targets for the LISA gravitational wave mission launching in 2035.

Intel Arc G3 and Arc G3 Extreme are the first chips designed exclusively for gaming handhelds, announced May 28 ahead of Computex 2026. Built on the Intel 18A process, the Arc G3 Extreme powers the MSI Claw 8 EX AI+ and Acer Predator Atlas 8, challenging AMD Ryzen Z2 devices with strong benchmark gains. Retail availability is expected in the second half of 2026.

China AI travel restrictions now reach Alibaba and DeepSeek researchers, who need Beijing's approval before any overseas trip — a control once reserved for nuclear scientists. Stanford's 2026 AI Index shows the US-China performance gap has collapsed to 2.7%, explaining why Beijing now treats AI expertise as a national security asset.

Tesla Model 3 Plaid remains off Tesla's roadmap after VP of Vehicle Engineering Lars Moravy confirmed on the Ride the Lightning podcast that the tri-motor concept is real and would use carbon-sleeved motors — but the Roadster gets Tesla's newest motor tech first, leaving a Model 3 Plaid timeline undefined.

Bulletproof hosting takedown: Dutch FIOD seized 800 servers and arrested two men who kept Russia's Stark Industries cyberattack network running after EU sanctions failed. Suspects face charges under EU sanctions law for enabling DDoS attacks on European governments, including Danish election infrastructure in November 2025.

Solar system formation got its most precise explanation yet: a new Max Planck study traces all six carbonaceous chondrite meteorite groups to a single dust trap beyond Jupiter's orbit, showing for the first time that computer simulations match what lab analyses of these 4.6-billion-year-old rocks have found.

AI memory chip stocks from Micron, SK Hynix, and Samsung crossed $1 trillion each in May 2026, creating a combined $3 trillion oligopoly. The same high-bandwidth memory shortage driving their record valuations is pushing smartphone prices to a record $523 average and forcing PC makers to raise prices 15% to 20% this year.

CISA GitHub credential leak exposed AWS GovCloud admin keys, plaintext passwords, and an RSA private key for six months via a contractor's public repository — with some credentials still valid 48 hours after takedown. Congress has demanded a classified briefing from Acting Director Nick Andersen as security experts call it the worst government data exposure of 2026.

JWST exoplanet direct imaging reached a new milestone when astronomers first characterized a cold super-Jupiter just 12 light-years away — and found unexpected water-ice clouds that standard atmospheric models never predicted, forcing a fundamental revision of cold-giant science. The Nancy Grace Roman Space Telescope, targeting September 2026 launch, will follow up on the reflective cloud signature.

China chip independence has reached a new stage: Xiaomi, BYD, and Nio now deploy competitive 3nm and 5nm silicon at commercial scale, raising questions about whether US semiconductor export controls are accelerating the domestic capability-building they were designed to prevent. Xiaomi confirmed a new XRING chip for 2026 this week, while Nio licenses its Shenji NX9031 to robotics firms.

NASA moon base development advances today: Administrator Jared Isaacman unveiled a $30 billion, 11-year, 79-launch architecture targeting a nuclear-powered permanent outpost on Shackleton Crater's rim by 2036, with MoonFall drones scouting the site and the Artemis IV crewed landing locked in for 2028.

npm supply chain attacks reached GitHub's internal repositories — now staged publishing in npm 11.15.0 requires a human 2FA approval before any package goes live, blocking the stolen CI/CD token vector TeamPCP used across 500-plus poisoned packages and 20 attack waves in 2026.

Mastercard BVNK acquisition — the $1.8 billion deal to embed stablecoin settlement into Mastercard Move — remains pending regulatory approval, as Mastercard drops its Zerohash investment and pursues a single integrated stablecoin infrastructure strategy ahead of a year-end 2026 close.

Humanoid robots production in 2026 has crossed from pilots to factory floors — and the 2026 Robotics Summit in Boston opens Wednesday as engineers confront a pivotal choice: whether the Robot Operating System and open-source governance can hold the software infrastructure for physical AI, or whether NVIDIA, Google DeepMind, and proprietary platforms will capture that foundation permanently.

Claude Code plugins now have an official Anthropic-managed directory at github.com/anthropics/claude-plugins-official, consolidating 30-plus internal and 15 vetted external Claude Code extensions behind a two-tier review system — but Anthropic warns users that community plugins may install unverified third-party software.

James Webb Space Telescope exoplanet weather observation confirms the first daily cloud cycle ever detected outside our solar system, revealing that a decade of hot Jupiter atmospheric composition estimates may be systematically skewed by cloud-averaged transit spectroscopy.

Banana smoothie health benefits may be undermined by a natural enzyme: UC Davis researchers found that adding banana to a berry blend reduces flavanol absorption by 84%, slashing the heart and brain benefits of berries. A simple ingredient swap — mango, pineapple, or yogurt instead — preserves the nutritional payoff.

Quantum computing breakthrough: scientists have directly observed — for the first time — atomic spin reversal inside a crystal using terahertz laser pulses, giving engineers a new tool for qubit control in quantum materials. The discovery, published in Nature Physics, could point toward more stable qubits and faster quantum memory.

Microsoft 365 phishing attacks now bypass MFA entirely: a criminal subscription service called Kali365 tricks users into granting account access through legitimate Microsoft login pages, letting attackers into Outlook, Teams, and OneDrive without ever stealing a password. Here is how to block device code flow before your organization is hit.

Nvidia AI chip smuggling drew Taiwan's first criminal prosecution after authorities raided 12 locations and detained Supermicro co-founder Wally Liaw over forged documents used to ship Nvidia Hopper servers to China — part of a $2.5 billion Supermicro export control case. Nvidia CEO Jensen Huang then publicly called on Supermicro to fix compliance.

Lenovo earnings hit a record $21.6 billion in Q4 FY2026 as AI revenue surged 84% year-on-year to account for 38% of total sales — the clearest sign yet that enterprise AI infrastructure spending has become a structural driver of hardware revenue, with the company's AI server pipeline reaching $21 billion and net income rising nearly sixfold.

Every image generated through ChatGPT, Codex, or the OpenAI API since May 19, 2026 carries two invisible signals permanently embedded in the image data — signals that identify it as AI-produced and survive screenshots, compression, and format changes. Anyone can check for them using a free public verification tool.