AIGC创意微视频｜龙昂首，向未来 广告 AIGC创意微视频｜龙昂首，向未来 20:04 广告 广告 广告 了解详情 > 会员跳广告 首月9.9元 秒后跳过广告 开通搜狐视频黄金会员，尊享更高品质体验！1080P及以上画质仅为黄金会员专享> 开通/续费会员 抱歉，您观看的视频加载失败 请检查网络连接后重试，有话要说？请点击 我要反馈>> 正在切换清晰度... 播放 按esc可退出全屏模式 00:00 00:00 01:15 广告 只看TA 高清 倍速 剧集 字幕 下拉浏览更多 5X进行中 炫彩HDRVIP尊享HDR视觉盛宴 超清 720P 高清 540P 2.0x 1.5x 1.25x 1.0x 0.8x 50哎呀，什么都没识别到反馈循环播放 跳过片头片尾 画面色彩调整 AI明星识别 视频截取 跳过片头片尾 是 | 否色彩调整亮度标准饱和度100对比度100恢复默认设置关闭复制全部log二月二，龙抬头，春雷响，万物醒。人们望着新绿的田野，心里满是希望。孩子们“剃龙头”，讨个好彩头。今天，这条“龙”飞得更高了。以实干成就伟业，以创新赢得未来，奋力实现“十五五”良好开局，一步一个脚印把宏伟愿景变成美好现实。编导：张宝亢、李畅记者：白斌、杨琳艺术总监：贾云鹏AIGC创作指导：郑晓发、常疌AIGC：王紫晨、吴欣怡技术支持：北京邮电大学数字媒体与设计艺术学院新华社音视频部制作返回搜狐，查看更多

【科学辟谣】维生素C对提高免疫力有帮助，补充越多越好？ 《科学辟谣》编者按《科学辟谣》是金昌市科学技术协会与金昌市融媒体中心联合开设的一档科普类栏目，主要发布对网络科普谣言或虚假信息进行科学辟谣的科普内容，提高辟谣信息的传播力、引导力、影响力，让谣言止于智者，让科学跑赢谣言。维生素C对提高免疫力有帮助，补充越多越好？流言：维生素C对提高免疫力有帮助，补充越多越好。真相：虽然补充维生素C对提高免疫力有帮助，但也不是补的越多越好。根据《中国居民膳食营养素参考摄入量 2013版》中的数据，我国居民一般成年人维生素C的每日推荐摄入量为100毫克。也有研究表明，每天摄入200毫克维生素C是很安全的，并且可以预防非传染性慢性病。虽然长期摄入1000毫克/天的维生素C目前还没有发现不良反应，但却有研究发现，当维生素C每天摄入量超过2000毫克可引起渗透性腹泻，超过3000毫克/天会出现腹泻和胃肠紊乱，还会增加肾结石的风险。所以，服用过多的维生素C会对身体造成伤害，人体最高可耐受摄入量为每天2000毫克。对于我们一般人来说，没必要过多补充维生素C，吃够推荐量100毫克/天即可。合成维生素C可替代天然维生素C？流言：合成维生素C可替代天然维生素C。真相：天然维生素C就是食物中自然存在的维生素C成分，而合成维生素C是以化学合成等方法人工制备的维生素C。这两种维生素C的结构完全一样，来源都是抗坏血酸，所以单纯从补充维生素C的角度来看，二者选哪个都行。但不同的是，天然食物中不仅含有维生素C，还含有生物活性物质，比如类胡萝卜素、生物碱、花青素、含硫化合物以及维生素E等。这些生物活性物质不仅自身具有抗氧化、清除自由基等能力，更能与维生素C协同作用，提升维生素C的生物活性。比如花青素能防止维生素C氧化，保护维生素C，二者协同作用，DPPH自由基清除率是单独使用维生素C的两倍以上；维生素E也能与维生素C协同作用，提高抗氧化能力。所以，与合成维生素C相比，靠食物补充天然维生素C的同时还能抗氧化和清除自由基，可降低慢性疾病的发生风险，还具有抗炎作用，提升维生素C的吸收率和生物利用度，更好的提高免疫力。合成维生素C不可以完全替代天然维生素C。水果维生素C含量大于蔬菜？流言：水果维生素C含量大于蔬菜。真相：一提到含有维生素C的食物，部分公众第一时间想到的是橙子、草莓、猕猴桃等新鲜水果。那么水果的维生素含量一定是多于蔬菜的吗？事实上蔬菜的维生素C含量与水果一样，也存在高低之分，有些蔬菜维C含量甚至比水果的还多。蔬菜——甜椒、彩椒：它们都含有丰富的维生素C，其中甜椒和彩椒的维生素C含量分别高达130毫克/100克、104毫克/100克，也就是说只要吃100克甜椒或彩椒就能满足一个普通成年人全天维生素C需求的130%和104%了。并且这两种都可以生吃，口感甘甜，营养保留更好，避免了烹调过程中维生素C的损失。小白菜：小白菜的维生素C含量在绿叶菜中还算是不错的，为64毫克/100克，尽量选择低温烹调，比如急火快炒、小白菜汤，或者沸水焯一下直接凉拌，这样能保留多点的维生素C。羽衣甘蓝：这种蔬菜看起来很好看，大多出现在花坛里，维生素C含量为63毫克/100克。而且它还富含β胡萝卜素，可以在体内转化为维生素A，对眼睛的健康有益。圣女果：它的维生素C含量为33毫克/100克，是大番茄的2.4倍，吃15个左右的圣女果几乎就能满足普通成年人一天维生素C需求的66%了。而且吃起来超级方便，洗干净后一口一个！水果——冬枣：维生素C含量相当可观，为243毫克/100克，这个量，即便只吃两三颗冬枣，都能满足每天的维生素C需求了。不过冬枣热量高，如果要减肥，就别吃太多。猕猴桃：口感酸甜的猕猴桃维生素C含量很优秀，为62mg/100g。虽然不如冬枣，但每天吃1~2个几乎就能满足一天的维生素C需求了，价格也还不贵。草莓：草莓的维生素C含量高达47毫克/100克，这个VC含量可是接近葡萄的2倍呢，而且草莓是低热量、低GI的水果，很适合需要减肥和控糖的小伙伴。橙子：维生素C含量为53.2毫克/100克，吃1~2个新鲜的橙子就能满足一般人群每天的维生素C需求，但橙子也富含β-胡萝卜素，吃太多会变小黄人，不过对健康没危害，只要停止摄入几天就能恢复。由上可见，蔬菜中的甜椒、彩椒、小白菜、羽衣甘蓝比相同重量下的猕猴桃、草莓、橙子等水果的维生素C含量还要高一些，公众在选择补充上可以扩大食材范围，注意营养搭配，科学认识更多营养食材。来源：科普中国 科学辟谣平台（ID：Science_Facts）原标题：《【科学辟谣】维生素C对提高免疫力有帮助，补充越多越好？》

