搜索
在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的强力前置增强层，通过确保每个文本块的语义完整性，显著降低下游生成的幻觉风险。
25岁天才Michael Truell率团队打造AI编程工具Cursor，仅用两年实现年收入2亿美元、估值达90亿美金，并未投入任何市场推广费用。Cursor重塑了软件开发范式，或将成为下一个科技巨头的雏形。
空间音频，作为一种能够模拟真实听觉环境的技术，正逐渐成为提升沉浸式体验的关键。
R1 横空出世，带火了 GRPO 算法，RL 也随之成为 2025 年的热门技术探索方向，近期，字节 Seed 团队就在图像生成方向进行了相关探索。
比起此前对生成时长、模型参数的强调，大半年来，不提Sora的AI视频玩家将这场“军备竞赛”的重点放在了三个维度上——卷一致性、卷可用性、卷可玩性。所谓的“一致性”指的是视频生成过程中帧与帧之间的过渡性、动作的连续性和场景的真实性等。
2025年的春天，硅谷弥漫着不安与躁动。#谷歌 的股价走势正在动摇投资者对这个帝国的信心——2月初GOOGL曾短暂触及206美元的历史高点，仿佛一切尽在掌握；但随后如自由落体般下滑，到4月初已跌至145美元附近。