News for hackers. Stuff that matters.
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by knuthsat on Friday February 12, 2021 @01:39PM (#26116916)
Knuth reduced it to half a page in the comments
Re:Mathematician Solves Sensitivity Conjecture in Two Pages ... by scythmic_waves on Friday February 12, 2021 @01:49PM (#26117026)
HA! I just remembered that that proof was posted to /r/math a while back:

https://www.reddit.com/r/math/comments/cl20l6/knuth_has_writ...