标签：大模型

Honor 的 Robot Phone 比手机云台该有的表现还要好。

荣耀今天在中国发布了一款“机器人手机”，将三轴云台直接集成到手机背面。经过一小时上手测试，The Verge 认为它可能不是噱头，而是把小型稳定器塞进手机后，少数真正能做到“好看也好用”的产品。

围绕“LLM擅长什么样的数学”的讨论提到，有开发者通过鼓励式提示让模型在黎曼猜想上取得了一些进展，但这些例子引发的是更深层的忧虑：AI能生成大量看起来像证明的东西，但能验证它们的人类正变得越来越稀缺。

去年因用 ChatGPT 为宠物狗设计个性化癌症疫苗而走红的澳大利亚创业者 Paul Conyngham，近期正式推出初创公司 Gamgee，计划将 AI 驱动的 mRNA 疫苗推向宠物乃至人类市场。但该故事背后的科学证据仍存争议。

马斯克在SpaceX全员大会上宣布，将用SpaceX全部信息和员工贡献的数据训练Grok AI，称员工会“成为AI的父母”。这是企业把内部数据当作AI训练资产的最新案例，也延续了马斯克对AI对齐问题的激进解法。

纽约市议会正式向 Polymarket、Kalshi、Coinbase 和 Gemini Titan 等加密预测市场平台发函，要求就“欺骗性营销”和“面向未成年人推送”接受调查。这是监管机构首次大规模针对预测市场的算法推荐与营销自动化提出质疑，值得所有涉足 AI 驱动获客和内容分发的团队关注。

TechRadar 刊登了 Diagrid 联合创始人 Yaron Schneider 的评论文章：判断 AI Agent 是否值得信任，关键不在演示多成功，而在生产环境中出故障后系统能否自愈——而不是从头重来。

AI代码测试初创公司Blacksmith完成4500万美元B轮融资，由Peak XV Partners领投，估值从2025年A轮后的6000万美元跃升至5.5亿美元。资本在AI代码生成之外，开始重注“代码质量验证”这一环节。

LaraCopilot 是一款在 Product Hunt 上展示的 AI 编程辅助工具，瞄准开发者在代码生成与协作场景中的效率提升。目前公开信息有限，值得关注的是它如何在拥挤的 AI 编程赛道中做出差异化。

UXSpot 推出 MCP Server，让 AI 助手能直接读取和操作设计工具中的界面数据。这相当于为 AI 接入 UI/UX 工作流提供了一个标准接口，值得设计工具链上的开发者关注。

AI 编程正从“辅助写代码”转向“Agent 自主执行”，Token 消耗不再是衡量效率的核心指标；真正的价值判断权仍在资深工程师手中，而依赖重复编码积累经验的新人将面临最大冲击。