iOS 证据中心的真相核查工具
不信任 任何 单一 AI
多源取证，多模型独立投票
Aletheon（讲真话）把一次提问变成可观察的证据流水线：先并行搜索，再生成带 [n] 信源 的事实摘要，交给多个 AI 陪审员独立审阅，最后输出带置信度、票型和引用的结构化裁决。
Aletheon（讲真话）把一次提问变成可观察的证据流水线：先并行搜索，再生成带 [n] 信源 的事实摘要，交给多个 AI 陪审员独立审阅，最后输出带置信度、票型和引用的结构化裁决。
Brave、EXA、Monid 以及按套餐开放的引擎并行取证，结果按 URL 去重。中日韩问题会同时跑原文和英文检索。
| 搜索引擎 | 特点 | 订阅要求 |
|---|---|---|
| Brave Search | 注重隐私的独立搜索 | Free |
| EXA | AI 原生语义搜索 | Free |
| Monid | MCP 数据端点，实时网页与新闻 | Free |
| Tavily | 为 AI 应用优化的研究搜索 | Plus+ |
| xcrawl | 高性能网页抓取与搜索 | Plus+ |
| x_search (Grok) | X / Twitter 实时舆情 | Plus+ |
| Firecrawl | 智能网页爬取与结构化搜索 | Pro+ |
| Perplexity | sonar-deep-research 深度研究报告 | Max |
陪审员并行阅读同一份摘要，互不知晓对方判决。Free / Plus 6 席，Pro 10 席，Max 13 席。也可添加 OpenAI 或 Anthropic 兼容的自定义模型。
| 套餐 | 内置陪审团 |
|---|---|
| Free / Plus · 6 | Copernicus · Confucius · Hermes · Prometheus · Hayek · Leibniz |
| Pro · 10 | + Darwin · Socrates · Turing · Newton |
| Max · 13 | + Descartes · Euclid · Hegel |
设置里可随时启用或停用内置模型。单个陪审员超时不会卡住整场；流水线随时可取消。累计样本足够后，陪审团详情会显示与多数裁决的一致率。
最终裁决解析为结构化内容，尽量渲染成可读的仪表卡，而不是一段无法核对的长文：
输出语言跟随提问（简中 / 繁中 / 英 / 日 / 韩 / 法 / 德 / 西）。摘要由独立流水线模型生成，不加主观判断。
分享扩展接收文字、链接和截图，Vision OCR 读取中英日韩文字。Siri / 快捷指令可直接提问。锁屏与灵动岛显示当前流水线阶段。分享卡以高分辨率图片送进系统分享面板。
同一对话可持续追问。历史裁决支持一键重新核查并保留新旧结果。选中句子可单独核查，冲突图展开对应引文。
提问 → 多源搜索 → 事实摘要 → 陪审团独立审阅 → 结构化裁决
多路引擎同时查询并按 URL 去重。Free：Brave + EXA + Monid；Plus：Tavily / xcrawl / x_search；Pro：Firecrawl；Max：Perplexity 深度研究。
独立流水线模型只整理搜索结果里的事实与不同说法，并保留 [n] 信源编号，不加入主观判断。
每位陪审员独立阅读摘要并给出立场。并发执行；单人超时不阻塞整场，流水线可随时取消。
合成判定标签、置信度、票型、多数/少数意见和引用，并匹配提问语言。
在 设置 → 实验室 开启后，陪审阶段变成可回放的交叉辩论，也可切换正反方对抗式。
全程可回放：每轮实际发言可展开阅读，轮次可折叠。对抗式辩论在 R1–R6 交替分配正反方，R7 取消角色。单场有 5 分钟全局上限。
辩论模式会把内置陪审模型限制在 Free 档模型以控制成本，自定义模型不受限。
| 功能 | Free | Plus | Pro | Max |
|---|---|---|---|---|
| 每日提问 | 15 | 无限 | 无限 | 无限 |
| 内置 AI 模型 | 6 | 6 | 10 | 13 |
| 自定义模型 | ||||
| Brave + EXA + Monid | ||||
| Tavily + xcrawl + x_search | — | |||
| Firecrawl | — | — | ||
| Perplexity 深度研究 | — | — | — | |
| 7 轮辩论模式 |
App 显示语言与 iOS 系统语言独立，在 设置 → 语言 中切换，即时生效。