AI-Generated Proofs Challenge a 27-Year-Old Computer Science Hypothesis
🤖 AI-generated content — The title and summary were produced automatically by artificial intelligence, without human editorial review.
OpenAI and Anthropic say AI-generated proofs disprove the 27-year-old exponential time hypothesis, undermining extensive research on computational complexity and algorithms. The proofs, published in natural language and Lean, have not yet been independently verified.
Continue in the app — vote & join in ➔Source: Wired · via ahirlevel.hu