跳到正文
热点事件持续更新

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日
  1. 博客园
    26-10-18周记:用 Deeptotur 搭配 DeepSeek 学高中竞赛,并启动 SF-lean4 项目

    一名 OI 选手在周记中记录了用 AI 学习框架 Deeptotur 配合 DeepSeek 模型 API,按提示词生成覆盖 200 个以上知识点、难度逼近 IMO/IPhO/IBO/IChO 的学习计划,以竞赛教材应对高中课内学习。他还指出 AI 存在无法识别反话、堆砌词汇、难以出精妙构造题等局限,并因《软件基础》缺少 lean 4 版本而发起 SF-lean4 转换项目。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。