Mathematician's 'Mysterious' New Method Just Solved a 30-Year-Old Problem (livescience.com) 14 points by ruifigueiredo 6y ago ↗ HN
[–] delhanty 6y 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
[ 3.1 ms ] story [ 12.9 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