筛选结果
3 篇排序
1:34:29EN → 简体中文
Cognitive Revolution "How AI Changes Everything"· 2026年2月18日播客三个 IMO 金牌级系统漏掉了同一道题，Harmonic 想让数学能够编译主持 Nathan LabenzVlad Tenev 和 Tudor Achim 打造了 Aristotle，让它输出内核能够检验的 Lean 证明。他们认为，这正是数学超级智能保持可信的方式。
1:41:34EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2025年12月24日播客攻击者控制了摄像头分区，却仍然没能让直升机坠毁主持 Nathan LabenzKathleen Fisher 和 Byron Cook 向 Nathan Labenz 讲解了形式化方法如何把一部分软件漏洞变成已经结案的问题，话题从 DARPA 的直升机项目，一直讲到每秒被检查超过 10 亿次的 AWS 策略。
1:25:10EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2024年3月12日播客写代码只占工作的 30%，CodiumAI 想要另外那 70%主持 Nathan LabenzItamar Friedman 认为，代码补全已经成了大宗商品，代码完整性是 AI 仍然落后的地方；而让 GPT-4 在编程竞赛中把分数翻了一番的，靠的是流工程（Flow Engineering），不是更花哨的提示词。