数学与建模
固定命题形式证明：找证明并交给内核核验 →
为一个不允许偷偷改写的形式命题交付可检查证明。
可委派AI搜索证明；固定命题在指定环境通过内核与公理检查后，接收这一份证明。
关键条件：形式陈述已锁定且语义经核对
依据身份：外部结果、工具方法、编辑推断
查看完整交付与限制 →交付工作单元
AI能交什么，怎样才算完成
按可独立验收的成果组织工作。先读具体用法，再核对条件、证据和失败处理；运行步骤可由工具和Agent重组。
找到 13 项；一个任务可包含多种证据，标签不表示整项已验证。
数学与建模
数值模型求解：交付解、残差和条件变化 →
得到满足已定义约束的数值结果，并知道条件变化后是否仍成立。
可整包委派模型到候选解与情景报告；用独立原约束检查、界/残差和实施条件验收。
关键条件：模型类别适合所选求解器
依据身份：外部结果、工具方法、编辑推断
查看完整交付与限制 →数学与建模
推导与反例检查：找出可定位的论证缺口 →
帮助判断一段推导在给定定义与范围内哪里成立、哪里需要修正。
适合让AI并行尝试证明、反驳和检索依据；可验证反例可直接推进修订，开放正确性结论仍需更强证明。
关键条件：原始论证与定义完整
依据身份：外部结果、编辑推断
查看完整交付与限制 →数学与建模
数学研究产物：联合探索命题、构造与证明或反例 →
围绕一个研究问题交付语义一致的结论及可核验论证/构造/反例，或明确已解决部分与未解障碍。
可把问题族探索与候选研究产物整包交给AI；按约定产物分别接收。
关键条件：原题和可调对象边界可核对
依据身份：外部结果、可检查产物、编辑推断、工具方法
查看完整交付与限制 →数学与建模
命题形式化：交付自然语言与形式声明的语义对照 →
将明确的数学定义和命题转为可编译、语义忠实的形式接口，供证明和复用；独立接收声明而非只查编译。
可委派完整形式接口候选与语义检查材料；先接收题意对应，再接收证明。
关键条件：可信原文及定义齐备
依据身份：外部结果、编辑推断
查看完整交付与限制 →数学与建模
科学仿真交付：模型、数值误差与性能一起可复查 →
把给定科学模型变成可复现计算/仿真包，证明误差、稳定性和资源开销满足约定，并明确与现实的距离。
可委派完整仿真候选及误差/性能报告；解析/高精度对照和独立物理校验决定接收层级。
关键条件：模型与边界可解释
依据身份：外部结果、编辑推断
查看完整交付与限制 →数学与建模
研究设计包：估计目标、抽样/随机化与分析计划 →
把研究问题变成可执行设计、样本量依据和预先分析方案，明确可识别结论与假设。
可委派完整设计候选和可重算功效/SAP；先接收估计目标与实施假设，再冻结分析，不只审核文案。
关键条件：问题及重要性可定义
依据身份：外部结果、工具方法、编辑推断
查看完整交付与限制 →数学与建模
统计复现交付：分析集、推断与敏感性同源可重算 →
从锁定数据和设计产出可追溯的分析集、统计结果和解释，保留不确定性、偏离与适用范围。
方案明确且数据可用时，可整包委派分析执行与候选报告；以分析集追溯、独立数值核对和诊断/敏感性接收。
关键条件：原始数据和方案可追溯
依据身份：外部结果、编辑推断
查看完整交付与限制 →数学与建模
数学教学包：可诊断理解的材料、提问与反馈 →
围绕课程目标交付数学正确、层次可用并可观察学生理解的教学/辅导包。
可整包委派课程材料和辅导候选，并用独立数学检查与作答轨迹接收；正式声称学习效果须另验证。
关键条件：目标/先修清楚
依据身份：外部结果、编辑推断、工具方法
查看完整交付与限制 →数学与建模
程序与系统验证：规格、反例和证明产物相互对照 →
为指定实现交付可追溯的形式规格与验证结果，解释哪些实际要求已覆盖、哪些仍未证。
固定规格/证明义务可整包委派生成与修复；从业务需求到系统规格先分阶段接收，按实际保证范围验收。
关键条件：需求与实现映射可审
依据身份：外部结果、编辑推断
查看完整交付与限制 →数学与建模
密码安全论证包：威胁模型、协议与证明/攻击对照 →
对一个锁定密码构造/协议交付明确安全游戏或符号模型、可检查论证或攻击及精确适用范围。
安全目标/模型可锁定时，可整包委派形式论证候选；模型生成、完整证明和实现安全分别接收。
关键条件：威胁模型与安全定义可核
依据身份：外部结果、工具方法、编辑推断
查看完整交付与限制 →数学与建模
密码实现交付：标准构件、密钥条件与目标平台验证 →
将已接受的密码方案接入指定系统，交付互操作、失败处理、密钥/nonce条件和实现安全证据。
可委派使用已审标准构件的实现与验证候选；仅在功能、key/nonce条件、平台检查与迁移演练分别通过后接收。
关键条件：方案/库已有依据
依据身份：工具方法、编辑推断
查看完整交付与限制 →数学与建模
教学效果交付：独立作答、延迟保持与迁移证据 →
判断一套数学教学/AI辅导方案对目标学生的学习有什么可支持效果，并给可重算研究与改进建议。
可委派研究方案、评价材料、数据分析和改进候选；学习效果以独立学生数据接收，缺长期数据时交付下一轮测量设计。
关键条件：学生数据/干预授权明确
依据身份：外部结果、编辑推断、工具方法
查看完整交付与限制 →截至 2026-10-21 的精选交付说明 · 查看职业来源目录 · 下载当前工作单元说明