密码研究与工程
工作对象：研究或实现密码构造与协议，并检验其安全假设和系统使用条件。
代表交付：交付安全定义与攻击者模型 → 交付构造/协议的安全论证 →
采用条件：CrypFormBench有密码专属形式分析，支持模型候选与语义核对；输入安全模型仍需独立接收，不以可编译判安全。
能力材料：明确安全游戏/攻击者、构造与完整论证或有效攻击
关键缺口：攻击者/随机预言机/信道理想化会改变主张。
工作内容、要求与 AI 影响
密码研究与工程 / 数学研究
直接比较各方向做什么、需要怎样的能力证据，以及 AI 改变了哪些工作。个人适配由你的 Agent 结合已有背景继续判断。
先看关键差异
按公开工作资料提炼，不评价个人匹配度；点击工作名称核对完整依据。
数学研究
工作对象：提出数学问题，建立概念、定理、证明或新的数学方法。
代表交付：形成可检验的问题族 → 交付证明、构造或反例研究 →
采用条件：可委派整个候选问题与实例包；OpenAI内部研究产物和Nexus研究循环直接相关，但选题价值/新颖性需按来源与实际结论接收。
能力材料：问题/变体与文献差异、可检查构造及对应保证
关键缺口：不是任意问题都能完成；公开成果不是统一开放题成功率。
主要工作与产物
主要工作与产物
密码研究与工程
- 交付安全定义与攻击者模型：威胁模型/安全游戏或符号模型、原方案—模型—目标对照
- 交付构造/协议的安全论证：构造/参数与安全界、完整形式开发与假设清单
- 交付有效攻击或可定位反例：攻击trace/程序或反例、复杂性/概率与适用范围
- 交付标准实现与互操作：固定库/实现与向量/差分、互操作、错误处理与版本
- 交付实现安全与密钥条件证据：并发重启/轮换控制、平台泄漏诊断及覆盖限制
- 交付协议集成与可回退迁移：迁移/兼容/回退演练、key版本/协商与资源影响
数学研究
- 形成可检验的问题族：题意/参数空间与反证条件、相关结果及新颖性待核对照
- 交付证明、构造或反例研究：构造/参数与保证配对、证明/有效反例/未解决范围
- 交付语义忠实的形式接口：定义/量词对照、可编译陈述与区分性语义检查
- 完成固定证明与依赖核查：固定声明/证明文件、内核/公理与环境记录
- 交付精确的计算探索：可重放精确/高精度实验、舍入/有限范围及构造线索
- 复用文献引理并定位不兼容前提：原文—本步引用—条件映射、失效条件与替代路线
- 发布可读研究包并维护可信版本：可读稿/代码/证明覆盖对照、贡献与撤回/修订影响记录
AI 当前怎样改变工作
AI 当前怎样改变工作
密码研究与工程
- 交付安全定义与攻击者模型（外部报告结果、有条件的编辑推断）：CrypFormBench有密码专属形式分析，支持模型候选与语义核对；输入安全模型仍需独立接收，不以可编译判安全。
- 交付构造/协议的安全论证（外部报告结果、工具与方法依据、有条件的编辑推断）：ShannonProver直接展示密码证明工程；论文给定引理分解，10月源码更宽的游戏分解搜索只作当前入口声明，未继承论文成绩。
- 交付有效攻击或可定位反例（外部报告结果、有条件的编辑推断）：可委派符号/计算攻击候选和解释；未发现攻击不等于安全，实际操作须在授权环境。
- 交付标准实现与互操作（工具与方法依据、有条件的编辑推断）：可委派使用高保证标准构件的候选集成；HACL*是工具/保证资产，不是AI实现安全试验。
- 交付实现安全与密钥条件证据（工具与方法依据、有条件的编辑推断）：可委派检查执行与候选修复；库secret independence只涵盖部分时间侧信道，不能宣称任意硬件安全。
- 交付协议集成与可回退迁移（有条件的编辑推断）：可分阶段委派候选迁移和验证；后量子/混合协议先核标准与库，不自定义组合并自动冠以安全。
数学研究
- 形成可检验的问题族（外部报告结果）：可委派整个候选问题与实例包；OpenAI内部研究产物和Nexus研究循环直接相关，但选题价值/新颖性需按来源与实际结论接收。
- 交付证明、构造或反例研究（外部报告结果、可检查产物、有条件的编辑推断、工具与方法依据）：可整包搜索与修订；Erdős125已有固定公开成果，作为已知复现入口，不作新发现或新题概率。
- 交付语义忠实的形式接口（外部报告结果、有条件的编辑推断）：专属自动形式化评测支持候选接口委派；编译与题意对应须分开接收。
- 完成固定证明与依赖核查（外部报告结果、工具与方法依据、有条件的编辑推断）：可整包委派证明搜索；每份结果按固定声明和允许基础验收，旧本站不等式只是受限验收校准。
- 交付精确的计算探索（有条件的编辑推断、外部报告结果）：可委派计算和反例候选，确定性枚举直接用程序；有数值问题时按误差而非表面答案接收。
- 复用文献引理并定位不兼容前提（有条件的编辑推断）：可委派完整引用核对与缺口报告；公开修订机制使引用状态可追踪，不能用模型概述代替原文。
- 发布可读研究包并维护可信版本（可检查产物、有条件的编辑推断、外部报告结果）：可委派研究表达和证据整合；十月OpenAI发布直接表明可查的研究产物，部分形式化与人工可读性整理须逐稿说明。
公开的进入与成长证据
公开的进入与成长证据
密码研究与工程
- 明确安全游戏/攻击者、构造与完整论证或有效攻击
- 标准库、密钥/nonce条件与目标平台/迁移实际验证
数学研究
- 问题/变体与文献差异、可检查构造及对应保证
- 一份原文/可读稿/形式或精确证书的覆盖对照，含未解路线
证据尚未覆盖什么
证据尚未覆盖什么
密码研究与工程
- 交付安全定义与攻击者模型：攻击者/随机预言机/信道理想化会改变主张。
- 交付构造/协议的安全论证：部分污染控制材料不公开；完整模型及部署不因引理通过自动成立。
- 交付有效攻击或可定位反例：符号trace与可实现计算攻击不同。
- 交付标准实现与互操作：无直接AI端到端安全实现评估，不能用形式模型成绩填空。
- 交付实现安全与密钥条件证据：目标硬件、编译、泄漏采集和统计功效需真实环境。
- 交付协议集成与可回退迁移：标准/产品当前可用和实际对端行为需要目标系统核验。
数学研究
- 形成可检验的问题族：不是任意问题都能完成；公开成果不是统一开放题成功率。
- 交付证明、构造或反例研究：本地未重建公开证明，也没有新问题试次。
- 交付语义忠实的形式接口：自动语义评价有漏判，研究上下文和库版本影响结果。
- 完成固定证明与依赖核查：W-M01旧exampleId=math不代表研究题通过；新领域预算未知。
- 交付精确的计算探索：渐近性质不能由有限n直接裁定。
- 复用文献引理并定位不兼容前提：对不可获取文献只能交未核定位，不能补造引理。
- 发布可读研究包并维护可信版本：未逐稿核验/同行接收；形式文件有时仅支撑引理。
未来3–5年：基准情景
未来3–5年：基准情景
密码研究与工程
- 形式密码证明工程与标准库集成更易委派，模型、实现和部署保证分别接收。
数学研究
- 2029–2031，若公开工具在未见问题上逐步稳定，文献核对、候选构造、精确计算和形式接口将更多汇成可审查研究包；研究者更多界定问题、新颖性与路线价值，开放难题仍可能长期无解。
加速、受限与改判信号
加速、受限与改判信号
密码研究与工程
- 加速：若新安全模型/完整证明与目标平台实现能共同独立验证，代理可参与更大构造与迁移任务。
- 受限：若只补语法或借库保证掩盖nonce/泄漏/部署条件，缩到固定引理和已审构件包装。
- 模型/安全目标语义与最终证明覆盖
- 未见协议/变体下证明或有效攻击的可重放性
- 平台泄漏/key生命周期及互操作迁移结果
数学研究
- 加速：若更多未见问题的题意、正确性、新颖性、成本与公开可获得工具配置均能独立接收，更自主且可普及的研究交付范围会扩大。
- 受限：若成功依赖内部不可得配置、弱化题意或隐去失败，范围回到可审候选和局部引理。
- 未见研究产物的独立正确/新颖性裁定
- 公开可用配置下重现完整成果的成本
- 撤回/语义问题能否追溯所有引用
依据与适用范围
密码研究与工程
密码研究、实现与系统集成是相邻分工；不是设计自定义加密即可成为安全方案。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。
密码安全论证包：威胁模型、协议与证明/攻击对照 →仅选形式分析/语义证据，不给现实攻击普适成功率。 · 部分工作支持
密码实现交付：标准构件、密钥条件与目标平台验证 →普通版本/key迁移与后量子尺寸/握手情景分开，只有实际PQC输入才选后者。 · 部分工作支持
数学研究
纯数学、应用数学与计算数学是研究专长；博士后是任职阶段，不另算职业。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。
数学研究产物：联合探索命题、构造与证明或反例 →研究传播选择真实产物/发布状态，不以规模代表全部认可。 · 部分工作支持
命题形式化：交付自然语言与形式声明的语义对照 →已有库对象和研究新定义是不同输入，分别核对接口/语义，不强制所有命题都有新定义。 · 部分工作支持
固定命题形式证明：找证明并交给内核核验 →选择固定目标搜索/核验；不继承W-M04整个研究范围。 · 部分工作支持
推导与反例检查：找出可定位的论证缺口 →只选来源核对/反例，不把自然checker当论文正确性保证。 · 部分工作支持
用你已有的上下文继续
交给我的 Agent
带走当前公开资料，让你的 Agent 结合已有背景继续分析。也可以读完就结束。
查看可复制的内容
我正在了解：密码研究与工程 / 数学研究 请先解释这些职业或岗位方向的工作差异、AI 当前影响和证据边界。如果我要结合个人情况做判断，复用你已经知道的我的经历、偏好和约束，只追问会改变结论的缺口；不要把本站已收录的方向当作全部选项。 公开资料： 所选职业的公开比较资料：https://edgeofwork.com/careers/compare.md?ids=cryptography-researcher%2Cmathematics-researcher&version=2026-10-21.careers.2 区分职业资料、研究结果、工具声明和编辑推断；读取资料给出的日期、版本与范围。需要时补充原始来源。使用自己的自然报告或对话继续，无需把个人材料和分析回填网站。