Mathematician's 'Mysterious' New Method Just Solved a 30-Year-Old Problem (livescience.com) 14 points by ruifigueiredo 7y ago ↗ HN
[–] delhanty 7y ago ↗ Dupe.We covered this about a month back [0]. The link was much better too: Scott Arronson's blog.Also, Knuth/Ben-David's shortened proof [1], announced as a comment on Arronson's blog.[0] https://news.ycombinator.com/item?id=20338281[1] https://news.ycombinator.com/item?id=20589216
1 comment
[ 4.5 ms ] story [ 13.6 ms ] threadWe covered this about a month back [0]. The link was much better too: Scott Arronson's blog.
Also, Knuth/Ben-David's shortened proof [1], announced as a comment on Arronson's blog.
[0] https://news.ycombinator.com/item?id=20338281
[1] https://news.ycombinator.com/item?id=20589216