Tao apparently didn't though, if he thought the absence of a known mechanism would discourage anyone from using an AI-discovered drug. I feel like a pure mathematician's worldview might be so focused on human understanding that he simply couldn't imagine that billions of people would already be taking drugs nobody understands. To fall from that to puzzling over LLM-generated proofs must be brutal.
Tao apparently didn't though, if he thought the absence of a known mechanism would discourage anyone from using an AI-discovered drug. I feel like a pure mathematician's worldview might be so focused on human understanding that he simply couldn't imagine that billions of people would already be taking drugs nobody understands. To fall from that to puzzling over LLM-generated proofs must be brutal.