Ryan Williams
Researcher
Now Professor of Electrical Engineering and Computer Science, MIT
Latest on AI4S.fyiTimeline · Oct 26OpenAI and Anthropic each claim a subexponential 3-SAT algorithm refuting the Exponential Time Hypothesis, each checked in Lean, neither checked by anyone outsidePhotos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →
Affiliations
Current
- Professor of Electrical Engineering and Computer Science · MIT
Current roles come from these dated records, not from the bio below. Each links the page it was read from.
On the timeline
- 2026-10-26OpenAI and Anthropic each claim a subexponential 3-SAT algorithm refuting the Exponential Time Hypothesis, each checked in Lean, neither checked by anyone outside
- 2026-10-26OpenAI arranged its examiners before announcing, and the group it arranged wrote to its field to say the involvement is not certification
Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →