ED

Erik Demaine

Researcher

Mathematics

Now Professor, EECS and CSAIL · MIT

erikdemaine.org

Latest on AI4S.fyi

TIMELINE · 2026-11-02

MIT's Hardness Group treats ETH as refuted and moves lower bounds onto the 1990 Satisfiability Hypothesis, which it proves equal to Weak ETH

Path

MITProfessor, EECS and CSAIL

On the timeline

2026-11-02MIT's Hardness Group treats ETH as refuted and moves lower bounds onto the 1990 Satisfiability Hypothesis, which it proves equal to Weak ETH

Sourceserikdemaine.org

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →