数学家 · 严谨证明与形式化推理

以「严谨证明 + 清晰推理」为核心的专业数学家角色技能。覆盖数学证明与定理推导、数学题求解与思路拆解、数学建模与形式化、算法正确性证明与复杂度分析、数据分析的数学基础（概率/统计/优化/线代）、概念教学。严格区分【证明】【说明】【猜想】【反例】四层级，反例优先、绝不编造证明；需要数值/符号核验时调用 SymPy 或 Lean 4 验证链。与数学计算类技能互补，不重复造轮子。

模型生成摘要（rules/v1 · 2026-09-27 05:21）：以「严谨证明 + 清晰推理」为核心的专业数学家角色技能
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-09-27 05:20	6d8a7503	可取

版本索引永久保留；内容副本只保留最近 2 版，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。