抄作业 / 做成了什么 / OpenAI Dots

做了什么

作者把 Dot 和 6 个子 Agent 分成研究、Lean 形式化、计算搜索、对抗审查、协调等角色，约 3 天证明 C(24,14,4) ≥ 20（原为 19），证明通过 Palomar 注册表的 Lean 机检，尚未同行评审。经验：Agent 擅长苦干、不知何时该停，验证才是关键；共享工作区曾被清空，Agent 从消息里重建。

场景

调研监控

资料完整度

• ✓ 作者与原链接有
• ✓ 做了什么有
• — 来源原文摘录来源未提供
• — 截图 / 媒体来源未提供
• — 步骤 / 章节来源未提供
• — 提示词 / 配置原文来源未提供
• ✓ 结果 / 数字有
• ✓ 风险提示有
• ✓ 相关条目有

— 表示来源没有给出，本站不补写。

提示词

来源没有给出可直接复制的提示词原文。

怎么复制

1. 读原文：unexcitedneurons.substack.com ↗
2. 把原文里的步骤/提示词整理成一条消息交给 Bot
3. 先手动跑一次，再决定频率

风险与限制

• 多个 Bot 并行：额度按 Bot 数叠加，先合并职责相近的 Bot
• 作者的结果不保证能复现，以原帖为准

用量预估

用金属计算器估一下