一水 发自 凹非寺 量子位 | 公众号 QbitAI 官宣!英伟达RTX 5060显卡发售时间定了。 根据英伟达中国官网最新消息,RTX 5060桌面显卡将于北京时间5月20日00:00_(太平洋时间5月19日9:00)_正式开卖,国内售价为2499元人民币。 此外,搭载该GPU的笔记本也将在5月上市,起步价为1099美元(官方建议售价7999元起)。 从...
近期,Wing VC 合伙人 Zachary DeWitt 在其专栏「Notoriousplg」中更新了一篇最新文章《Does Cursor Have a Defensible Moat?》。这篇文章精准地回顾并剖析了 Cursor 在短短几年间迅速崛起的原因,并详细分析了 Cursor 的「护城河」,以及当前所面临的挑战。 Cursor 作为一匹「黑马」...
FormalMATH团队 投稿 量子位 | 公众号 QbitAI 最强AI模型面对5560道数学难题,成功率仅16.46%?背后真相大揭秘。 香港中文大学、西湖大学、MAP、浙江大学、马克斯·普朗克智能系统研究所等机构联合推出FormalMATH形式化数学推理基准测试,含5560道经过严格验证的数学题,覆盖从奥数到大学水平的代数、微积分、数论等领域。 形式...
在AI时代,很多人都有一个问题,AI原生应用到底长什么样? 不久前,YC合伙人Pete Koomen提出了一个很有意思的看法:当下很多AI产品的困境并不在于模型能力不行,而是应用设计不行。 原因在于,这些产品仍然基于过去的产品逻辑来设计,而没有充分考虑到用户的实际需求。 比如,传统的产品开发往往需要程序员预先设计好系统提示符,但这些早被设计好的提示词在实际...
文| 孔学劭 “全球化大趋势不会发生根本性改变,但同时企业也需要适应现在世界上出现的新挑战、新要求。”5月7日,联想集团董事长兼CEO杨元庆在接受南都等媒体采访时表示,企业未来的全球化要结合稳定来发展,能整合全球优质资源的企业更具竞争力,而非局限于单一市场和资源的企业。 今年3月的联想集团2025/26财年誓师大会上,杨元庆表示,联想将第五次创业,这也是...
微软正与OpenAI谈判,前者一直反对OpenAI转型为营利性企业。 文|马兰 美国人工智能领军企业OpenAI近日放弃了营利性转型方案,重新计划将现有体制改为公益企业,且仍受到非营利董事会的控制。 但这一方案限制了首席执行官奥尔特曼的权力,同时将有可能对OpenAI未来的上市构成障碍。而在推动重组的计划之外,据一份非公开的投资者文件,OpenAI在本世...
紧跟技术理论前沿、开源项目实现及行业落地案例,老刘说NLP技术社区持续对外纳新。 老刘说NLP技术社区,自建立以来,旨在以公正、客观的角度,围绕大模型、RAG、文档智能、知识图谱四个方向,定位于技术前沿跟踪、项目实现解读、技术原理剖析、行业落地案例、学习经验分享,建设成为一个长期的、垂直、高质量的技术社区。 欢迎加入社区,无...
临近毕业季,不管是硕士生还是博士生,毕业前最大的一关就是盲审。通过了,就基本可以宣告毕业在即;没过,则要面对可能“延毕”的深渊。 实话, 论文盲审没过,一度陷入了自我怀疑中,觉得自己干啥都不行,能力不行,即使很努力了,也还是没能通过盲审。虽然可以下半年再次送审,但是真的是一点信心都没有了。 不管是什么原因导致的大修,一定要加快改论文的节奏,因为你所有...
当前,多模态大语言模型(MLLMs)在视觉-语言理解任务中取得了令人瞩目的进展,其中视觉分词(vision tokenization)作为视觉与语言语义对齐的关键环节,发挥着至关重要的作用。 然而,现有方法往往采用将图像划分为规则网格(grid patch token)的方式,这种过度碎片化的分词策略破坏了视觉语义的完整性,导致视觉与语言表征之间难以实现有...
现在的大模型(比如论文提到的 Deepseek-R1)虽然能解决复杂数学题,但有两个致命缺点: 体型庞大:动辄几百亿参数,像“超级计算机”一样耗资源; 思考过程长:解一道题要生成几千甚至上万字的思维链(Chain-of-Thought, CoT),相当于“把草稿纸写满才交卷”。 这就导致用大模型做题成本高、速度慢,用户体验像“等蜗牛爬完马拉松”。 论...