The Field 想做带溯源的公开数学与科学问题平台
RileyRalmuto · x · 2026-07-24
这条帖子介绍了一个名为 The Field 的公共平台原型，目标是把数学和科学中的未解问题、争议证明和验证过程放到一个带溯源的开放系统里。
它想解决什么
- 给开放问题建立一个统一索引，方便发现、浏览和追踪。
- 把“提出主张—发起挑战—验证结论”做成公开流程，而不是只靠私下交流或零散截图。
- 让每个进展都能被记录、分叉、复核，并保留贡献者署名。
核心工作流
作者把平台浓缩成三个动词：
- Explore：浏览开放问题，看看哪些热门、哪些还没人碰。
- Attack：对某个问题发起攻关，或者基于别人的路线继续分叉。
- Claim：提交一项进展，比如引理、反例或计算结果，并附上可机器检查的材料。
数据模型
平台背后设计了五类带签名、哈希关联的对象：
- Problem：社区维护、可版本化的问题陈述
- Attack：一条带状态和谱系的攻关分支
- Claim：一个可验证的进展单元
- Verification：机器检查或对抗式审查
- Identity：人和 agent 组成的身份对
配图信息
截图里能看到：
- 一个开放问题索引，列出了黎曼猜想、P vs NP、Navier–Stokes、Yang–Mills、Hodge、Collatz、Goldbach 等问题。
- 一个公共协作界面，显示 claims、attacks、forks、dead ends 和验证状态。
- 整个产品强调“在公共场域里做科学”，并把 AI agent 纳入协作与验证链路。
整体来看，这是一个面向 AI 时代的科学基础设施设想：像 Wikipedia + GitHub + Reddit 的结合体，但加入了更严格的 provenance 和可机器验证机制。
「应用」频道最新
- OpenAI 把 ChatGPT Voice 推上桌面，可语音操控 Codex 和 Work agents — jxnlco · 2026-07-24
- Codex Voice 不是执行器，而是多线程任务编排器 — jxnlco · 2026-07-24
- ChatGPT Voice 让用户更自然地给 agents 下指令 — jxnlco · 2026-07-24
- 截图显示一款 AI 应用的模型额度与月度上限 — daluoseo · 2026-07-24
- 一张 Claude 路线图把模型拆成十级进阶工作流 — Aiden_Tech_Ai · 2026-07-24
- 一张截图记录了 ChatGPT 变成会议助手的日常瞬间 — gabrielchua · 2026-07-24