Tag
OpenAI and Anthropic both claimed to have disproved the 27-year-old exponential time hypothesis (ETH) using AI-generated, machine-checkable Lean proofs, threatening to render large swaths of theoretical computer science research obsolete and shaking up the research community.