岗位方向 · 数学相关职业
科学计算与数值模拟
把科学或工程模型变成可信、有效率的数值计算。
职业范围、别名与核查日期
可偏数值方法研究、科学软件或行业仿真；具体物理模型和资格需看应用领域。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。
也常见于：科学计算工程师、数值算法、仿真研发、计算科学、数值模拟 · 核查 2026-10-20
主要交付目标
范围依据、重要变体与未覆盖部分
按本职业主要交付组织工作范围；多个目标可以由同一结果包接收。职责来源用于核对工作定义，AI采用、工具可得性和实际表现按各项具体证据判断。这里不是所有地区与细分岗位的完整清单。
计算模型、数值方法选择与研究
方程、边界、离散化和可检查假设；方程—离散模型—假设对照；方法/参考算例选择；候选算法/离散格式和精确参数、假设/目标性质；自然论证、有效反例或适用形式证书，以及未解决义务；可重放收敛/稳定/成本对照、基线与失效区域
模型/成熟方法选择与新数值算法/离散格式研究分别有应用；后者以算法、假设/性质论证或反例及独立实验成包。Nexus优化个案到一般数值研究是显式迁移，不能由科学代码分数代替性质/新颖性。
重要变体：确定性模型与数值实现；随机模拟与不确定性；构造/参数优化；候选数值方法的性质与对照验证
本项仍有未展开内容；不表示AI不能完成。
数值求解实现
求解器、算法和可重放算例；求解器/数据hash/锁定依赖；残差/退出状态与基准
对应工作：交付可重放数值求解器。
重要变体：确定性模型与数值实现
误差与可信性分析
收敛、稳定性、精度和基准对照；网格/步长误差曲线；稳定性/守恒与不确定性检查
对应工作：交付误差与稳定性证据。
重要变体：确定性模型与数值实现；随机模拟与不确定性
计算性能改进
并行、资源和精度效率权衡；profile与前后时间/内存；误差/资源权衡与回归
有明确实现/性能验证路径；没有本包直接AI-HPC端到端结果，目标系统需另核。
重要变体：HPC性能改造
本项仍有未展开内容；不表示AI不能完成。
应用仿真交付
参数情景、不确定性及解释限制；参数情景/结果及源数据；现实校验与失效范围
产物与应用校验路径完整，但真实领域物理有效性尚需对应资料/实验。
重要变体：确定性模型与数值实现；随机模拟与不确定性
本项仍有未展开内容；不表示AI不能完成。
科学软件维护
版本、依赖、回归和复现环境；升级补丁与锁定环境；数值/性能回归和变化解释
对应工作：维护可复现科学软件版本。
重要变体：科学软件依赖升级
Mathematicians ↗ · 职责资料用于检查工作范围，不提供AI成绩。
Software Developers ↗ · 职责资料用于检查工作范围，不提供AI成绩。
当前范围以外
- 所有工程领域模型验证未承诺全覆盖
- 物理试验实施和认证另核
仍需补充的证据或内容
- 行业物理模型/观测校准与认证不由科学代码基准覆盖。
- HPC/新硬件性能和复杂随机模型需目标项目的误差/资源实测。
- 新数值算法/离散格式的独立研究路径已给（见“交付数值算法/离散格式及性质研究包”）；公开直接AI证据主要是优化参数/保证个案，需选定数值问题检验理论条件、反例与公平实验。
主要做什么，AI 改变了哪些工作
按具体交付判断采用条件。下列条件评估与局部证据分别标示，不合成为一个职业自动化百分比。
交付可计算模型与方法选择
交付物：方程—离散模型—假设对照；方法/参考算例选择
关联局部工作证据
可委派模型与方法候选；科学代码证据支持可执行实现，现实模型仍要独立测量对照。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
尚待验证：特定行业物理/测量条件未提供；数值正确不是物理有效。
查看执行条件、逐条证据与完整验收
把应用方程/边界、单位和允许简化写成数值模型，比较方法适用性。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：确定性方程用数值实现/误差检查；有实际随机输入时才选随机模拟，不以依赖升级充当新模型实现。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
随机模拟与不确定性：随机输入/蒙特卡洛而非确定PDE。 可委派可复算模拟与方差控制，不能只接一条随机轨迹。 验收：独立种子重复、Monte Carlo误差、分布/极限对照；不只同seed像素一致。
确定性模型与数值实现：给定确定性方程/初边值和参数，需要选择适用数值方法或实现求解器，不以旧软件升级为前提。 可交完整实现、误差和资源报告；模型现实有效性另核。 验收：解析/制造解、网格或步长误差、残差/稳定性与适用平衡规律；容许合法数值等价实现。
判断的具体依据
外部报告结果
SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
支持：提供科学代码能力测量及验收缺陷的专属证据。
原文定位与适用范围
定位：§3 matched reevaluation；§4缺陷；§6
范围限制：独立审计者自报；不能把修订分数当本仿真成功率。
判断限制：作者自报的独立审计；区间跨模型，不是本仿真或职业成功率。两条修订版Preview行的harness/重复例外须保留，不能把每行差值全部归于只换数据；修订测量也不是模型升级。
研究配置与计分口径
SciCode-Verified arXiv v1 Table1/§3；64可判定主问题/287子题，with-background，pass@1设计，两套固定科学Python环境OR判分。多数行是一次运行；修订版DeepSeek V4 Pro Preview与DeepSeek V4 Flash Preview两行是较早harness revision的三次运行均值，不是所有12行都仅改数据的一次同harness对照。本站未重跑。
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
与这项判断直接相关的进展
首次公开 2026-08-05
先校准科学规格、容差和金标准，再解释能力。
- 对应工作：科学仿真交付：模型、数值误差与性能一起可复查；判断：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：独立核单位/边界/守恒与解析极限，比较简化损失；未校准现实只接收数值层。
适用缺口与验证方法
尚未覆盖：特定行业物理/测量条件未提供；数值正确不是物理有效。
怎样核对：独立核单位/边界/守恒与解析极限，比较简化损失；未校准现实只接收数值层。
交付可重放数值求解器
交付物：求解器/数据hash/锁定依赖；残差/退出状态与基准
关联局部工作证据
可整包实现并响应数值反馈；SciCode类证据是科学代码相邻测试，本例未跑。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
尚待验证：复杂非线性/病态问题需方法专属控制。
查看执行条件、逐条证据与完整验收
把模型变成能从参数与数据生成结果的项目。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：确定性方程用数值实现/误差检查；有实际随机输入时才选随机模拟，不以依赖升级充当新模型实现。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
确定性模型与数值实现：给定确定性方程/初边值和参数，需要选择适用数值方法或实现求解器，不以旧软件升级为前提。 可交完整实现、误差和资源报告；模型现实有效性另核。 验收：解析/制造解、网格或步长误差、残差/稳定性与适用平衡规律；容许合法数值等价实现。
判断的具体依据
外部报告结果
SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
支持：提供科学代码能力测量及验收缺陷的专属证据。
原文定位与适用范围
定位：§3 matched reevaluation；§4缺陷；§6
范围限制：独立审计者自报；不能把修订分数当本仿真成功率。
判断限制：作者自报的独立审计；区间跨模型，不是本仿真或职业成功率。两条修订版Preview行的harness/重复例外须保留，不能把每行差值全部归于只换数据；修订测量也不是模型升级。
研究配置与计分口径
SciCode-Verified arXiv v1 Table1/§3；64可判定主问题/287子题，with-background，pass@1设计，两套固定科学Python环境OR判分。多数行是一次运行；修订版DeepSeek V4 Pro Preview与DeepSeek V4 Flash Preview两行是较早harness revision的三次运行均值，不是所有12行都仅改数据的一次同harness对照。本站未重跑。
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
与这项判断直接相关的进展
首次公开 2026-08-05
先校准科学规格、容差和金标准，再解释能力。
- 对应工作：科学仿真交付：模型、数值误差与性能一起可复查；判断：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：从干净环境重建，代入原方程并独立解析/高精度对照，允许数值等价实现。
适用缺口与验证方法
尚未覆盖：复杂非线性/病态问题需方法专属控制。
怎样核对：从干净环境重建，代入原方程并独立解析/高精度对照，允许数值等价实现。
交付误差与稳定性证据
交付物：网格/步长误差曲线；稳定性/守恒与不确定性检查
关联局部工作证据
可委派完整误差实验和诊断；验收器容差也需领域校准，不能将库默认success当精度证据。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
尚待验证：单一基准不足以覆盖病态参数或所有物理条件。
查看执行条件、逐条证据与完整验收
把模型、离散、舍入和参数不确定性分别说明。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：确定性方程用数值实现/误差检查；有实际随机输入时才选随机模拟，不以依赖升级充当新模型实现。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
随机模拟与不确定性：随机输入/蒙特卡洛而非确定PDE。 可委派可复算模拟与方差控制，不能只接一条随机轨迹。 验收：独立种子重复、Monte Carlo误差、分布/极限对照；不只同seed像素一致。
确定性模型与数值实现：给定确定性方程/初边值和参数，需要选择适用数值方法或实现求解器，不以旧软件升级为前提。 可交完整实现、误差和资源报告；模型现实有效性另核。 验收：解析/制造解、网格或步长误差、残差/稳定性与适用平衡规律；容许合法数值等价实现。
判断的具体依据
外部报告结果
SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
支持：提供科学代码能力测量及验收缺陷的专属证据。
原文定位与适用范围
定位：§3 matched reevaluation；§4缺陷；§6
范围限制：独立审计者自报；不能把修订分数当本仿真成功率。
判断限制：作者自报的独立审计；区间跨模型，不是本仿真或职业成功率。两条修订版Preview行的harness/重复例外须保留，不能把每行差值全部归于只换数据；修订测量也不是模型升级。
研究配置与计分口径
SciCode-Verified arXiv v1 Table1/§3；64可判定主问题/287子题，with-background，pass@1设计，两套固定科学Python环境OR判分。多数行是一次运行；修订版DeepSeek V4 Pro Preview与DeepSeek V4 Flash Preview两行是较早harness revision的三次运行均值，不是所有12行都仅改数据的一次同harness对照。本站未重跑。
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
与这项判断直接相关的进展
首次公开 2026-08-05
先校准科学规格、容差和金标准，再解释能力。
- 对应工作：科学仿真交付：模型、数值误差与性能一起可复查；判断：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：多级网格/步长、极限/边界/病态对照；随机模拟多种子与MonteCarlo误差。
适用缺口与验证方法
尚未覆盖：单一基准不足以覆盖病态参数或所有物理条件。
怎样核对：多级网格/步长、极限/边界/病态对照；随机模拟多种子与MonteCarlo误差。
交付同精度下的性能改进
交付物：profile与前后时间/内存；误差/资源权衡与回归
关联局部工作证据
可委派profile到候选加速，独立同硬件/同误差比较；HPC效果是待现场验证迁移。
依据身份：有条件的编辑推断；各条只支持自身范围。
已展示：当前所选依据为工具方法或编辑迁移判断，尚无该交付的直接结果。
尚待验证：未测目标集群/GPU、扩展和通信瓶颈。
查看执行条件、逐条证据与完整验收
在精度合同不变时提升并行/算法效率。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：科学精度和性能联合接收，未借基准宣称特定硬件加速。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
HPC性能改造：并行/GPU或不同编译器/浮点模式。 先固定科学误差合同，再委派profile与实现。 验收：不同规模加速/通信/内存与误差，硬件一致；未授权集群不运行。
判断的具体依据
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：固定线程/硬件/误差和数据规模，冷/热状态说明；拒绝减精度伪提速。
适用缺口与验证方法
尚未覆盖：未测目标集群/GPU、扩展和通信瓶颈。
怎样核对：固定线程/硬件/误差和数据规模，冷/热状态说明；拒绝减精度伪提速。
交付参数情景与应用仿真
交付物：参数情景/结果及源数据；现实校验与失效范围
关联局部工作证据
可整包计算情景、检查和解释；现实适用以独立观测接收，未校准时交限定模型结果。
依据身份：有条件的编辑推断；各条只支持自身范围。
已展示：当前所选依据为工具方法或编辑迁移判断，尚无该交付的直接结果。
尚待验证：外部任务无法替代领域实验和物理认证。
查看执行条件、逐条证据与完整验收
把不同输入条件的仿真结果交给应用方，明确不确定性与适用限制。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：确定性方程用数值实现/误差检查；有实际随机输入时才选随机模拟，不以依赖升级充当新模型实现。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
随机模拟与不确定性：随机输入/蒙特卡洛而非确定PDE。 可委派可复算模拟与方差控制，不能只接一条随机轨迹。 验收：独立种子重复、Monte Carlo误差、分布/极限对照；不只同seed像素一致。
确定性模型与数值实现：给定确定性方程/初边值和参数，需要选择适用数值方法或实现求解器，不以旧软件升级为前提。 可交完整实现、误差和资源报告；模型现实有效性另核。 验收：解析/制造解、网格或步长误差、残差/稳定性与适用平衡规律；容许合法数值等价实现。
判断的具体依据
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：从图表追到参数/数据/方程，留出独立观测，改变边界重跑；拒绝用拟合样本作验证。
适用缺口与验证方法
尚未覆盖：外部任务无法替代领域实验和物理认证。
怎样核对：从图表追到参数/数据/方程，留出独立观测，改变边界重跑；拒绝用拟合样本作验证。
维护可复现科学软件版本
交付物：升级补丁与锁定环境；数值/性能回归和变化解释
关联局部工作证据
可委派兼容修改与重放；科学软件需比较合法数值等价和默认值，不仅API测试绿灯。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
尚待验证：依赖/硬件漂移和随机性可能掩盖退化。
查看执行条件、逐条证据与完整验收
升级依赖/编译环境并维持科学输出和误差合同。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：选择版本/验收审计支持科学回归，不外推部署维护全职责。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
科学软件依赖升级：求解器、BLAS、编译器或库API变化而科学模型不变。 可委派兼容修改及数值回归，先锁原误差合同和合法数值等价。 验收：干净环境重建、基准/收敛与性能重跑；差异分解为算法/舍入/默认值，不以旧缓存通过。
判断的具体依据
外部报告结果
SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
支持：提供科学代码能力测量及验收缺陷的专属证据。
原文定位与适用范围
定位：§3 matched reevaluation；§4缺陷；§6
范围限制：独立审计者自报；不能把修订分数当本仿真成功率。
判断限制：作者自报的独立审计；区间跨模型，不是本仿真或职业成功率。两条修订版Preview行的harness/重复例外须保留，不能把每行差值全部归于只换数据；修订测量也不是模型升级。
研究配置与计分口径
SciCode-Verified arXiv v1 Table1/§3；64可判定主问题/287子题，with-background，pass@1设计，两套固定科学Python环境OR判分。多数行是一次运行；修订版DeepSeek V4 Pro Preview与DeepSeek V4 Flash Preview两行是较早harness revision的三次运行均值，不是所有12行都仅改数据的一次同harness对照。本站未重跑。
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
与这项判断直接相关的进展
首次公开 2026-08-05
先校准科学规格、容差和金标准，再解释能力。
- 对应工作：科学仿真交付：模型、数值误差与性能一起可复查；判断：SciCode-Verified作者的匹配重评报告12模型快照的主问题准确区间约由9–27%到69–92%；多数行沿同一评测设置，修订版两条DeepSeek V4 Preview行另有较早harness/三次均值例外。题意/金标准/容差影响科学编码测量。
完整验收、失败处理和后续验证
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：旧新项目干净重建、解析/收敛/性能回归，说明算法/默认容差/浮点差异；缓存不能当新结果。
适用缺口与验证方法
尚未覆盖：依赖/硬件漂移和随机性可能掩盖退化。
怎样核对：旧新项目干净重建、解析/收敛/性能回归，说明算法/默认容差/浮点差异；缓存不能当新结果。
交付数值算法/离散格式及性质研究包
交付物：候选算法/离散格式和精确参数、假设/目标性质；自然论证、有效反例或适用形式证书，以及未解决义务；可重放收敛/稳定/成本对照、基线与失效区域
关联局部工作证据
可整包委派候选方法、性质搜索与实验；Nexus在优化算法参数/保证上的研究直接支持联合搜索范式，迁移到一般数值离散研究仍需新的方程、误差/稳定性语义和领域接收，不给通用成功率。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：Nexus论文报告联合搜索算法参数与证明保证；对象设计和证明搜索可以互相反馈。
尚待验证：本包没有代理自主发现一般新离散格式的直接实测；数值试验好不能代替全称稳定/收敛证明。
查看执行条件、逐条证据与完整验收
研究输入明确允许改变的算法、离散格式或参数以及目标性质；例如为刚性问题设计时间推进格式，交稳定/收敛或复杂度的成立条件、反例与公平数值对照。它与为已定方程选择成熟solver不同。
AI怎样组织交付：代理可在允许的对象/参数空间尝试构造，同时寻找证明或反例；精确计算、文献或形式错误反馈可以改变辅助命题与搜索方向。路径依题而定，确定性穷举可直接运行；不规定所有数学问题都要并行或Lean。
在本职业的适用范围：优化个案提供对象/参数与保证联合搜索的直接例；到PDE/刚性积分等数值方法是明确迁移，接收其算法及真实性质而非沿用论文成绩。
执行条件、可用工具与场景差异
外部研究及固定产物使“仅可局部辅助”的一概判断不成立；但研究系统非公开服务，个案和选择过的问题集也不支持任意新题概率。因此可委派完整探索和候选产物，是否完成由语义、正确性、覆盖与新颖性分别接收；已知复现可直接接收可重放成果，新研究保留未解决出口。 这一发布进一步支持以具体研究产物扩大观察范围，但其内部配置、人工整理和局部形式化不能压成统一自主成功率。
Nexus为研究系统，开放的是结果集合；Lean项目可重建，Aristotle有公开鉴权入口。三者不合并为“现在已能复现Nexus”。本站未调用付费服务。
Nexus固定成果仓库 ↗ · 0647711a…；Lean4.27.0；lake-manifest锁定依赖 · 公开结果文本与项目；生成代理不作为公开产品提供。
Lean proof validation ↗ · 实际复现使用仓库Lean4.27.0；参考文档2026-10-20读取 · 开源内核/工具链；需安装固定依赖；文档latest不替代项目版本。
Aristotle CLI/API ↗ · aristotlelib2.1.0 · 需账号/API key与服务预算；本站未调用；SDK链接的GitHub源码入口此前404，不声称已核实源码。
构造/参数优化：允许改变算法步长、常数或数学对象，目标约束固定。 可联合探索对象和保证；采用建议仍取决于最终证书，不只看最优数值。 验收：构造版本、参数精确值与性质证明成对；换对象后保证重新检查。
AI怎样组织交付：代理围绕模型与误差目标选方法和实验；确定性求解直接运行，数值反馈引导换网格/算法，结果和解释来自同一版本。
在本职业的适用范围：M06承接候选方法的实现/误差/性能实验，不把SciCode编码重评当新算法理论性质证据。
执行条件、可用工具与场景差异
科学代码研究展示了可执行产物，也暴露基准规格/误差容差的缺陷。因此可整包实现和迭代，但先校准验收，不用旧低分当上限或修订后分数当现场可靠性。
公开资料与工具入口已核对；下列论文配置、开源实现和本任务实际运行分别记录。本轮不安装、不调用付费服务，也不继承外部成绩。
SciCode-Verified ↗ · ddab4a92…；论文v1，数据release需hash核对 · 源码/任务/评价；与原SciCode分开保存，需API/科学Python。
候选数值方法的性质与对照验证：输入是新算法/离散格式及待证性质，而非只为已定模型选成熟solver。 可委派实现、对照与失效搜索；收敛/稳定性/复杂度的全称保证另按M04接受论证或反例，实验不代替证明。 验收：锁算法/参数与假设，独立检查推导和可复现实验；基线公平、网格/精度/资源可比，给出失败区域；自然论证、精确反例、适用形式证书各自合法。
判断的具体依据
外部报告结果
Nexus论文报告联合搜索算法参数与证明保证；对象设计和证明搜索可以互相反馈。
支持：支持对象/参数与证明联合探索的研究组织，及未证引理等失败模式。
原文定位与适用范围
定位：§4 Optimization Theory；§2 Agent Architecture；§3 Failure Analysis
范围限制：内部研究配置，不等于公开API；不把Erdős125说成参数优化实验。
判断限制：本站未进行该任务的模型运行，不能据此给出本地成功率。
研究配置与计分口径
arXiv2605.22763v1；完整研究代理含Gemini3.1Pro基础代理、进化搜索及AlphaProof；论文不同实验预算不同；成功个案成本不含完整选题搜索。本站未重放。
有条件的编辑推断
自然证明、精确反例与形式证明分别接收；形式证明还要查原声明、传递公理和语义对应。
支持：支持形式交付的公理与可信目标核对。
原文定位与适用范围
定位：Validating a Lean Proof：Printing Axioms / Gold Standard
范围限制：Lean文档不认证自然语言论证或数学新颖性。
支持：支持研究循环保留语义核对和未完成出口。
原文定位与适用范围
定位：§3 Failure Analysis；§6 Discussion：semantic verification
范围限制：不同产物的具体接收条目是编辑设计。
判断限制：本站未进行该任务的模型运行，不能据此给出本地成功率。
有条件的编辑推断
以解析/制造解、收敛阶、物理不变量和同精度资源比较接收科学软件候选。
支持：科学问题到数值实现的公开任务参考。
原文定位与适用范围
定位：Introduction / Dataset Creation / Evaluation
范围限制：热方程验收及HPC迁移是编辑设计，未测。
判断限制：热方程验收及HPC迁移是编辑设计，未测。
与这项判断直接相关的进展
首次公开 2026-05-21 · 判断变化 2026-05-21
W-M01承接固定目标证明；W-M04承接可调对象/参数与题意核对的研究产物，不合并两者验收。
- 对应工作：数学研究产物：联合探索命题、构造与证明或反例；判断：Nexus论文报告联合搜索算法参数与证明保证；对象设计和证明搜索可以互相反馈。
完整验收、失败处理和后续验证
数学研究产物：联合探索命题、构造与证明或反例 →
先确认研究的就是原问题或明示变体：独立核对对象域、量词、下/上/自然密度或其它关键定义与原文；列题意对照，不把弱化结论当原题答案。
拒收：把“下密度>0”换成“上密度>0”；允许空集造成平凡构造仍宣称解决要求非平凡对象的题。
构造和保证相互对应：独立重算候选对象/参数，核对每项约束与最终证明覆盖；改参数后旧证明必须同步重验。
拒收：数值搜索找到一个好参数但保证只证旧参数；浮点近似当精确反例。
自然论证/反例按各自对象接收：自然证明由具备领域能力的独立接收者检查全部关键引理、边界与引用，可用工具补检但不宣称内核认证；有限反例精确重算并验证全部前提；渐近反例需无限构造和相应论证。
拒收：有限搜索未发现反例被当证明；自然语言关键步骤循环引用；有限n上的异常被当下密度的反例。
形式证明额外满足内核与语义：只对约定形式交付：固定项目干净构建、比较可信目标声明、检查传递公理拒绝sorryAx/未批准公理，并核对可读说明与实际定理覆盖。
拒收：编译通过但依赖含sorry；形式化只覆盖支撑引理却写成主结论已证；随意增加假设。
区分完成、未解决与新颖性：交付按实际覆盖标识完整结论/条件结论/反例/未解决；独立查文献与修订记录，已知成果复现不计新发现。
拒收：预算耗尽宣布命题为假；重放公开证明标“首次解决”；撤回后仍引用原结论。
给出已证引理、候选构造、排除参数范围和最小未解目标，区分预算耗尽、环境不可用、语义冲突和真实反例；不靠sorry或新增假设伪装完成。已有材料撤回则检查其依赖的候选与说明。
下一项验证：先在固定Nexus提交重建Erdős125并做题意/传递公理检查，校准复现验收；另选未泄漏问题或允许参数变化的独立小问题，用公开可用工具记录搜索、失败与实际人时。两类结果分开，未运行不估成功率。
研究前沿：Nexus研究配置包含进化搜索/AlphaProof并联合探索算法参数与证明；其公开结果可逐项检查。Erdős125是已公开成果复现，不是仍待解决的新问题，也不证明全套系统可调用。 OpenAI十月另公开内部模型研究手稿及部分形式产物，存在不同验证阶段和撤回/修订；这些公开成果属于M04直接证据，不只作为审稿背景。
- 扩大：新问题上，对象/参数与保证共同改进且独立复核成立；题意、文献新颖性和资源记录完备，公开工具可重现。
- 收缩：表面成功依靠弱化目标、无证引理或挑选成功个案；改参数后保证失效；先退到已证引理/候选构造。
本站记录：本站M04模型运行数、成功率、成本及人工时间均为null；只读过Erdős125公开证明文本，未独立构建，不继承W-M01本地控制通过。
科学仿真交付：模型、数值误差与性能一起可复查 →
离散问题和科学模型一致：独立推导单位、边界和离散算子；以制造解或解析极限验证，不沿用作者同一段代码生成期望。
拒收：边界索引反了但残差很小；单位秒/毫秒错配。
误差/稳定性有证据：比较多级网格或步长的误差阶；守恒/正性等物理不变量和病态参数；随机模拟给Monte Carlo误差与种子集。
拒收：只看一个网格的求解器success；不稳定解用平滑图掩盖。
优化后科学结果未变：固定硬件、线程、误差目标和输入，比较精度与耗时/内存；测试依赖升级、不同求解路径；性能改善不得靠减精度。
拒收：GPU更快却换算法容差；只比较一次热缓存时间。
现实解释可接收：与独立测量/公认算例核对；误差拆成模型、离散、舍入、参数/观测来源，无法校准则只接收数值实现。
拒收：数值收敛直接声称能预测现场；把拟合数据当独立验证。
不收敛时交参数/残差/稳定性轨迹与最小复现；区分模型不适、离散错误和环境阻塞，不凭好看曲线补结论。
下一项验证：在1D热方程制造解下验证误差阶和边界，再给代理未见参数/性能修改；加入错边界、过粗网格及缩容差假提速负控制。
研究前沿：SciCode-Verified作者的匹配重评及公开例外表明，修订科学规格/金标准/容差可大幅改变科学编码测量；两条修订版DeepSeek V4 Preview行采用较早harness与三次均值，不能把12行无例外称为同一harness。它仍不代替现实模型或任意HPC验证。
- 扩大：未见算例、病态参数和依赖变化下误差与性能双达标。
- 收缩：只在参考数据接近，网格收敛/守恒失败或物理外推无证据。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：独立对照算法/格式与假设、参数和最终论证；自然证明审关键推导/引用，反例精确复算，形式证书仅在适用时强制其核查。测试解析/制造解、稳定边界/刚性情景与失败区域，比较基线时固定误差/资源；未证明的性质保留未解而不被图表掩盖。
适用缺口与验证方法
尚未覆盖：本包没有代理自主发现一般新离散格式的直接实测；数值试验好不能代替全称稳定/收敛证明。
怎样核对：独立对照算法/格式与假设、参数和最终论证；自然证明审关键推导/引用，反例精确复算，形式证书仅在适用时强制其核查。测试解析/制造解、稳定边界/刚性情景与失败区域，比较基线时固定误差/资源；未证明的性质保留未解而不被图表掩盖。
与这些工作关联的进展
公开 2026-08-05
科学代码重评显示数值验收本身需要领域校准 →
原文匹配重评（含明确逐行例外）显示验收定义会改变科学代码测量。
适用边界：作者自报的独立审计；区间跨模型，不是本仿真或职业成功率。两条修订版Preview行的harness/重复例外须保留，不能把每行差值全部归于只换数据；修订测量也不是模型升级。
公开 2026-05-21 · 判断变化 2026-05-21
证明搜索开始在开放问题上交付可检查结果 →
Nexus研究配置把证明、反例及对象/参数探索接到形式反馈；公开的是成果集合。
适用边界：原论文问题集和成功选择有边界；事后九题比较不能当新问题概率；本站未重放，公开结果仓库不是Nexus API。
未来 3–5 年（2029–2031） · 条件情景
未来3–5年，工作组合可能怎样变化
未来 3–5 年是编辑条件情景，不是就业数量预测。每项均列基准、加速、受限路径和需观察的信号；职业职责来源不等于 AI 能力证据。
基准情景
数值实现与试验报告可更多整包委派，模型和误差证据决定接收层级。
加速情景
若未见模型/硬件下精度、性能和物理对照均可重复，代理可承担更大科学软件交付。
受限情景
若只接近旧金标准而误差/现实失效，范围缩到可核对实现和计算候选。
哪些信号会改变判断
- 未见算例的收敛/守恒检查
- 模型预测与独立观测差异
- 同误差目标下加速及维护成本
这些是围绕工作内容的条件推演，不是已测的职业替代率；当前分工也不是永久边界。
进入与成长，可用什么说明能力
本页目前主要提供工作与作品证据，基础课程、责任级别和中国地区准入尚未完成专题整理；请按目标机构原文另核。
完整交付可展示的证据
- 方程/假设、求解器和独立数值基准
- 误差/性能曲线与一次依赖升级的科学回归
- 数值方法研究者另展示候选算法/离散格式、成立条件与性质论证或反例，以及公平误差/性能实验；不以能实现成熟求解器替代。
这是公开的能力证据参考。具体地区、职级与组织要求应按目标岗位原文核对；是否符合你的情况由你和自己的 Agent 判断。
用你已有的上下文继续
交给我的 Agent
带走当前公开资料，让你的 Agent 结合已有背景继续分析。也可以读完就结束。
查看可复制的内容
我正在了解：科学计算与数值模拟 把科学或工程模型变成可信、有效率的数值计算。 请先解释这些职业或岗位方向的工作差异、AI 当前影响和证据边界。如果我要结合个人情况做判断，复用你已经知道的我的经历、偏好和约束，只追问会改变结论的缺口；不要把本站已收录的方向当作全部选项。 公开资料： 职业与工作资料：https://edgeofwork.com/careers/scientific-computing.md?version=2026-10-21.careers.2 科学仿真交付：模型、数值误差与性能一起可复查：https://edgeofwork.com/work-units/W-M06.md?version=2026-10-21.workunits.2 数学研究产物：联合探索命题、构造与证明或反例：https://edgeofwork.com/work-units/W-M04.md?version=2026-10-21.workunits.2 区分职业资料、研究结果、工具声明和编辑推断；读取资料给出的日期、版本与范围。需要时补充原始来源。使用自己的自然报告或对话继续，无需把个人材料和分析回填网站。
来源与职业名称的对应
官方分类提供职业参照；市场岗位方向按实际工作作较窄或相邻映射。美国资料的地区、学历和准入要求不能直接当作中国要求。
Mathematicians ↗
O*NET-SOC · 15-2021.00 · US · O*NET-SOC 2019；OnLine Updated 2026
共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。
相关工作参照 · Definition / Tasks
Software Developers ↗
O*NET-SOC · 15-1252.00 · US · O*NET-SOC 2019；OnLine Updated 2026
共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。
相关工作参照 · Definition / Tasks
查看原文、日期与适用边界
Mathematicians ↗
美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射
原文定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例；核查 2026-10-20；来源已核对。
不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。
Software Developers ↗
美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射
原文定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例；核查 2026-10-20；来源已核对。
不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。