K
Koda Intelligence
boltDaily Signal
S&P 5007,473.47↑ 0.37% NASDAQ26,343.97↑ 0.19% BTC$75,551↑ 0.15% ETH$2,067.73↑ 0.21% US TROOPS TO POLAND5,000· ANNOUNCED SPACEX S-1 FILEDMay 20· SEC AI SAFETY EOSCRAPPED↓ KILLED S&P 5007,473.47↑ 0.37% NASDAQ26,343.97↑ 0.19% BTC$75,551↑ 0.15% ETH$2,067.73↑ 0.21% US TROOPS TO POLAND5,000· ANNOUNCED SPACEX S-1 FILEDMay 20· SEC AI SAFETY EOSCRAPPED↓ KILLED
THE SIGNAL · 23 MAY 2026 · 5 MIN READ

An 80-Year Math Conjecture Falls to a Machine, and Washington Strips the Guardrails Anyway

OpenAI's model just disproved a geometry conjecture that stumped mathematicians since the 1940s. Hours earlier, the Trump administration killed its own AI safety executive order after lobbying from Musk and Zuckerberg.

AI BREAKTHROUGHS · REGULATION · GEOPOLITICS · MARKETS
Lead Story Benchmark Build Fast with AI

OpenAI Model Disproves 80-Year Geometry Conjecture

An internal OpenAI model autonomously disproved a geometry conjecture that had stumped mathematicians for 80 years. Fields medalist Tim Gowers called the result "a milestone in AI mathematics." The breakthrough was reported on May 23, 2026, marking one of the most significant demonstrations of...

Continue Reading arrow_forward
smart_toy AI

OpenAI announced that one of its models independently disproved a geometry conjecture that had stood unresolved for eight decades, marking a landmark moment for AI-driven mathematical discovery.

public World

Pakistan's army chief traveled to Tehran in a mediation effort as regional tensions escalate, while Trump committed 5,000 U.S. troops to Poland and intelligence director Tulsi Gabbard abruptly resigned.

trending_up Markets

Fear dominates sentiment as investors weigh the rollback of AI safety oversight against a volatile geopolitical backdrop and SpaceX's surprise S-1 filing for a public offering.

bolt Wild Card

Meta reportedly tracked internal employee activity to generate training data for its AI systems, raising serious questions about workplace surveillance as a data pipeline.

Market Snapshot

query_stats

S&P 500

7,473.47

+0.37%

Nasdaq

26,343.97

+0.19%

Bitcoin

$$75,551.44

+0.15%

ETH

$2,067.73

+0.21%

Crude Oil

$103.54

-0.74%

Fear & Greed

28

Fear

Today's Focus

01

AI Solves Decades-Old Math

OpenAI's model disproved a geometry conjecture that mathematicians had left open since the 1940s. This is not incremental benchmark improvement; it represents genuine novel reasoning in abstract mathematics. The result will intensify debate over whether frontier models are approaching something closer to scientific intuition than pattern matching.

02

Safety Guardrails Stripped Away

The Trump administration scrapped a planned executive order on AI safety, removing one of the few federal mechanisms designed to impose oversight on frontier model deployment. The decision arrives at a moment when Anthropic's Jack Clark publicly predicts Nobel-caliber AI breakthroughs in the near term. The gap between capability acceleration and regulatory retreat is now wider than at any point in the industry's history.

03

SpaceX Goes Public

SpaceX filed an S-1 for a public offering, a move that could reshape capital flows across the technology sector. The company's Starlink division and its growing compute infrastructure ambitions make it a direct adjacency to AI scaling. In a fear-driven market, a SpaceX IPO would test whether investors still have appetite for high-conviction, capital-intensive tech bets.

Listen & Watch

Daily Broadcasts
Daily Deep Dive
Podcast ~22 min

Daily Deep Dive

Video Briefing
play_arrow
Video

Video Briefing

Daily Infographic
Infographic

Intelligence Map

Editorial
explore Today's Editorial 7 min read

