搜索
身家约2240亿美元的贝佐斯，亲当CEO干出一家AI黑马，估值380亿美元，参投方包括贝莱德、摩根大通。OpenAI们在造AGI，贝佐斯绕开了主战场，目标是把AI塞进工厂、航天、芯片、制造。
近日，Meta AI 与香港中文大学颠覆性提出了一种全新的视觉推理范式 ATLAS，不用外部工具，不显式生成中间图像，没有视觉监督信号，只用一个离散 word，首次颠覆性地代替 Agentic 和 Latent Visual Reasoning。
虾在前，马当道，居然还有新物种能在Agent赛道突出重围。OpenHuman连续霸榜GitHub Trending第一，狂揽9k+ Star，一天就涨千星。和虾马不一样，Human不用你花心思养，还能反过来主动了解你。
就在刚刚，被Anthropic视为「太危险」的绝密大模型Mythos，竟在谷歌云悄悄解禁。CMU最新实测爆出，它在真实漏洞攻防中，断层碾压GPT-5.5。
数据在验证这种紧迫感，商业媒体 Business Insider 在“年轻天才系列”（Young Geniuse Series） 的栏目中盘点了 16 位投身 AI 创业的年轻创业者，他们的普遍年龄在 16 岁-24 岁之间；不少人是斯坦福、哈佛、麻省理工等名校的在读生或者辍学生；融资速度更是快到离谱，有人在产品尚未定型时就完成种子轮，也有人仅半年时间内就融资 6400 万美元。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
花 149 块钱，能买到什么级别的保洁服务？答：一个阿姨 + 一个工程师 + 一台重逾百公斤的盘式机器人，上门服务三小时。这个配置放在 58 到家的订单页上，一度让人怀疑是不是系统 Bug，少了打了一个零？
这场从 Zig 到 Rust 的迁移，实际上只花了大约六天，涉及 96 万行代码，并且在 Linux x64 glibc 环境下通过了现有测试套件的 99.8%。而六天前，Jarred 还在 Hacker News 上说 这是一堆根本还跑不起来的代码，“最后被全Ω部扔掉的概率非常高”。六天后，同样的代码变成了“Zig 的最后一个版本”。
5 月 15 日，杭州西湖云栖小镇。经过前两天雨水的洗礼，春末夏初的空气里透着清新，风也温柔。但小镇里的各大机器人，可顾不上「感受」这份惬意…… 一台四足机器人小心翼翼踩过碎石路，踉跄两步稳住身体，继续执行变电站智能巡检任务；几米外，另一台四足机器人穿过倒塌的废墟，一头钻进模拟浓烟中，展开搜救工作。
针对这一问题，上海人工智能实验室、复旦大学、上海交通大学团队提出了Thoth：一个面向生物实验protocol生成的科学推理模型。一句话概括：Thoth不是让模型“写得像protocol”，而是让模型按照实验逻辑，生成可解析、可评估、可执行的protocol。