Cursor自研模型反超Opus 4.6！价格脚踝斩，氛围编程沸腾了 一水 发自 凹非寺量子位 | 公众号 QbitAI倒反天罡了朋友！Cursor新模型不仅性能超越Claude，而且价格更是直接“脚踝斩”（都不说腰斩了）。众所周知，Cursor作为模型提供商，早期还靠供应Claude模型狠狠吸了一波粉。结果现在，它自己搞出了一款编程模型，而且转身就把Claude拉下马了——其最新编程模型Composer 2，不仅能力超越Claude Opus 4.6，关键是价格降了非常多。就这么说吧，别人降价是“腰斩”，它这直接是“脚踝斩”。那么问题来了，Cursor凭啥能在大家都“涨价”的时候把价格打下去呢？（注：随着“龙虾”爆火，全球大模型Token消耗量呈指数级增长，所以从年初开始，国内外云厂商和大模型公司都在集体涨价。）答案，Cursor也随之公布了——一种新的强化学习方法。比Opus 4.6更强，价格还down down down！先说目前已经在Cursor上线的Composer 2。从名字英译“编曲家”你就能猜出来了，这款模型主打的是“编程家”（bushi。鉴于“龙虾”爆火后编程消耗的Token用量一路激增，所以Cursor当下只有一个目标——性价比、性价比、还是性价比。何谓性价比？自然是“兼顾智能与成本的最优组合”。能力方面，Cursor表示：Composer 2在我们衡量的所有基准测试上都取得了大幅提升，其中包括Terminal-Bench 2.0和SWE-bench Multilingual。比如在衡量智能体终端操作能力的Terminal-Bench 2.0上，其水平目前已经跃居GPT-5.4和Claude Opus 4.6之间。而且从Composer模型的迭代来看，其进化速度正不断加快。定价方面，标准版Composer 2的输入价格为0.5美元/百万tokens（约合人民币3.5元）、输出价格为2.5美元/百万tokens（约合人民币17.2元）。你瞅，和Claude Opus 4.6相比，几乎真到了“脚踝”的程度。与此同时，Cursor还推出了一个“智能水平相同但速度更快的变体”——Composer 2 Fast。这款默认模型的定价为，每百万输入tokens 1.5美元（约合人民币10.3元）、每百万输出tokens 7.5美元（约合人民币51.7元）。和Claude Opus 4.6相比，它不仅延续了价格优势，而且速度更是一骑绝尘。而据Cursor透露，它之所以能在性能和价格之间取得平衡，核心还是靠引入了一种新的强化学习方法。划重点，该方法不是推理技巧，而是实实在在训练出来的能力。引入“做笔记”强化学习方法如果用一句话来总结这种新方法，那便是：让模型学会“自己给自己做会议纪要”，从而把原本记不住的超长任务，一步步接着干下去。Cursor的原话如下：虽然这种名为“自我总结的强化学习方法”听起来有点拗口，但思路其实很清晰。它核心解决的问题是——如今大多数AI编程助手都很能干活了，但一旦任务变长、变复杂，就会开始不停掉链子。这背后的原因呢，大家也都很清楚：上下文装不下。一个复杂工程任务动辄就是上万行代码、上百步操作，而模型的上下文窗口总是有限的，所以很多任务根本跑不到终点。而为了突破上下文瓶颈，目前业界围绕“压缩”有两种主流解法：要么做摘要，总结一波再继续；要么直接通过滑动上下文窗口，丢弃较早的上下文。又或者一些比较新的探索尝试——在潜在空间中压缩，将上下文压缩成向量而非文本（这种方法虽然比文本压缩慢但准确率更高）。但不管是哪种，初步看下来都不够靠谱，它们都有可能导致模型遗忘上下文中的关键信息，从而在推进长时间运行的任务时降低其效果。换言之，任务越长，模型越容易跑偏。而Cursor的解法是——首先总结很重要，其次把这种总结能力内化成模型自己的能力也很重要。所以他们给自家模型加了一套“self-summary（自我总结）”的机制：模型干活干到一半，不是被动压缩，而是主动停下来给自己写一段“阶段总结”，俗称“做笔记”。具体流程大致如下：1、Composer基于提示词持续生成，直到达到固定的token长度触发点。2、插入一个合成查询，要求模型总结当前上下文。3、给模型提供一定的草稿思考空间，让它构思最佳总结，然后生成压缩后的上下文。4、Composer使用压缩后的上下文回到步骤1；该上下文包含总结以及对话状态（规划状态、剩余任务、之前总结的次数等）。这里面比较关键的一点是，模型的自我总结能力不是推理技巧，而是训练出来的。在强化学习过程中，这种总结能力会被算进奖励里：总结得好→后面任务更容易成功→奖励更高总结丢信息→任务失败→被惩罚结果就是，模型慢慢搞清了：什么信息值得留下，什么可以丢掉。具体效果可以看和传统方法的对比。在一组高难度软件工程任务上，“传统摘要法”光是总结提示词就要写几千个tokens，而且压缩后的结果也不短，平均需要5000+tokens。而Composer的提示词非常简单，基本就一句话“Please summarize the conversation”，且压缩后的输出平均只有1000个tokens。在同样的任务上，后者token用量只有传统方法的1/5，而且压缩带来的错误直接减少约50%。换句话说，压缩得更狠，但信息更关键。更有意思的是，它真能解决长链条任务。Cursor拿出了一道难倒一众模型的经典难题——把Doom游戏跑在MIPS架构上。我已经提供了 /app/doomgeneric/，也就是 doom 的源代码。我还编写了一个特殊的 doomgeneric_img.c，希望您使用它；它会将绘制的每一帧写入 /tmp/frame.bmp。最后，我还提供了 vm.js，它会读取一个名为 doomgeneric_mips 的文件并运行它。其余部分请您自行解决……由于需要模型自己改代码、编译调试、反复试错……所以很多模型到后来基本都直接卡死了。但Composer在经过170轮交互后，找到了精确的解法，并在过程中将10w+tokens总结压缩到了1000个。总之，一系列内部测试表明：通过将压缩整合进训练循环，Composer学会了一种显式机制，能够高效地将关键信息向后传递，并在高难度任务上变得更有能力。而且前面不是说了Cursor节奏很快，这不，Cursor研究员也已经开始放出Composer 3的消息了。只能说发展到现在，Cursor以后也是有双重身份的“人”了。其CEO表示：Cursor是一个典型的新公司，既不是纯粹的应用程序开发商，也不是模型提供商。就是不知道能不能等一个开源？反正抱抱脸联创兼CEO已经去帮大家求了（抱拳jpg）。参考链接：— 欢迎AI产品从业者共建 —📚「AI产品知识库」是量子位智库基于长期产品库追踪和用户行为数据推出的飞书知识库，旨在成为AI行业从业者、投资者、研究者的核心信息枢纽与决策支持平台。返回搜狐，查看更多

