Adam Zerner comments on Has anyone actually tried to convince Terry Tao or other top mathematicians to work on alignment?