This is how tenure ends.
blog.computationalcomplexity.org/2026/08/unexpe…
Lance Fortnow
@fortnow
- AI can prove theorems but only humans can give them funny names. Bill reports. blog.computationalcomplexity.org/2026/08/math-c…
- Isik Ulusan, a U Mass student, created Complexle, like Wordle but you guess complexity classes. For each guess you get hints (set-theoretic inclusion, the type of model it is defined on, uniformity, etc.) for a total of 6 guesses. Give it a try. iulusan.github.io/complexle/game…
- I'm back from vacation. Bill had two posts while I was gone on AI Erdős and Jeopardy. blog.computationalcomplexity.org/2026/07/would-… blog.computationalcomplexity.org/2026/08/a-prob… and in some personal news lnkd.in/p/gy_4aHrY
- Ming-Yang Kao, my former theory colleague at Northwestern, passed away last May.
