马东锡 NLP 🇸🇪2025-05-01 03:38:52「DeepSeek, Reasoning」论文 DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition 用"sorry"做占位符,sorry,除了硬核,无法可说。 DeepSeek这篇在reasoning的追求上,到了一个让
李幺傻2025-04-28 06:30:40有个去过中国的老美,很惊讶于中国一间教室坐了五六十个学生。我说:“学生多,教室不够用。”他说:“把你们的区政府、街道办全部取消,变成教室,就够用了。”我说:“你的思想很可怕啊,如果没有这些部门的领导,岂不乱套了?学校可以没有,但领导岗位必须有。”
多伦多方脸2025-04-26 18:00:03墙内的舆论,现在真是一天一个热点 前两天还是deepseek,这两天又变成了人形机器人 热点总是天天有,人也总是天天赢 但是如果我们真的复看,当年的那些牛逼项目,现在又如何了呢? 这一期复盘一下曾经吹过的牛,烂过的尾 方脸说:习近平&中共的合订本!
中国人权-Human Rights in China2025-04-26 05:19:24韩国查处DeepSeek非法数据跨境传输,涉及150万韩国用户信息。韩国个人信息保护委员会(PIPC)发现中国人工智能企业DeepSeek在未获用户授权的情况下,将约150万韩国用户的个人信息及AI提示内容传输至中国和美国服务器,包括向字节跳动旗下公司输送用户设备、网络、应用信息以及用户输入给DeepSeek的个人内容。
李老师不是你老师2025-04-17 22:54:06美国众议院中国问题特别委员会,周三发表报告,称DeepSeek构成“严重”安全威胁。报告指DeepSeek会将数据传回中国,给用户形成安全隐患;所使用的模型也根据中国法律秘密审查和操纵信息;DeepSeek规避美国出口管制采购了数万块晶片,委员会要求英伟达提供客户信息。 纽约时报引述知情人报道,特朗普政府正考虑采取惩罚措施,阻止DeepSeek购买美国技术,并正讨论是否禁止美国人使用DeepSe