diff --git a/regions.json b/regions.json index 031b78b..0e48b10 100644 --- a/regions.json +++ b/regions.json @@ -1190,12 +1190,12 @@ }, "Automath-Oracle-Pipeline": { "label": { - "en": "Oracle Auto-Publish Pipeline", - "zh": "Oracle 自动发表流水线" + "en": "Automated Paper Pipeline (Oracle)", + "zh": "自动化论文流水线 (Oracle)" }, "desc": { - "en": "End-to-end paper generation → AI review → submission via ChatGPT Oracle + Tampermonkey", - "zh": "端到端论文生成 → AI 审查 → 投稿, ChatGPT Oracle + Tampermonkey 驱动" + "en": "End-to-end paper authoring → AI review → journal submission, driven by ChatGPT Oracle + Tampermonkey. 27 papers / 9 submitted to JNT, ETDS, SIADS, APAL. 2026 Q2 focus #1.", + "zh": "端到端论文撰写 → AI 审稿 → 期刊投稿, ChatGPT Oracle + Tampermonkey 驱动。已生成 27 篇 / 投稿 9 篇 (JNT / ETDS / SIADS / APAL)。2026 Q2 三大焦点之一。" }, "closure": "public", "formal": "checked", @@ -1203,13 +1203,14 @@ "milestone": "Q2-2026", "owner": "loning", "issue_count": 0, - "focus": false, + "focus": true, "archived": false, "promoted_at": { "public": "2026-04-01" }, "deps": [ - "Automath-Theorem-Library" + "Automath-Theorem-Library", + "Automath-AI-Derive-Loop" ], "gh_query": "is:issue is:open repo:the-omega-institute/automath oracle in:title" }, @@ -1238,6 +1239,56 @@ ], "gh_query": "is:issue is:open repo:the-omega-institute/automath derive in:title" }, + "Automath-Open-Problem-Outreach": { + "label": { + "en": "Open Problem Outreach", + "zh": "公开问题攻坚与社区对接" + }, + "desc": { + "en": "Direct Automath's derive-loop at named external open problems (SAIR list, Erdős problems, sub-questions of millennium problems). Output: Lean 4 formalized proofs + arXiv preprints + targeted community engagement (DM/PR). 2026 Q2 focus #2.", + "zh": "把 Automath 推导循环对准外部公开 open problem (SAIR 名单 / Erdős problems / 千禧难题子问题)。产出 Lean 4 形式化证明 + arXiv 预印本 + 针对性社区对接 (DM/PR)。2026 Q2 三大焦点之二。" + }, + "closure": "seed", + "formal": "none", + "product": "automath", + "milestone": "Q2-2026", + "owner": "loning", + "issue_count": 0, + "focus": true, + "archived": false, + "promoted_at": {}, + "deps": [ + "Automath-AI-Derive-Loop", + "Automath-Oracle-Pipeline" + ], + "gh_query": "is:issue is:open repo:the-omega-institute/automath outreach OR open-problem in:title" + }, + "Automath-Social-Auto-Publish": { + "label": { + "en": "Automated Social Media Publishing", + "zh": "自动化社交媒体宣发管线" + }, + "desc": { + "en": "NotebookLM (narration) + SlideSync (visuals) + Playwright (Douyin upload) + creator-backend queue verify + metrics ingest. 13 I-Ching videos already scheduled (2026-05-09 → 05-22). douyin-publisher v2 scaffolded with three-leg verdict (JUDGEMENT+COVER_VERIFY+QUEUE_VERIFY). 2026 Q2 focus #3.", + "zh": "NotebookLM (旁白) + SlideSync (画面) + Playwright (抖音上传) + 创作者后台队列核验 + 数据回收。已有 13 条易经视频排定 (2026-05-09 → 05-22)。douyin-publisher v2 已 scaffold, 三元组验收 (JUDGEMENT+COVER_VERIFY+QUEUE_VERIFY)。2026 Q2 三大焦点之三。" + }, + "closure": "public", + "formal": "sop", + "product": "automath", + "milestone": "Q2-2026", + "owner": "loning", + "issue_count": 0, + "focus": true, + "archived": false, + "promoted_at": { + "public": "2026-05-09" + }, + "deps": [ + "Automath-Theorem-Library", + "Automath-AI-Derive-Loop" + ], + "gh_query": "is:issue is:open repo:the-omega-institute/automath social OR douyin in:title" + }, "Symphony-Core": { "label": { "en": "Symphony Core (EXPLORING)",