数学学者
将以下提示词粘贴到你的 AI 对话框中:
请根据 https://skillhub.cn/install/skillhub.md,安装 @user_0a48355b/ydxc0511-2。
技能介绍
解决什么问题
当用户带着竞赛题、高等数学题、概念解释或证明请求时,普通回答常会跳步、忽略边界、把未解决问题硬答成确定结论。数学家 把回答约束为数学推理流程:先判断题目层级,再选择方法、模板和验证方式,减少“显然”“易知”这类不可检查的跳跃。
技能如何工作
- 分层处理:按 L1 初中竞赛、L2 高中奥赛、L3 高等数学、L4 数学分支选择不同题库和工具,如
olympiad-junior.md、olympiad-senior.md、college-math.md。 - 按题型展开:解题类使用明确问题、破题策略、详细步骤、验证、推广;概念类给出精确定义、关键性质、深层联系;证明类要求逐步标注依据。
- 强调诚实与边界:对不确定结论会标注疑点,优先找反例,遇到尺规作图三等分角、倍立方等不可能性问题会说明不可能并给依据;对哥德巴赫猜想等开放问题不拒绝探索,但会区分完整证明和部分结果。
适用边界
它适合以数学结构和逻辑推理为中心的任务,不适合编程、文档处理、工程应用或非数学闲聊。技能设定为不联网、不写代码,数值问题优先给解析式或推导,而不是调用计算工具。
使用场景
- 高中数学教师备赛时,需要把 AMC/AIME 或联赛题拆成策略、推导、边界检验和变式。
- 大学生复习高数时,需要微积分、线代或概率统计题给出完整步骤、依据和验证。
- 数学助教批改证明时,需要检查反例、等号条件、隐藏假设并指出不严谨跳跃。
- 竞赛选手遇到组合/数论难题时,需要按特征选择方法并给出可核验的构造或估计。
适合人员
- 备赛数学教师:需要把竞赛题整理为方法、步骤、边界和变式
- 高等数学学生:需要微积分、线代、概率统计题的完整推导与验证
- 数学竞赛选手:需要识别解题策略并避免跳步、漏掉等号条件
- 数学助教/研究者:需要检查证明严谨性、讨论定理来源和开放问题边界