daily-hour-news·
🔬OpenAI Claims AI Disproved the Exponential Time Hypothesis
TL;DR
OpenAI announced AI-generated results in math, computer science and physics, including a claimed disproof of the Exponential Time Hypothesis. The ETH result was formalized in Lean on Oct 17, so it is machine-checked.
OpenAI announced AI-generated results in math, computer science and physics, including a claimed disproof of the Exponential Time Hypothesis. The ETH result was formalized in Lean on Oct 17, so it is machine-checked.
Key Points
1
ETH disproof found Oct 16 and formalized in Lean Oct 17, with Impagliazzo, Paturi and Williams
Keep reading — it's free
Enter your email to keep reading — plus the best of AI & tech, daily. Free, forever.
Also get
or
Already a member? Sign in
Quick Facts
OpenAIAI for mathLeanExponential Time HypothesisKakeya conjectureYang-MillsAI research
Comments
Subscribe to join the conversation...
Be the first to comment