OpenAI’s Proof Deluge Leaves Mathematics With a Verification Problem
On a video call convened by the French Mathematical Society, Hugo Duminil-Copin, who won a Fields Medal in 2022, told colleagues he had wept the night before, hard enough to…
A Bug in the Boardroom, and a Subpoena for OpenAI’s Hiring Files
Tuesday delivered OpenAI two problems with the same shape: information the company did not intend to give up. In San Francisco, federal prosecutors charged an OpenAI engineer with planting a…
Nvidia Trades Compute for a Place in Europe’s AI Stack
Nvidia is spending in Europe the way a company spends when it wants to be part of the plumbing rather than a supplier standing at the edge of it. On…
Google’s Best Model Arrives With a Discount and an Expiration Date
Google opened its most capable artificial-intelligence model to developers, enterprises and consumers on Tuesday, and put the detail that matters most to buyers in a footnote. Gemini 4 Argon is…
OpenAI Opens Talks to Buy Security Firm Trail of Bits
In the first week of June, about 25 engineers from Trail of Bits fanned out across the code that much of the internet runs on. Working with OpenAI on an…
Six Days and $40,000 to Break Chrome’s Sandbox
The proof of concept is almost anticlimactic. A page loads in a signed build of Chrome Beta, and the calculator application appears on the desktop. Nothing is downloaded, nothing is…
SK Hynix Says the AI Bottleneck Is the Memory It Sells
Ahn Hyun opened his keynote at the SEDEX semiconductor exhibition in Seoul on Wednesday with a forecast that would have sounded like a sales pitch in a smaller room. The…
The FBI’s Long Campaign Against the Scam Compounds
The compound at O’Smach sits on Cambodia’s northern border with Thailand, and by the accounts of U.S. prosecutors, United Nations researchers and reporters who have been inside such sites, it…
A Credit Market Calm Built on a Pause in AI Borrowing
The note Goldman Sachs sent its credit clients this month made an odd pitch for a bull case. Buy investment-grade bonds, it said, and watch the calendar. The argument rested…
Two Blank Checks Test the Appetite for SPACs
On Tuesday, two filings landed with the Securities and Exchange Commission a few hours apart, each asking the same question in a different size. Apex Treasury Corp II, a blank…
