技术精选
5 条内容Passkeys are a trap
作者指出，“通行密钥”并非单一固定形式：有些可复制或由软件管理，有些由设备安全芯片保护；远程证明还可让网站核验使用的密钥管理器和设备环境。作者担忧，网站未来可能借此拒绝自定义软件或旧设备，但也承认目前大多数网站尚未要求远程证明。一位评论者提醒，远程证明只能在注册密钥时要求，不能等到登录时再追溯启用，因此作者设想的网站日后“切换开关”并不容易实现；另有评论指出，通行密钥的域名绑定可防范钓鱼攻击。
The gap in shared understanding of LLM capability is widening
Andrej Karpathy 认为，人们对大语言模型能力的认知正形成明显落差：他粗略估计，约 75%的人几乎没接触过这类模型，约 20%只是偶尔使用免费聊天产品，约 0.2%（约 2000 万人）在数学和代码领域专业使用前沿模型，另有约 5000 人能接触内部系统。他称专业用户已看到智能体用提示完成大型复杂项目，而内部系统在长时间、多智能体协作上的能力外界目前只见预览；他将差距归因于任务规模与时间跨度、模型在可数字化和可验证领域的能力强弱不均，以及访问权限不同。评论中有人质疑内部系统是否确实比外部用户能用的模型强出这么多，认为这点尚缺乏可见证据。
Fingerprints are the new cookies
作者认为，设备指纹正成为 cookie 之外的追踪方式，并称 Google 广告产品如今可使用它。网站可把请求中的 IP、浏览器和语言信息，与脚本读取的 GPU、CPU、字体、音频渲染等特征组合起来，在特定用户样本中区分设备；文中的演示只对少量测量值做哈希，任一变化都会改变结果，而作者说专业系统更复杂，能容忍单项变化。文章介绍的防护包括 Brave 对测量值加入扰动，以及 Tor、Mullvad Browser 尽量让用户呈现相同特征。
AI coding agents generate more code, but not more software
哈佛研究人员分析了 700 多家软件公司的工程数据，发现引入 AI 编码代理后，平均代码行数增加 30%、提交数增加 20%、拉取请求增加 23%；但 Jira 跟踪的 Issue 和 Epic 解决率没有统计显著变化。与此同时，代码审查从拉取请求提交到合并的平均时长增加 49%，被要求修改的拉取请求占比接近翻倍、每个拉取请求的评论数增加 35%，显示编码阶段的效率提升可能被后续人工审查的耗时抵消。
Terence Tao: Math 2.0 [pdf]
陶哲轩认为，数学证明可客观验证、易于数字化，加上大量研究文献已数字化，使数学特别适合现代 AI；在算力和前沿模型足够时，AI 已能较快解决许多过去被认为困难的开放问题，不过数学前沿的大多数问题仍未解决。他担心数学从“证明稀缺”转向“证明充裕”后，若仍只优化解题，可能损害数学家借开放问题探索周边理论的过程；他主张让 AI 帮助拓展研究前沿，也用于解释晦涩证明、整理知识网络和发现新方法，而不只产出答案。
圈外热门
2 条内容Deloitte falsified documents to evade tax on Abramovich's wealth
BBC 与调查伙伴称，阿布拉莫维奇的塞浦路斯公司 Kravin 2003 年持有近 20 亿美元并赚取利息，原本应就利息缴纳塞浦路斯税。调查披露，MeritServus 制作倒签文件，把资金伪装成代英属维尔京群岛母公司持有；Deloitte Cyprus 的邮件显示其参与讨论相应改账，调查认为证据显示 Deloitte 似乎协助了这一方案，可能使公司逃避数百万美元税款。阿布拉莫维奇的律师否认他逃税或隐瞒财富，并称没有证据表明他知情或授权伪造文件。
So, you’d like to sell your print issues of The Onion?
《洋葱报》正在征集其纸质档案中缺失的特定期号，范围包括 1988 至 2013 年的若干卷和期号。持有者可核对报纸首页的卷号、期号和日期，并通过表单联系档案管理员；报纸须保存良好、干净且可读，售出的期号将归《洋葱报》所有，不予退还。