News for hackers. Stuff that matters.

A comment on Mathematician Solves Sensitivity Conjecture in Two Pages (2019). Parent comment

Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by anchpop on Friday February 12, 2021 @12:36PM (#26116199)
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.

[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by alberto_ol on Friday February 12, 2021 @01:06PM (#26116574)
A 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
[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by alasdair_ on Friday February 12, 2021 @05:25PM (#26119242)
> 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. :)

[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by scythmic_waves on Friday February 12, 2021 @06:39PM (#26119898)
It was, in fact, _the_ Don Knuth. You can see the proof on his site.
[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by SatvikBeri on Friday February 12, 2021 @06:24PM (#26119775)
I initially assumed that this was a random person using Don Knuth as a username, instead of, you know, the real deal.
[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by makeset on Saturday February 13, 2021 @02:37AM (#26122069)
Ah yes, and he seems to have typeset it all nicely in Word.
[ Parent | on HN ]
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by BugsJustFindMe on Friday February 12, 2021 @01:29PM (#26116817)
And it's actually only half a page. The first bit is an acknowledgement, and the second half is notes including another few acknowledgements.
[ Parent | on HN ]