用cursor有感：现在真是一个美好的时代，人们可以迅速入门一门新语言，不用理会繁琐的事情，把精力放在逻辑和框架思考上
这一波初高中生踏入社会后应该能带来空前繁荣的社会发展
过去需要好几个人花一两个月完成的事情现在真可以一两个人几天完成[捂脸]
一个繁荣的行业有泡沫是正常的，但AI不像web3一样没有改变任何东西，单说对创作的提效已经很amazing了
很期待明年后年会发生什么
（IDEA还是别联系了，我怕cursor误会

一句话解析openai最新模型o1：
应该是用了大量Lean语言做的合成数据+MCTS，前面套了一层Agent设定了几个阶段性的大目标时刻检查是否完成(类似AutoGPT)
Lean语言是什么？是一种定理证明器，也是一门编程语言，可以把输入输出翻译成形式化的表达式（类似OpenAI举的推理的这个视频的例子）
因为最近我们也做了大量math+code的数据还有强化学习的研究，看o1的逻辑推理部分特别像lean的特性，有点厉害的，竞赛应该能打不少分

一个挺好笑又可悲的小场景，Claude、ilya的SSI一直强调的安全和对齐有什么用：
如果使用Gemini、OpenAI或国内模型做应用，但还想欺骗外界你自己训练了模型，在system_prompt中不断洗脑和加深印象基本是可以做到的，用户问不出来原始的模型是什么。
但Claude不可以，之后ilya的一定也不可以。所以我们最近都退订了openai的web和api，全转到Claude了hhh

如果无法用两三句话让别人明白做了什么，就不是一份好的工作

感谢datawhale 谷歌 讯飞邀请，有机会分享我们datatager在合成数据 数据增强的小Talk（之后会陆续有一些talk

一般都在Twitter活跃🤣有时候即刻回复慢不好意思

我们DataTager团队陆续开源了LLM多个领域数据集，用TaskFineTune赋能实际业务场景，欢迎使用

感谢晨然推荐，最近都在蛰伏，没怎么发即刻哈哈哈

22年底在看符尧博士的文章“拆解追溯GPT-3.5 各项能力的起源”，平生最喜欢这种有人文关怀的人，也算是小迷弟了，因一句“此诚危急存亡之秋”真切地感知到了历史的时间节点的到来。时移世异，一年多的时间发生了很多事情，按下不表。

现在在听符尧博士的llama3的研讨会，像是在特殊节点举办的独特典礼

“因为山就在那里。”——乔治·马洛里，珠穆朗玛峰探险先驱