Monthly Roundup #30: May 2025 — LessWrong