首发|王腾投身AI睡眠，今日宜休又融资了
首发|王腾投身AI睡眠，今日宜休又融资了王腾创办的睡眠健康公司今日宜休已完成新一轮融资。本轮引入CMC资本、弘晖基金、君礼资本，高瓴创投、云九资本、瓴智基金继续超额追投。这位前小米中国区市场部总经理、REDMI品牌总经理，选择以身入局睡眠健康赛道。
来自主题: AI资讯
7837 点击 2026-05-17 11:20
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
王腾创办的睡眠健康公司今日宜休已完成新一轮融资。本轮引入CMC资本、弘晖基金、君礼资本，高瓴创投、云九资本、瓴智基金继续超额追投。这位前小米中国区市场部总经理、REDMI品牌总经理，选择以身入局睡眠健康赛道。
数据在验证这种紧迫感，商业媒体 Business Insider 在“年轻天才系列”（Young Geniuse Series） 的栏目中盘点了 16 位投身 AI 创业的年轻创业者，他们的普遍年龄在 16 岁-24 岁之间；不少人是斯坦福、哈佛、麻省理工等名校的在读生或者辍学生；融资速度更是快到离谱，有人在产品尚未定型时就完成种子轮，也有人仅半年时间内就融资 6400 万美元。
陶哲轩，公开演讲承认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 日，杭州西湖云栖小镇。经过前两天雨水的洗礼，春末夏初的空气里透着清新，风也温柔。但小镇里的各大机器人，可顾不上「感受」这份惬意…… 一台四足机器人小心翼翼踩过碎石路，踉跄两步稳住身体，继续执行变电站智能巡检任务；几米外，另一台四足机器人穿过倒塌的废墟，一头钻进模拟浓烟中，展开搜救工作。
针对这一问题，上海人工智能实验室、复旦大学、上海交通大学团队提出了Thoth：一个面向生物实验protocol生成的科学推理模型。一句话概括：Thoth不是让模型“写得像protocol”，而是让模型按照实验逻辑，生成可解析、可评估、可执行的protocol。
马耳他政府刚刚消息：向全体国民提供免费的 AI 课程，以及免费的 ChatGPT Plus 会员。马耳他成为首个把 AI 作为全民基础服务来发放的国家。项目名叫 AI for All（马耳他语 AI għal Kulħadd），意思是“全民 AI”。第一阶段五月启动，由马耳他数字创新管理局负责分发