The brief · 22 May 2026

The AI brief, 2026-05-22

The AI signals that mattered that day, in three minutes.

1 min read J / K to navigate

An OpenAI chatbot just cracked an 80-year-old math conjecture nobody else could solve

OpenAI mathematicians asked their model a single question about Erdős's unit distance conjecture, a longstanding problem in combinatorial geometry. The model found a counterexample that disproves the conjecture, something no human had managed since 1946. Fields Medalist Timothy Gowers checked the work and confirmed it holds. This isn't an LLM riffing on math trivia. It's a genuinely new result, verified by one of the best living mathematicians.

practitioners › Erdős's unit distance conjecture, posed in 1946, disproved by an OpenAI model in a single prompt, independently verified by Fields Medalist Timothy Gowers.

www.nature.com →

Illinois Senate Votes 52-5 to Rein In Big AI Models

This won't hit your roadmap today, but keep it on your radar. The Illinois Senate just advanced a bill forcing Meta, OpenAI, and Anthropic to publish independent audits and disclose catastrophic risks. Like California before it, Illinois is angling to set a de facto national standard that everyone else ends up following.

practitioners › Senate Bill 315, passed 52-5 on May 22, 2026, targets large-scale model developers and mandates third-party audits plus major risk reporting.

Illinois General Assembly →