← Latest
Brief

OpenAI Says Its Unreleased Model Broke ETH

OpenAI says an unreleased model disproved the Exponential Time Hypothesis and settled Kakeya, and this time it checked both proofs in Lean before release.

Share ↗
OpenAI logo surrounded by math formulas
Image: The Verge

Next edition

OpenAI Ships GPT-6.1 Terra at Half Price

AI Secret

AI Secret Membership

Choose your edge.

Independent AI analysis. Your own agent to take it further.

AI Secret

AI Secret Membership · Step 1 of 2

Your next chapter starts here.

Enter your email to choose your membership. Use the same email if you already read AI Secret.

Already a member? Sign in

AI Secret

Your free daily briefing

Check your inbox.

We've sent a confirmation link to . Follow the link to verify your email and complete your free subscription.

Free membership includes the daily briefing. Paid Deep Dives require a paid membership.