Hacker Neus
Computer scientists combine two 'beautiful' proof methods
(quantamagazine.org)
117 points
by tambourine_man
3 days ago |
30 comments