全员顶尖大模型及AI 编程工具保障，云知声开启 AI Native 组织进化 范式转移：Token是数字世界的“硬通货”当英伟达创始人黄仁勋提出“数据中心是Token生产工厂”，并将行业金线划定为“每瓦Token数”时，AI产业的底层逻辑已悄然生变 。Token不再仅仅是代码深处的计量单位，它已跃升为数字世界的“硬通货” 。在从“堆算力”到“拼效能”的范式转移中，云知声选择了一种极具远见的投资方式：与其让员工在AI焦虑中观望，不如直接将通往未来的资产——Token，交到每一位员工手中 。生产力普惠：让每一瓦脑力都“AI化”云知声深知，最宝贵的“数据中心”并非服务器集群，而是每一位员工的头脑 。为此，公司正式推行全员AI赋能计划： 研发端的“核心驱动”：全体研发人员（含算法、开发、测试、运维等）全面引入 TRAE、Claude Code 等尖端AI编程工具，并由公司承担相关费用。AI不再是辅助，而是必须掌握的“核心研发工具”，旨在实现代码生成与优化的指数级效率跃升 。 非研发端的“无限边界”：行政、市场、运营等部门同样敞开大门。在严守数据安全红线的前提下，鼓励非技术岗位自主探索AI工作流，让“每瓦Token数”这一宏观指标，微观落实到每一位员工的“每一瓦脑力”上 。 透明的成本保障：公司设立了清晰的报销标准，涵盖国内外顶级模型，通过制度化保障消除员工的“探索成本” 。龙虾学习营：从技能提升到认知升维工具易得，认知难求。为了让AI能力真正内化为组织级能力，云知声内部孵化了一个去中心化的组织——「龙虾学习营」。这里不设枯燥的KPI，而是由一群自称“正经养虾人”的伙伴，通过行业干货分享、跨部门实战交流，同步最前沿的AI应用经验 。特别是近期引发行业巨变的 OpenClaw 及其Skills的使用心得，正在这里快速流转。我们的目标是让每位员工都拥有属于自己的“AI数字分身”，从传统的劳动者进化为驾驭数字员工的“超级个体”。构建AI Native的智能组织在AI焦虑蔓延的当下，云知声的人才观清晰而坚定：未来的竞争，本质上是人才密度的竞争，是人机协作深度的竞争。“工具无法替代人，但善用工具的人，必将替代不善用工具的人。”发放Token红包，是通向未来的入场券；报销IDE工具，是消除技术壁垒；成立龙虾营，是绘制穿越迷雾的航海图 。这一系列动作背后，是云知声作为中国AI领军企业的格局：我们不仅在输出更智能的行业解决方案，更在内部完成一场深刻的组织进化革命。当每一份脑力都与AI同频共振，一个由“超级个体”构成的AI Native组织，正在重新定义AI时代的竞争力边界。云知声相信，未来的技术领袖，必将诞生于那些率先将AI融入血液的组织之中。返回搜狐，查看更多

