
盘点丨那些 AI 公司悄咪咪上线的产品(十五)
盘点丨那些 AI 公司悄咪咪上线的产品(十五)👋时隔半年,“悄咪咪系列”迎来了新的第十五期盘点!
👋时隔半年,“悄咪咪系列”迎来了新的第十五期盘点!
在Google I/O(谷歌开发者大会)前夕,谷歌全球安卓团队的核心成员们,提前组织了一场全球媒体沟通会,剧透了安卓系统的未来新动向。科技行者TechWalker受邀参加了此次活动。
OpenAI希望开发AI操作系统,成为人们的核心AI订阅服务。
北大和人大团队在通用人形机器人动作生成领域取得重大突破!
陶哲轩YouTube视频第二弹震撼来袭!这一次,他让AI挑战在Lean中形式化代数蕴含证明,结果Claude约20分通关,o4-mini太过谨慎直接「弃赛」。
GPT-4.1,在ChatGPT中可用了!现在,它不仅在API中开放,Plus、Pro和Team用户都可以使用。网友们兴奋地展开实测后,纷纷吐槽:OpenAI这是诈骗吧,说好的一百万超长上下文呢?
搞RAG开发,一个被普遍忽视却又至关重要的痛点是:如何避免Token分块带来的语义割裂问题。SAT模型通过神经网络驱动的智能分段技术,巧妙解决了这一难题。它不是RAG的替代,而是RAG的强力前置增强层,通过确保每个文本块的语义完整性,显著降低下游生成的幻觉风险。
过于无语了。 我真是没想到,有朝一日,我得出来替煤炭,替AI,写一篇正名的文章。
25岁天才Michael Truell率团队打造AI编程工具Cursor,仅用两年实现年收入2亿美元、估值达90亿美金,并未投入任何市场推广费用。Cursor重塑了软件开发范式,或将成为下一个科技巨头的雏形。
空间音频,作为一种能够模拟真实听觉环境的技术,正逐渐成为提升沉浸式体验的关键。