Google DeepMind's AlphaProof Code framework generated more than 6 million lines of Lean proofs in four weeks to verify Signal's post-quantum handshake, triple ratchet protocol, and forward secrecy down to the ARM machine-code level. It required human review for 1% of the code and detected two intentionally implanted old bugs.
Four nonprofit organizations filed a lawsuit in San Francisco federal court against OpenAI, Google, Anthropic, Meta, and SpaceX's AI division, seeking an injunction to halt frontier AI development. The complaint invokes California unfair competition law and the companies' own public warnings about catastrophic AI risk.
A forensic report finds that six Chinese frontier models used export-controlled NVIDIA Blackwell GPUs during training initialization, involving an estimated 12,000 GPUs. The finding offers a verifiable technical path at the intersection of evaluation transparency and chip export controls.
In a special episode of “Uncanny Valley,” we break down Jensen Huang’s resignation from Nvidia, what comes next for the company, and where the AI industry goes from here.
Muse's AI can now place outbound calls to U.S. businesses — but it's not free.
Airlines praised the AI tool, but the air traffic controllers’ union wasn’t involved.
Nvidia employees and tech insiders never thought the chip king would lose his job. Despite his sudden resignation, many of them are still in denial.
This Congressional investigation into Nvidia's China sales and its dealings with Trump is the second one, so far, since news of the alleged spy affair broke.
Representatives from Nvidia told Illinois representative Bill Foster that it would be technically possible to implement the anti-smuggling measures called for in the Chip Security Act, Foster told MIT Technology Review in an interview on Thursday, even while an industry group claimed they were “potentially infeasible.” Foster, a Democrat who serves on the Committee on…
Reuters is withholding the name of the new employee linked to Huang, but says she is an employee of Nvidia.
A recent WIRED investigation explored the complicated definition of “power” for women in the industry. Jensen Huang’s answers now appear to show his blind spots.
Nebius plans to fund its $40 billion AI infrastructure expansion through customer prepayments and loans, even as delays at a Microsoft data center raise questions about its financing model.
OpenAI has committed $2 million to a research network under the Coalition for Children's Rights and Protection in the AI Era and signed a child AI safety participation charter. The funding is intended less to conduct safety work than to build shared measurement tools that can feed evidence into product design and policy as the EU Kids Act debate intensifies.
The airline said it will not allow customers to use AI agents to book flights and manage reservations.
Jensen Huang’s resignation raises questions about Nvidia’s commitment to open source AI, including its Hugging Face acquisition, open-weight models, and advocacy against restrictions, as the company navigates a leadership transition.
Families confront Google after teen’s lawsuit labels Gemini a “suicide coach.”
This week on “Uncanny Valley,” the team unpacks the Nvidia CEO’s affair with an alleged Chinese spy and what that means for the AI industry.
Nectar's new AI agent automates influencer marketing, helping brands discover creators, manage outreach and partnerships, and track campaign results.
Gemini 4 Hydrogen isn't getting a slow, security-conscious release like Carbon and Argon.
Powered by Gemini 4 Hydrogen, Google's AI Mode is getting better at understanding complex queries, surfacing relevant links, and delivering richer visual responses.