The 80-Year Crack

Read Full Analysis arrow_forward

The Wire

AI Intelligence
Trend

Anthropic Clark Predicts Nobel-Level AI Breakthrough Soon

Anthropic co-founder Jack Clark, speaking at Oxford, predicted that AI would deliver a Nobel Prize-worthy scientific breakthrough within 12 months. In the same address, Clark acknowledged a "non-zero chance" that AI could pose existential risk....

Build Fast with AI

Enterprise

Meta Tracked Employee Activity to Train AI

Leaked audio revealed Mark Zuckerberg explaining that Meta had been monitoring employees' Gmail, coding sessions, and internal tool usage to train AI systems. The disclosure coincided with the firing of approximately 8,000 Meta employees. The...

Build Fast with AI

Policy

Illinois Senate Advances Powerful AI Regulation Bill

The Illinois Senate voted overwhelmingly on May 22 to advance Senate Bill 315, which would regulate transparency and catastrophic risk management for large AI model developers. The bill is part of an eight-bill package modeled after similar...

WIFR / AP

Agents

OpenAI Named Leader in Enterprise Coding Agents

Gartner recognized OpenAI as a leader in enterprise coding agents in its 2026 agentic coding report. The designation reflects the growing maturity and enterprise adoption of OpenAI's Codex and related developer tools. The recognition comes...

OpenAI

Enterprise

Anthropic Launches Project Glasswing for Software Security

Anthropic published an initial update on Project Glasswing, an initiative bringing together industry players to enhance critical software security infrastructure. The project aims to fortify software supply chains and security practices...

Anthropic

The Globe

World Affairs
Build

Endear AI Opportunity Engine: Surface Personalized Retail Outreach at Scale

Launched May 21, Endear's new AI Opportunity Engine analyzes customer purchase history and engagement signals to recommend which shoppers store associates should contact and what to say. It is designed for retail teams that want to scale clienteling without adding headcount. Plug it into your existing POS and CRM data to generate prioritized outreach lists each morning.

Build

MakeForm: Build Surveys, Quizzes, and Registration Forms With AI in Minutes

MakeForm is a free AI-powered form builder that generates surveys, quizzes, polls, and registration forms from a short text description. It handles conditional logic and response validation automatically, so you skip the drag-and-drop configuration phase entirely. Use it for rapid user research: describe your target audience and questions, and MakeForm structures the form, branching logic included.

The Arena

Competitive Intel

Anthropic

Anthropic publishes initial update on Project Glasswing, a multi-stakeholder initiative to harden critical software security

OpenAI

OpenAI named a Leader in Gartner's 2026 evaluation of enterprise coding agents

THE DOJO · BUILD TODAY

Build AI-assisted research workflows before the next breakthrough drops.

  1. Stress-test your assumptions with AI reasoning tools. Feed a long-standing hypothesis in your domain into a frontier model and ask it to find counterexamples. OpenAI's math result proves machines can falsify, not just generate.
  2. Audit your compliance stack for a post-guardrail world. With the federal AI safety order scrapped, self-governance is the only governance. Use MakeForm to build internal AI risk assessment surveys your team actually completes.
  3. Surface hidden revenue with personalized outreach. Try Endear AI Opportunity Engine to identify high-value customer segments your sales team is missing, especially if you operate in retail or DTC.
THE BOTTOM LINE

A machine just did what mathematicians couldn't for eight decades. The question is who sets the boundaries now.

Today crystallizes the central tension of 2026: AI capability is accelerating past human benchmarks in domains once considered uniquely creative, while the regulatory infrastructure meant to govern it is being actively dismantled. SpaceX going public will pull capital and attention toward frontier tech at exactly the moment oversight is thinnest. For builders, the mandate is clear: ship fast, but own your own safety standards, because no one in Washington is writing them for you.

Want this every morning?

AI analysis, world news, markets, and tools. One briefing, delivered free.

One email per day. No spam. Unsubscribe anytime.