Also being actively discussed on /r/math: https://reddit.com/r/math/comments/ed96j6/on_mathematicians_...