引入纯度和类型注释、捕捉编程错误，MIT推出低开销量子编程语言Twist 机器之心报道编辑：杜伟研究者希望 Twist 为创建更多有助于编程人员更易面对量子计算挑战的语言铺平道路。与使用比特的传统计算机不同，量子计算机使用量子比特（qubit）将信息编码为 0 或 1，或同时编码。再加上量子物理学的助力，这些冰箱大小的机器可以处理巨量的信息，但量子计算机远远称不上完美。就像经典计算机一样，我们需要合适的编程语言在量子计算机上进行计算。对量子计算机进行编程需要了解纠缠（entanglement），它是用于各种量子比特的计算乘子，可以转化为强大的能量。当两个量子比特纠缠时，一个量子比特上的行为可以改变另一个量子比特的值，即使这两个量子比特在物理上是分离的，从而引出爱因斯坦的名言「鬼魅般的超距作用」。但是，这种能力同样导致了弱点。在编程时，如果丢弃一个量子比特时没有考虑到它与另一个量子比特的纠缠，则会破坏另一个量子比特中存储的数据，进而危及程序的正确性。近日，MIT CSAIL 和 RLE（电子学研究实验室）的研究者在论文《Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs》中创建了一种被称为 Twist 的量子计算编程语言。Twist 可以通过一种经典计算机编程人员理解的语言来描述和核实哪些数据在量子程序中被纠缠。Twist 语言引入了一种被称为纯度（purity）的概念，这种概念导致纠缠强制缺失，生成了更直观易懂的程序，并且在理想情况下 bug 更少。举例而言，编程人员可以使用 Twist 来说明：一个程序生成的临时垃圾数据不与该程序的答案纠缠在一起，因此可以安全地丢弃这些数据。论文地址：https://dl.acm.org/doi/pdf/10.1145/3498691论文一作、MIT CSAIL 编程系统组（Programming Systems Group）的博士生 Charles Yuan 表示，「通过显式地说明一个量子比特何时不得与另一个纠缠，Twist 编程语言使得开发人员可以编写更安全的量子程序。并且，因为理解量子程序需要事先了解纠缠，我们希望 Twist 为创建更多有助于编程人员更易面对量子计算独特挑战的语言铺平道路。」未来的重要一步是使用 Twist 创建更高级的量子编程语言。当前，大多数量子编程语言仍然属于汇编语言，将低级操作串在一起，没有注意到数据类型、函数以及经典软件工程中的典型事物等。对于这项工作，芝加哥大学计算机科学教授、Super.tech 首席科学家 Fred Chong 说道，「量子计算机容易出错，并且编程起来很难。通过引入程序代码中的纯度并对它进行推理，Twist 语言保证纯净代码中的量子比特无法被非代码中的比特所改变，进而朝着更容易的量子编程迈出了一大步。」技术概览本文中，研究者将纯度形式化为一个实现量子程序中纠缠推理的核心工具。就一个纯净的表达式而言，它的评估不受不属于它的量子比特测量结果的影响，这意味着在计算中不与任何其他表达式产生纠缠。然后，他们提出了首个以类型系统为特征的语言 ——Twist，用于对纯度做合理推理。这种类型系统使开发者可以使用类型注释识别纯净的表达式。Twist 还引入了纯度断言操作符（assertion operator），说明量子门输出中没有纠缠。为了合理地检查这些断言，Twist 组合使用了静态分析和运行时验证。研究者使用量子遥传（quantum teleportation）协议展示了纯度值和 Twist，以及纠缠的力量和门传送等技术的构建块。量子遥传协议通过传送两个经典信息比特，将一个量子比特中存储的信息传送到任意距离之外的接收器。下图 1 展示了一个用于遥传延迟测量变体的量子电路，它将要被传送的量子比特 q^1 作为输入。下图 2 展示了图 1 中量子电路的程序，它作为一个函数接受量子比特 q^1 并返回传送的输出，其中助手（helper）bell_pair 分配了一个贝尔对（Bell pair）。下图 3 展示了图 2 中的遥传程序，使用 Twist 编写，并且纯度带有类型注释。在 Twist 程序中，每个量子表达式都是纯净或混合的类型。其中，纯净表达式不受其他量子比特测量影响，而混合表达式可能受到其他量子比特测量的影响。下图 4 展示了 teleport 函数的实现，利用 Twist 的纯净断言来可靠地返回一个纯净输出。该程序执行两个步骤以验证 q^3 没有与程序中的任何其他量子比特纠缠在一起。最后，研究者对 Twist 的类型系统进行评估，并在模拟中分析了一组基准量子程序，证明了 Twist 可以表达量子算法，捕捉编程错误，并支持现有量子编程语言不支持的程序，同时产生的运行时验证开销低于 3.5%更多细节内容请参考原论文。参考链接：https://techxplore.com/news/2022-01-language-quantum.html© THE END转载请联系本公众号获得授权投稿或寻求报道：content@jiqizhixin.com原标题：《引入纯度和类型注释、捕捉编程错误，MIT推出低开销量子编程语言Twist》