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