RecodeX 重构消息，作者分析LLM在编写形式化规范时的局限性，指出其倾向于生成明显属性而非微妙属性，并探讨AI能否降低形式化方法门槛。
作者分析LLM在编写形式化规范时的局限性，指出其倾向于生成明显属性而非微妙属性，...
原始信息来源The Coming AI Revolution in Distributed Systemszfhuang99.github.io
查看原文 ↗更多快讯
查看全部 →科技
微软向DARPA开放马里兰新研究中心量子硬件现场访问权限
RecodeX 重构消息，微软周二宣布，将允许美国国防高级研究计划局（DARPA）在其位于马里兰州的新研究中心现场直接访问微软最新的量子计算硬件，其中包括Majorana 2芯片。该安排意味着DARPA研究人员可在微软设施内实地使用相关量子设备。
科技
NASA与SpaceX瞄准10月1日作为Crew-13任务最早发射窗口
RecodeX 重构消息，美国航空航天局表示，NASA与SpaceX已将美东时间10月1日星期四上午11:10（北京时间23:10）定为Crew-13任务的最早发射窗口。该时间目前为最早可发射时点，具体执行仍取决于届时条件。
宏观
DEWALT调查500名世界技能大赛选手对技能职业的看法
RecodeX 重构消息，DEWALT公布一项面向全球60多个国家和地区500名世界技能大赛参赛者的调查，聚焦技能职业的未来、劳动力准备度与培训情况。调查发现，技能工种的社会认知虽在改善，但其对经济的实际贡献与鼓励年轻人进入职业教育的力度之间仍存在差距。
股市
AMD遭评级下调 分析师称其股价或进入横盘期
RecodeX 重构消息，有分析师下调AMD股票评级，认为该股当前缺乏上涨催化剂，可能进入一段横盘整理期，并将这一状态形容为“dead money”。该观点主要基于对AMD当前估值与后续增长动能的判断。
人工智能
TBC与AWS合作商业化全球首个神经元衍生AI视频模型
RecodeX 重构消息，旧金山应用生物计算公司The Biological Computing Co.（TBC）宣布与亚马逊云科技（AWS）合作，商业化其称为全球首个神经元衍生的AI视频模型。该技术基于一个开源视频生成模型构建，据TBC称生成速度提升5倍、推理成本降低80%，同时输出质量优于原模型。双方将借助AWS的…
科技
Anne Wilson歌曲《My Jesus》改编电影下月开拍，Aliza Kate Barlow主演
RecodeX 重构消息，狮门影业与Kingdom Story Company将把Anne Wilson的热门歌曲《My Jesus》改编为电影，计划下月开拍。Aliza Kate Barlow将在片中首次出演电影长片，饰演这位基督教乡村歌手。Gavin Casalegno与Beau Bridges等也参演该片。