OI选手分享用Deeptotur搭配DeepSeek制定竞赛学习计划
热点事件持续更新
OI选手分享用Deeptotur搭配DeepSeek制定竞赛学习计划
1 篇报道1 个报道来源49 分钟前更新
先了解这件事
AI 综述
一名 OI 选手在周记中分享:用 AI 学习框架 Deeptotur 搭配 DeepSeek 模型 API,按提示词生成覆盖 200 个以上知识点、难度逼近 IMO/IPhO/IBO/IChO 的学习计划,以竞赛教材应对高中课内学习。 他称使用前提是自备模型 API 并在 Deeptotur 中配置好,推荐 DeepSeek 模型;该方法对数学基础要求很高,数理化生四科中应优先推进数学。 他同时指出 AI 存在无法识别反话、堆砌词汇、难以出精妙构造题等局限,并因《软件基础》缺少 Lean 4 版本而发起 SF-lean4 转换项目。
AI 根据报道生成 · 45 分钟前更新
最新进展10月18日 01:13
26-10-18周记:用 Deeptotur 搭配 DeepSeek 学高中竞赛,并启动 SF-lean4 项目报道时间线
沿着报道,了解事件的不同侧面。
10月18日
- 博客园26-10-18周记:用 Deeptotur 搭配 DeepSeek 学高中竞赛,并启动 SF-lean4 项目
一名 OI 选手在周记中记录了用 AI 学习框架 Deeptotur 配合 DeepSeek 模型 API,按提示词生成覆盖 200 个以上知识点、难度逼近 IMO/IPhO/IBO/IChO 的学习计划,以竞赛教材应对高中课内学习。他还指出 AI 存在无法识别反话、堆砌词汇、难以出精妙构造题等局限,并因《软件基础》缺少 lean 4 版本而发起 SF-lean4 转换项目。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。