搜索
近日，Meta AI 与香港中文大学颠覆性提出了一种全新的视觉推理范式 ATLAS，不用外部工具，不显式生成中间图像，没有视觉监督信号，只用一个离散 word，首次颠覆性地代替 Agentic 和 Latent Visual Reasoning。
最近，创作者平台 Wirestock 宣布完成 2300 万美元 Series A 融资，由 Nava Ventures 领投，SBVP（Sheryl Sandberg 参与创立）、Formula VC 与 I2BF Ventures 参投，公司累计融资规模达到约 2600 万美元。
OpenAI深夜大地震了，ChatGPT、Codex和API三大王牌紧急合并，总裁亲自挂帅！追兵Anthropic的估值已经飙至9000亿，IPO前生死一战，超级应用要来了。
王腾创办的睡眠健康公司今日宜休已完成新一轮融资。本轮引入CMC资本、弘晖基金、君礼资本，高瓴创投、云九资本、瓴智基金继续超额追投。这位前小米中国区市场部总经理、REDMI品牌总经理，选择以身入局睡眠健康赛道。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
花 149 块钱，能买到什么级别的保洁服务？答：一个阿姨 + 一个工程师 + 一台重逾百公斤的盘式机器人，上门服务三小时。这个配置放在 58 到家的订单页上，一度让人怀疑是不是系统 Bug，少了打了一个零？
太有意思了，刚看到河南郑州西亚斯学院的消息。有几位 00 后创业者回母校干了件事，给学校捐了 20 亿 Token，希望带动学弟学妹做一人公司创业。郑州西亚斯学院是泡泡玛特老板王宁的母校，看来这学校真挺能出人才的。
这场从 Zig 到 Rust 的迁移，实际上只花了大约六天，涉及 96 万行代码，并且在 Linux x64 glibc 环境下通过了现有测试套件的 99.8%。而六天前，Jarred 还在 Hacker News 上说 这是一堆根本还跑不起来的代码，“最后被全Ω部扔掉的概率非常高”。六天后，同样的代码变成了“Zig 的最后一个版本”。
近期，专为Diffusion模型设计的插件框架——Diffusion Templates正式开源发布。这个框架能大幅降低可控生成技术的训练和使用难度，让开发者能够通过丰富的Templates来精准控制模型的生成结果。
5 月 15 日，杭州西湖云栖小镇。经过前两天雨水的洗礼，春末夏初的空气里透着清新，风也温柔。但小镇里的各大机器人，可顾不上「感受」这份惬意…… 一台四足机器人小心翼翼踩过碎石路，踉跄两步稳住身体，继续执行变电站智能巡检任务；几米外，另一台四足机器人穿过倒塌的废墟，一头钻进模拟浓烟中，展开搜救工作。