首发| 90后教授用AI造火箭，天使轮火了
首发| 90后教授用AI造火箭，天使轮火了首次亮相。
来自主题:
AI资讯
6210 点击 2026-07-16 14:56
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
首次亮相。
过去一年，AI 人才市场仿佛进入了自己的「乱纪元」。
《读佳》获悉，360推出了一款名为“备果”的AI产品，该产品针对教师群体的备课场景，但AI工具的使用与文档下载均需开通会员，可见该产品并非走完全免费路线。
GPT-5.6发布之后，Codex开始以一种近乎夸张的速度增长。
困扰统计学界整整20年的核心悬案，被AI击碎了。
全双工语音对话是人类最自然的交流方式，是语音对话研究的梦想。相比文本输入，语音天然更接近人的交流方式，但现有语音对话常常停留在 “一问一答、听完再说” 的轮次式交互范式。
昨天那篇文章，我说了一下我现在用Agent的日常。
大家好，我是瓦力，具身算法研究员。 我有个习惯，隔三差五都会去 PI 的官网刷一下，看他有没有新东西。最近这三个月，官网主页是一动没动，停在四月的 π0.7。
对 AI Coding 来说，有人用，比任何 Benchmark 都管用，而有人持续付费，又比有人用更管用。
学校没变，但奥特曼警告人类正在慢慢失掉思考的训练场。
号外号外，OpenAI最新提示词指南更新了！如果你还没驯服ChatGPT，或者还在被它像毛线团一样越理越乱的回答折腾得苦不堪言，那么今天这篇OpenAI最新提示词指南，你一定要好好收藏！
Emergent 是一家帮助小型企业利用人工智能构建应用程序的初创公司，近日完成 1.3 亿美元融资，跻身为数不多达到独角兽估值的印度 AI 初创公司之列。据该公司介绍，目前已有逾 1200 万个 AI 应用程序通过 Emergent 平台构建完成。Emergent 的运营总部位于班加罗尔。
Codex 首款硬件，来了。
端侧AI持证上岗了。
7 月 15 日，腾讯 Robotics X 实验室以及福田实验室联合腾讯混元推出两款具身智能基座模型 —— 具身 VLM 基座模型 Hy-Embodied-VLM-1.0 以及 具身世界认知基座模型 Hy-Embodied-RxBrain-1.0，不仅让具身大脑能够 “看” 懂现实世界，还学会同时推理和想象。
近日，翁荔发布长文 《Harness Engineering for Self-Improvement》，系统梳理了 harness engineering 在 AI 自我改进中的作用。
昨天刚完成2亿美元Pre-IPO轮融资，逐际动力没有急着讲资本故事，而是立马甩出一段全尺寸人形机器人Oli全自主做家务的视频：
我们先来看两个画面。
人在Meta，因为休个病假/产假，然后……工作就没了？？
大家好，我是袋鼠帝 几天前我尝试做了一个相对粗糙的视频，是关于我开源的仓颉Skill的 没想到居然爆火了！（全网将近50万播放）。
基于可验证奖励的强化学习（Reinforcement Learning with Verifiable Rewards，RLVR）正在成为大模型后训练的关键技术。数学题能判对错，代码能跑测试，可验证奖励让大模型可以通过强化学习持续提升推理能力。
WorldArena 1.0 的核心意义，在于将世界模型评测从 “好不好看” 推进到 “是否真的有用”。它不再只关注视频观感，而是把物理一致性、可控性、3D 准确性和具身任务功能性纳入统一评测框架，使许多看似流畅的生成结果第一次在机器人具身任务中接受检验。
推理大模型 (如 DeepSeek-R1、o1) 靠长思维链拿高分，却普遍「想太多」: 研究统计了五个代表性模型里，发现有 41–52% 的 token 是在模型给出它的最终答案之后生成的。
Raft是一个很神奇的AI产品。当它还叫Slock的时候，我认为这主要是一个投资人自嗨产物。除了极少数自己充了Claude、Codex会员，同时本地电脑还有Opencode、Pi等一系列Agent的极致变态电子佬用户，没人需要一个AI群聊。
推理大模型 (如 DeepSeek-R1、o1) 靠长思维链拿高分，却普遍「想太多」: 研究统计了五个代表性模型里，发现有 41–52% 的 token 是在模型给出它的最终答案之后生成的。
一个自由度超高的游戏机，只需完成硬件设计！你就能根据我的软件架构，一句话生成游戏！是的！想要什么游戏，都可以DIY！都可以自定义！
机器之心编辑部 由 OpenAI 前首席技术官 Mira Murati 创立的 AI 初创公司 Thinking Machines Lab，刚刚发布了自研 AI 模型 Inkling。与 OpenAI、Anthropic 或 Google 的旗舰模型不同，Inkling 是一款开放权重模型，外部开发者和企业可以直接下载，并根据自身需求进行修改。
作为国内深耕消费赛道落地最快的 Agent 原生团队之一，数宗 Digit Master 凭借自研 DM Agent OS，已携手雅诗兰黛、阳狮、博报堂、7-Eleven等全球头部快消品牌、广告集团完成规模化商业落地。团队在真实业务场景中，精准切中传统行业长期存在的核心痛点
刚刚，网信中国发布公告，「Apple 智能」正式通过生成式人工智能服务备案。 和苹果一起「持证上岗」的还有华为小艺 AI 大模型、OPPO AndesGPT、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI 和努比亚豆包手机大模型，一共 7 款手机端侧大模型在 7 月 8 日集体过审。
据三位知情人士透露，开源 Hermes Agent 背后的初创公司 Nous Research 正在敲定由 Robot Ventures 领投的新一轮融资，USV 及其他知名投资者也有重要参与，估值为 15 亿美元。知情人士称，该公司至少筹集 7500 万美元，并吸引了大量投资者的高度关注。
