In times when software eng teams push for maximizing token usage, Tao's public view is to encourage verification, limit AI use for tasks that have real-life consequences and prevent low-effort papers that exhaust the review pipeline?

He also focuses on training the next generation of mathematicians and prioritizing the process of slow digestion of results, which to me sounds very.. reasonable?