国产之光，大模型的黑马DeepSeek近日在X上提及并推出了全新研发的推理模型 DeepSeek-R1-Lite 预览版，并且在数学、代码等复杂逻辑推理任务方面，取得了可与 o1-preview 相媲美的推理效果，同时为用户呈现了 o1 未公开的完整思考过程。更重磅的消息是，会陆续放出开源模型、技术报告以及API。

根据官方的结果，DeepSeek-R1-Lite 预览版模型在难度等级最高的美国数学竞赛（AMC）中的 AIME 以及全球顶级编程竞赛（codeforces）等权威评测中，均斩获卓越成绩，大幅超越 GPT-4o 等知名模型。

而且，所有用户均可登录官方网页（chat.deepseek.com），轻松一键即可开启与 R1-Lite 预览版模型的超强大推理对话体验，每天限时50次，体验值拉满，真「国货之光」。官网的界面做的十分简洁，就一个深度思考的按钮，并且会显示已经使用的次数。美中不足的是，现在不支持文件上传的功能。

然后下面是我实际体验的几个例子， 最简单的数学题，回答没有任何问题，就是整体思考的过程展示内容略多。

求数列的通项公式，以及证明不等式，该题来自2022年高考数学的第17题。

椭圆双曲线的问题，回答错误，虽然正确解出了A的值，但是在最后使用韦达定理计算k的时候出现了错误。

从体验的结果上来看，有很多COT的过程是冗余的，而且这也有可能导致模型产出了错误的回答。另外，只是简单的输入数学题目本身，模型不一定能理解题意，导致结果出问题。说实话，数学能力比之前是强了，但是对于难度比较大的题目还是会出现出错误。而且是快要解出来的时候，犯了错误，这种就不太理解为何会这样。

小彩蛋

现在直接输入数学题目可能有些难度，雨飞采取了一个迂回的技巧。先使用kimi解析截图，将图片的内容转换成latex格式，然后复制到DeepSeek里进行操作，就可以回答数学题了。