1.
3.
All Souls exam questions and the limits of machine reasoning
(news.ycombinator.com)