TypeScript 用 Go 重写编译提速十倍,天问二号交会小行星,豆包千问下线智能体

||Download

Show notes

本期节目涵盖多条科技要闻:TypeScript 7.0 用 Go 重写后发布 RC 版,编译速度提升 10 倍;中国天问二号探测器历时 400 天抵达小行星 2016HO3 并开启科学探测;字节跳动豆包与阿里千问同日下线智能体功能,AI 拟人化监管新规影响显现;日本隼鸟2号近距离飞越小行星鸟船,验证地球防御技术。此外还讨论了北约将商业设施纳入国防框架、Windows 设备标识符协助逮捕勒索组织成员、亚马逊 Mechanical Turk 因 AI 作弊问题停止接受新用户,以及工作记忆产生意识的新理论。

时间轴

  • 00:00:00 开场
  • 00:00:04 开场介绍
  • 00:00:30 TypeScript 7.0 用 Go 重写,编译速度提升 10 倍
  • 00:01:20 天问二号抵达小行星 2016HO3,开启科学探测
  • 00:02:06 豆包和千问同日下线智能体功能,AI 拟人化监管收紧
  • 00:02:45 隼鸟2号近距离飞越小行星鸟船,验证地球防御技术
  • 00:03:21 北约将商业设施纳入国防投资框架,安全边界模糊
  • 00:04:11 Windows 设备标识符助 FBI 逮捕勒索组织成员
  • 00:04:54 亚马逊 Mechanical Turk 停止接受新用户,AI 作弊侵蚀众包平台
  • 00:05:41 短篇小说被指控 AI 创作后仍获奖,调查未发现证据
  • 00:06:20 新研究:意识可能直接源于工作记忆
  • 00:07:03 结束语

相关信息

本期节目由 Bri 出品。Bri 使用先进的 AI 技术将你在意的资讯转换成适合收听的播客。如需联系,请发邮件至 hi@bri.so

Transcript

茉莉: 大家好,欢迎收听Bri播客旗下的《Solidot每日沙龙》,我是茉莉。

白桦: 我是白桦。

茉莉: 今天有几条线很清晰:TypeScript用Go重写之后速度直接拉上来了,中国的天问二号也刚刚飞到一颗小行星边上,开始干活。

白桦: 还有一条线是大厂在同一天下线了AI智能体功能,背后是监管的边界在收紧。我们先从TypeScript聊起。

茉莉: TypeScript 7.0编译器用Go语言重写之后,第一个RC版本已经发布了。

白桦: 也就是说,离正式版不远了。

茉莉: 微软的计划是下个月推出正式版。这次重写带来的变化很直接:编译速度提升了10倍。

白桦: 10倍这个数字,放在日常开发里是什么感觉?

茉莉: 对TypeScript开发者来说,大型项目里改一行等半天的体验会少很多。微软的说法是,这主要靠原生代码的速度和共享内存并行处理。这个项目是C#和TypeScript的创始人Anders Hejlsberg在2025年3月宣布启动的,现在终于落地到RC了。

白桦: 迭代周期一下子缩短,交付节奏都会跟着变。

茉莉: 没错,等正式版出来,整个开发流程的感觉会完全不一样。

白桦: 再看另一条。中国国家航天局周一宣布,天问二号已经跟小行星2016HO3成功交会了。

茉莉: 整个飞行过程历时大概400天,飞了大约10亿千米,现在探测器就停在距离小行星20千米的位置。

白桦: 20千米,在天文尺度上基本就是脸贴脸了。

茉莉: 对,已经开始科学探测了。而且在抵近过程中,探测器拿到了小行星的影像数据,任务团队用光学导航数据把位置误差从上百千米缩小到了千米量级。

白桦: 这个跨越很关键。

茉莉: 之前只能靠地基观测,误差太大,现在精度一下子提上来,后续更近距离的采样和科学任务才铺得平。

白桦: 接下来这条跟监管有关。字节跳动的豆包和阿里巴巴的千问在同一天下线了智能体功能,时间点是2026年7月15日。

茉莉: 两家头部大模型厂商同步做这件事,很难不让人把它跟AI拟人化监管新规联系起来。

白桦: 豆包的解释是产品功能调整,用户可以在限期内自己保存历史数据,但10月15日之后,系统会根据隐私政策处理数据,就不能再查看或恢复了。

