Related:

Advisory Group on Mathematics and Artificial Intelligence (OpenAI post)

https://news.ycombinator.com/item?id=49790389