An Al Breakthrough Has Made Decades of Computer Science Research 'Irrelevant'
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
OpenAI and Anthropic have both claimed to disprove the exponential time hypothesis, a 27-year-old assumption underlying large areas of theoretical computer science, such as complexity and algorithm design. Researchers are still verifying the AI-generated proofs, and many fear that dozens of published papers may now be invalid.