Terence Tao posts on mathstodon fairly regularly about lean, AI, and math. I'm not going to interpret his posts.