Ryan Williams @rrwilliams.bsky.social

@rrwilliams

Professor @MITEECS and @MIT_CSAIL. Complexity, algorithms, and related math. I'll let you know when P != NP (and when it's not)

Cambridge, MA

csail.mit.edu/~rrw/

Joined April 2008

500 Following

12.8K Followers

Replies Reposts Media

Pinned
Ryan Williams @rrwilliams.bsky.social
@rrwilliams
Jul 23, 2024
A number of people (grad students in particular) said they enjoyed my talk at ICALP. So maybe you'll like it too. A little unusual, it's about how/why I ended up working on circuit complexity. youtube.com/live/0DrFB2Cp7… (Skipping the ceremonial stuff that happened before the talk)
2
Ryan Williams @rrwilliams.bsky.social
@rrwilliams
9h
I'll try. ETH claims 3SAT cannot be solved in 1.000... 01^n time for some number of zeroes. They claim ETH is false, giving an algorithm that is "sub-exponential" time for 3SAT. That would be surprisingly faster than brute force, the 2^n time.
Sughu
@sughanthans1
12h
Replying to @rrwilliams
thanks for the post ryan. i know you might be under immense work load but could you explain to someone who is reasonably intelligent but have not researched this field - what are the implications of these findings?
17
Ryan Williams @rrwilliams.bsky.social
@rrwilliams
13h
Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
math/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf at main ·...
From github.com
73
Ryan Williams @rrwilliams.bsky.social
@rrwilliams
13h
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
202
Ryan Williams @rrwilliams.bsky.social
@rrwilliams
Oct 8
Funny, I've been calling it the mathslopcalypse. To each their own. Can anyone honestly say they found a paper among the hundreds in the release that's *not* a huge pain to read (without AI assistance)?
16