The Credibility Tax: How OpenAI's Last Math Embarrassment Made This One Believable

On Tuesday, OpenAI announced that an internal, general-purpose reasoning model had autonomously disproved a central conjecture in discrete geometry — the Erdős unit distance problem, open since 1946. The proof constructs infinite families of point configurations achieving n^(1+δ) unit-distance pairs for a fixed constant δ>0, demolishing the widely-held belief that the exponent's excess over linear should vanish as n grows. Number theorist Will Sawin subsequently refined the bound to δ≈0.014. Fields medalist Tim…

Tech Briefing — Thursday, May 21 2026

Google I/O dominates the news cycle with Gemini 3.5 Flash going GA, a new Antigravity agent platform, and Omni multimodal generation. Meanwhile, Karpathy joins Anthropic, SpaceX plans to acquire Cursor, and Musk loses his OpenAI lawsuit.

• \U0001f916 Models and Launches 4
• \U0001f4b0 Funding and Industry 7
• \U0001f527 Agents and Tools 5
• \U0001f52c Research 5
• \U0001f512 Security 3
• \U0001f525 Hacker News 5
• \U0001f30d Notable 4

The CEO Memo Nobody Asked For

To: All Employees From: CEO Date: 21 May 2026 Subject: Strategic Context and Forward Path