AINews：TypeSafe/Jev 上线三周 ARR 超 1 亿美元、估值 75 亿美元
AINews 汇总 10 月 8 日至 9 日动态：TypeSafe 宣布 Series AI，Sequoia 透露其上线首周 ARR 突破 1 亿美元，Jev 成为多家厂商对标的决策模型参考点。
#现象/趋势
Latent SpaceAI 评分6262 The Decoder精选AI 评分7676 数学家呼吁抵制 OpenAI，AI 生成证明涌入数学界
数学界部分人士呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型一个月内解决了 100 多个未解数学问题，包括对 Navier-Stokes 千禧年难题的一种思路。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击学术共同体时两种合作模式的差异。
TechCrunch · AIAI 评分3434 a16z 合伙人 Olivia Moore 谈消费级 AI 现状：ChatGPT 仍遥遥领先，社交、约会、金融等六大品类尚无头部玩家
a16z 合伙人 Olivia Moore 发布消费级 AI 应用 Top 100 报告，ChatGPT 仍是最大玩家，Suno、ElevenLabs 等小厂展现出持久生命力。
The Verge · AIAI 评分3838 特朗普试图把 AI 改名为「Super Intelligence」，业界反应冷淡
特朗普签署行政令，禁止在可能的情况下使用「AI」一词，要求改称「Super Intelligence」，并将继续使用「Artificial Intelligence」的人称为「THE ENEMY」。
The Verge · AIAI 评分4040 Instinct 如何在大厂夹击下守住最火 AI 智能体地位
Instinct 以邀请制、无营销、无 App 的方式推出 AI 智能体，靠 iMessage、WhatsApp 和邮件完成预约、报名、退货等日常事务，9 月底公司估值达 100 亿美元。面对 OpenAI 的 Dots 和 Meta 的 Muse 等大厂同类产品，创始人 Noah Shinn 称 Instinct 专注个人生活助理，测试中其表现与两者相当，但仍受限于网页信息缺失等现实问题。
MIT Technology Review · AIAI 评分3434 我们是否过度信任 AI 说"不"的能力
MIT Technology Review 刊文指出，AI 的拒绝机制已成为 AI 安全的核心支柱，但这一机制并不可靠。Anthropic 2021 年提出大语言模型应"有用、诚实、无害"，如今模型经过大量拒绝训练，却仍可能被绕过；有公司报告称部分用户正试图用最先进 AI 研发生物病原体、构建自主无人机蜂群。
MIT Technology Review · AIAI 评分3434 机器人领域的 AI 突破短期内不会改变你的生活
MIT Technology Review 与 Aventine 合作的文章指出，尽管马斯克称 Tesla Optimus 未来能以每台低至 2 万美元自动化几乎所有人类劳动、并预测 2027 年底前向公众发售，但许多机器人研究者对此持怀疑态度。Yann LeCun 在达沃斯表示，没有任何一家人形机器人公司知道如何让机器人聪明到真正有用。
MIT Technology Review · AIAI 评分1212 从预测分析到智能体 AI：企业如何让预测系统自主决策
企业 AI 的焦点已从预测模型能否超越统计预测，转向如何让预测系统自主行动而不偏离业务意图。深度学习与生成式 AI 驱动的智能分析支持实时训练，数据来源也扩展到非结构化交互内容，推动企业从被动回顾走向务实前瞻。Everest Group 合伙人 Vishal Gupta 称，"analytics"一词正让位于 AI。
MIT Technology Review · AIAI 评分2626 人们一边痛恨 AI，一边又离不开它，这是为什么？
调查显示，美国成年人中认为 AI 对个人和社会影响负面者已多于正面，71% 反对在本地新建 AI 数据中心，但 ChatGPT 在 5 月月活突破 10 亿，Gemini 7 月达 9.5 亿，半数美国成年人已使用聊天机器人。作者认为，人们反感的不是技术本身，而是科技公司无孔不入的推销方式，而全美 50 州已通过或提出逾 2100 项 AI 法案，开源替代方案也提供了更多选择空间。