@FinanceYF5: Mykel 确实是 ACAS X 背后算法的编写者,这个系统目前正在防止飞机相撞。当人们问起…
摘要
Mykel 编写了 ACAS X(飞机防撞系统)背后的算法,强调了多年来航空领域一直信赖基于AI的瞬间决策。
@agisummitai Mykel 确实是 ACAS X 背后算法的编写者,这个系统目前正在防止飞机相撞。当人们询问AI是否能被信任做出瞬间决策时,诚实的回答是:在AI成为流行词之前,早就有人为航空领域解决了这个问题。
查看缓存全文
缓存时间: 2026/07/04 12:46
@agisummitai Mykel 真真正正写出了ACAS X背后的算法——这套系统此刻正在防止飞机相撞。当人们质疑AI能否胜任分秒之间的决策时,坦诚的答案就是:航空领域早已有人解决过这个问题,远在AI成为热词之前。
相似文章
@agisummitai:主讲人聚焦:Mykel Kochenderfer 我们正信任人工智能操控飞机和驾驶汽车。谁确保那些瞬间决策……
聚焦斯坦福大学教授Mykel Kochenderfer,其关于自主系统安全决策算法(包括ACAS X防撞标准)的工作将在2026年7月18-19日于旧金山举行的AGI Summit 2026上进行展示。
@FinanceYF5: Bin Yu构建了PCS框架,让可信AI不再是一句口号,而是可以实际验证的东西。正如…
Bin Yu开发了PCS框架,使可信AI变得可验证,应对模型日益不透明的挑战。
AI、Ashby Engineering 与未来
Ashby Engineering 分享,自 2025 年 8 月以来,他们超过一半的生产代码是由 AI 生成的,同时客户问题没有增加,代码质量也没有下降。文章阐述了他们的理念:AI 消除了机械性的编码任务,而工程师的判断力和同理心变得更加重要。
@FinanceYF5: 来源:
据报道,Anthropic正在使用1000名自由软件工程师,每项任务支付280美元,以训练Claude Code。工程师们需要编写提示词、比较代码并测试后续操作,从而教会AI真正的开发者是如何工作的。
@FinanceYF5: 谁来决定AI该不该踩刹车? Anthropic的答案是:没有全球协调机制,这道题根本没法解。 他们打算花时间研究一套让各国实验室都能互相核查的体系—— 因为光靠信任,远远不够。
Anthropic认为没有全球协调机制无法解决AI安全问题,计划研究一套各国实验室互相核查的体系,因为光靠信任不够。