automath: add Q2 focus — Open Problem Outreach + Social Auto-Publish

[AlyciaBHZ]

改动

为 Automath 标记 2026 Q2 三大焦点（红框）：

节点	状态	说明
Automath-Oracle-Pipeline	public, focus=true	重命名为「自动化论文流水线 (Oracle)」，描述补 27 篇 / 9 投稿数据
Automath-Open-Problem-Outreach	新增 seed	把推导循环对准外部已知 open problem（SAIR / Erdős / 千禧子问题），输出 Lean 形式化证明 + arXiv 预印本 + 社区对接
Automath-Social-Auto-Publish	新增 public	NotebookLM + SlideSync + Playwright 抖音管线，三元组验收（JUDGEMENT + COVER_VERIFY + QUEUE_VERIFY）。已有 13 条易经视频排定到 2026-05-22

依赖

• Oracle-Pipeline 增补 dep 到 AI-Derive-Loop（自动化论文确实依赖推导循环）
• Outreach 依赖 AI-Derive-Loop + Oracle-Pipeline
• Social-Auto-Publish 依赖 Theorem-Library + AI-Derive-Loop

验证

• python3 tools/validate_regions.py → OK: regions.json valid (70 regions)
• jq empty regions.json → 通过

合并后 GitHub Pages 自动重建 visualization.html。

[AlyciaBHZ]

用错了 GitHub 身份，立刻撤回。会用正确账号重开。