用 Deeptotur 配合 DeepSeek 学竞赛的方法
热点事件持续更新
用 Deeptotur 配合 DeepSeek 学竞赛的方法
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Ghost-Face 在博客园周记中介绍了自己正在使用的 AI 辅助学习方法：用 AI 学习框架 Deeptotur 配合 DeepSeek 模型 API 制定高中竞赛学习计划并刷题。作者称该框架可制定相当详细的学习计划，通过对话教学并出题，计划用一学期测试验证效果。 使用前提是自备模型 API 并在 Deeptotur 中完成配置，作者推荐 DeepSeek 的模型，称其便宜好用。该方法对学习者数学基础要求很高，作者建议在数理化生四科中优先推进数学学习。 作者同时启动 SF-lean4 项目，拟将《软件基础》转换为 Lean 4 版本；并规划重写约 3 万字的《逆袭导论》第三版，手动去除 AI 生成内容、增加个人经验。文中还总结了当前 AI 的四点局限性。
AI 根据报道生成 · 1 小时前更新
最新进展10月18日 01:13
Ghost-Face 周记：用 Deeptotur 辅助学习，规划《逆袭导论》第三版与 SF-lean4 项目报道时间线
沿着报道，了解事件的不同侧面。
10月18日
- 博客园Ghost-Face 周记：用 Deeptotur 辅助学习，规划《逆袭导论》第三版与 SF-lean4 项目
作者在周记中分享了利用 AI 学习框架 Deeptotur 配合 DeepSeek 模型 API 制定高中竞赛级学习计划的方法，并计划测试一学期验证成果。作者同时启动 SF-lean4 项目以将《软件基础》转换为 lean 4 版本，并规划重写约 3w 字的《逆袭导论》第三版，手动去除 AI 生成内容并增加个人经验。文中还总结了当前 AI 的四点局限性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。