5 ms·
Kind of makes this seem funny in retrospect: > Aaronson and O’Donnell both called Huang’s paper the “book” proof of the sensitivity conjecture, referring to Pa
by anchpop 6y ago
Kind of makes this seem funny in retrospect:
> Aaronson and O’Donnell both called Huang’s paper the “book” proof of the sensitivity conjecture, referring to Paul Erdős’ notion of a celestial book in which God writes the perfect proof of every theorem. “I find it hard to imagine that even God knows how to prove the Sensitivity Conjecture in any simpler way than this,” Aaronson wrote.
- alberto_ol 6y agoA few comments below a guy called Don Knuth claims to have shortened the proof to one page https://www.scottaaronson.com/blog/?p=4229#comment-1815290 https://www.scottaaronson.com/blog/?p=4229#comment-1815290
- BugsJustFindMe 6y agoAnd it's actually only half a page. The first bit is an acknowledgement, and the second half is notes including another few acknowledgements.
- alasdair_ 6y ago> a guy called Don Knuth I found this unreasonably funny, given we’re posting on a tech-focused forum. It’s like posting about “a proof by some dude called Albert Einstein” on a physics forum. :)
- scythmic_waves 6y agoIt was, in fact, _the_ Don Knuth. You can see the proof on his site.
- SatvikBeri 6y agoI initially assumed that this was a random person using Don Knuth as a username, instead of, you know, the real deal.
- makeset 6y agoAh yes, and he seems to have typeset it all nicely in Word.