茉莉: 这对做AI角色扮演和情感陪伴类应用的影响很直接,用户以前的交互记录和设定都可能要重新考虑怎么处理。

白桦: 日本的隼鸟2号最近也完成了一次很不一样的飞越。

茉莉: 它在送完龙宫小行星的样本之后,7月5日近距离飞越了另一颗小行星鸟船,Torifune。

白桦: 距离有多近呢?距离鸟船中心大约800米,高速通过。

茉莉: 这个精度相当吓人。

白桦: JAXA的目标很明确,一方面是调查鸟船的形状和表面物质,另一方面是验证地球防御技术,也就是防备小行星撞地球的那类方案。

茉莉: 而且JAXA确认已经成功收到了隼鸟2号的数据,说明这次飞越没有白跑。

白桦: 接下来这条把安全边界推得更远。

茉莉: 北约32个成员国去年达成了一项协议,要把经济产出的5%用于国防和安全,其中1.5%明确投向军事相关需求。

白桦: 关键是,保护范围不限于传统的军事后勤设施了。

茉莉: 现在明确定义要保护的关键基础设施包括海底光缆、发电站、炼油厂、机场、海水淡化厂,甚至还有亚马逊的数据中心。

白桦: 这等于把私营企业的商业设施也拉进了国家防御投资的框架里。

茉莉: 是的,支出目标还涵盖了网络安全和工业产能,意味着企业可能要承担更高的安全合规责任,但同时也有可能拿到国防预算的支持。商业资产和战略资产的界线在政策层面已经模糊了。

白桦: 再看一个网络犯罪的案子,技术追踪手段在里面起了决定性作用。

茉莉: FBI和芬兰国家调查局合作,逮捕了19岁的Scattered Spider勒索组织成员Peter Stokes。

白桦: 这个组织至今勒索的赎金已经超过1亿美元。Stokes被引渡到美国,6月30日出庭,现在在押。

茉莉: 微软在这次身份识别里帮了大忙。

白桦: 他们向FBI提供了一个全局设备标识符,也就是GDID,这个标识符能定位到Stokes在攻击活动中使用的特定设备。

茉莉: 操作系统内置的标识符直接帮执法部门锁定了目标,效率很高,但后面肯定会有人追问隐私边界的问题。

白桦: 再来看一个平台放缓脚步的消息。亚马逊Mechanical Turk从7月30日起停止接受新用户。

茉莉: 现有用户暂时不受影响,还能继续使用。

白桦: 亚马逊AWS说这是慎重考虑的结果,平台不会推出新功能,但也不关停,只是继续投资安全性和可用性。

茉莉: 问题出在数据质量上。这个平台长期靠人工做学术调查和数据标注,但现在越来越多的研究表明,很多工人已经在用类似ChatGPT的AI工具批量生成低质量回答。

白桦: 对研究人员来说,这就麻烦了。如果连众包平台上到底是人还是AI都分不清,采集回来的数据还能不能支撑研究结论就是个很大的问号。

茉莉: AI识别不只在众包平台出问题,在文学评判上也一样。

白桦: 一篇叫《The Serpent in the Grove》的短篇小说,作者是Jamir Nazir,五月份拿了英联邦短篇小说奖的地区奖项。

茉莉: 结果获奖之后,X等平台的用户开始指控它是AI写的。依据是文本里有“不是x而是y”和三列表结构,这被认为是典型的AI写作模式。

白桦: 英联邦基金会随后启动了调查。

茉莉: 但官方最终没有找到支持AI创作指控的证据,奖项维持。这也说明,光靠文体模式来判断是不是AI写的,很容易误伤真实的创作者。

白桦: 最后这条跟意识有关,但不是科幻,而是一份新的理论工作。

茉莉: 传统上,解释意识的思路要么是全局工作空间,要么是信息整合。但这回研究者提出了一个不太一样的观点。

白桦: 他们认为意识可能直接源于工作记忆,也就是大脑短期内保留和操作信息的那套机制,而不是全局广播或者高级整合处理之后的副产品。

茉莉: 这个观点的推论有点意思。

白桦: 对,按这个逻辑,只有能通过工作记忆保留下来的信息,才会被个体体验为有意识的。如果后面能被验证,它对意识障碍的临床评估,甚至AI意识判定,都可能产生影响。

茉莉: 好,今天最后一件事也聊完了,感谢你听到这里。

白桦: 我们下期再见。