alphaGo site https://www.deepmind.com/alpha-go.html Nature http://www.nature.com/news/the-go-files-ai-computer-clinches-victory-against-go-champion-1.19553 Nature paper http://www.nature.com/nature/journal/v529/n7587/full/nature16961.html
Josef Urban http://cs.ru.nl/~urban/ Theorem Proving in Large Formal Mathematics as an Emerging AI Field. https://scholar.google.com/citations?view_op=view_citation&hl=en&user=zVDqF54AAAAJ&citation_for_view=zVDqF54AAAAJ:Tyk-4Ss8FVUC