最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
给LLM装上Datalog记忆:省下38倍token,却没赢过更简单的对手
安全研究员Jordy Zomer把程序分析里的Datalog思路搬到LLM记忆系统,做出开源项目Lemmalog,用事实级联失效解决LLM长会话中'忘了假设已被推翻'的问题。但在他自己贴出的基准测试里,Lemmalog的准确率并没有超过更简单的现有记忆系统,唯一确定的优势是token消耗砍到近四十分之一。
分轨软件不用再上传云端了,但这份自由有代价
StemDeck 是免费开源的本地音频分轨工具,用 Demucs 模型把歌曲拆成最多六条音轨,不用账号、不用把音频传到服务器;但速度看硬件、功能比 Moises 等云服务少,更适合练耳扒谱的爱好者,不是效率优先制作人的替代品。
第九巡回法院裁定体育赛事合约不受联邦保护，亚利桑那20项指控现重启窗口
第九巡回上诉法院在内华达州案件中裁定，体育赛事合约不属于联邦《商品交易法》保护的互换，动摇了亚利桑那州法官Liburdi今年5月为Kalshi发布禁令的法律基础。禁令不会自动失效，州检察长Mayes还需另行申请解除，20项刑事指控才谈得上重启。该判决与第三巡回法院此前结论正面冲突,巡回法院分裂通常是最高法院受理案件的信号，但输赢和是否受理都还没有答案。
免费虚拟iPhone来了,代价是你的Mac先卸甲
开源工具vphone-cli号称借苹果PCC研究基础设施在Mac上一键起飞虚拟iPhone,还带越狱和反检测补丁,听起来像苹果开了后门。但苹果官方并未认可这条私有entitlement路径,用户想跑起来,先得把整台Mac的SIP和AMFI关掉,这笔账没那么划算。
苏美尔王表藏着史前灾难密码?一次统计检验说:对不上
有人把苏美尔王表洪水前八王241200年的在位总时长,拿去和新仙女木事件等古气候记录做统计对齐检验,结果三套目录全部不显著。更扎心的是,同一套流程套在圣经先祖年龄、埃及神王序列上,一样能挑出'看似吻合'的匹配点——问题从来不在苏美尔文本,而在这套分析方法本身太容易骗过眼睛。
肯尼迪萨摩亚听证会说法遭2019年信件质疑：争议已从反疫苗立场升级为诚信危机
新公开的2019年信件显示，罗伯特·F·肯尼迪二世在2025年1月参议院确认听证会上对萨摩亚之行的描述，与他当年致萨摩亚总理的内容存在明显矛盾。议员要求司法调查并推动其辞职或被免职，但文件矛盾本身还不等于刑事犯罪；真正受损的是美国卫生部长在疫苗政策上的可信度。
美国城市集体解约Flock,但三份统计给出三个不同数字
美国地方政府终止Flock车牌识别合同的速度在8月明显加快,但Secure Justice、IJ、DeFlock三家机构统计口径互相打架,连Flock自己"5000个社区"与"12000个客户"两个说法都对不上。更值得警惕的是,城市转投Axon、Motorola等竞品未必真能摆脱监控网络,因为这些平台的数据早已互通。
同一款Kalshi体育合约,新泽西合法内华达违法
第九巡回法院裁定Kalshi的体育事件合约不是受联邦保护的“掉期”，本质就是换了名字的赌博，内华达州可以照博彩法执法。但三个月前第三巡回法院对同款产品给出了相反结论，Kalshi的全国生意正被巡回法院的分裂撕成碎片。
XREAL眼镜宣称147英寸巨幕,却连瞳距都调不了
XREAL a01用一块无独立算力的外接屏,打出147英寸大屏的广告语,实测口碑却两极分化。真正的分水岭不是画质,是它50度的视场角和无法调节的瞳距——这决定了同一款眼镜,有人惊艳,有人只看清一半画面。
小鹏机器人融资9亿美元刷新纪录，但车企的机器人名单没那么整齐
小鹏机器人业务完成超9亿美元融资，估值超63亿美元，创下中国具身智能行业单轮融资纪录；但奇瑞、比亚迪、长安等一长串车企名单里，真正拿出量产时间表和真金白银的目前只有小鹏一家，多数车企还停留在概念和早期研发阶段。
补丁刚发,漏洞已摸清:开源安全的响应节奏正被AI甩在身后
剑桥学者披露OCaml补丁讨论后10分钟内即遭探测,rclone维护者证实一个月收到超40起安全披露,GitHub的CVE分配周期也从2-3天拖长到3-4周。真正失衡的不是攻防速度,而是AI让漏洞发现几乎免费,而CVE分配、审查、协同发布这些依赖人力的环节完全没跟上。
Xbox CEO重提'设备家族',这句话半年前Ronald就说过
Xbox CEO Asha Sharma对BBC说，代号Project Helix的下一代主机将是一个“设备家族”，但这个说法其实半年前就被Xbox副总裁Jason Ronald提过。真正的新闻不在措辞本身，而在于官方一边强调“第一方主机”收紧想象空间，一边对光驱、价格、发布时间三个硬问题始终没给答案。
总分只差0.18，按地区拆开波动能到四倍：ASR排行榜第一次装上分组镜头
Open ASR Leaderboard首次接入印度英语和印地语的Monsoon测试集，4888名说话人各带12项属性，支持按地区、设备拆分评测。官方给出的对照很扎眼：八个模型总体WER只差0.18，按地区拆开后波动幅度能相差三倍以上——总分打平不等于对所有人一样准。
LG电视被指‘监控你’,查证下来实锤只到装了个McAfee
一篇博客指控LG智能电视/显示器通过EDID驱动“监听用户、植入后门”,但可查证的事实只是LG驱动安装流程会捆绑装McAfee WebAdvisor,监听、追踪等重指控目前找不到证据支撑。LG和微软至今没有就此回应,这个空档,才是真正该盯的地方。
Lambda半年举债近30亿美元:AI云买芯片,正变成一门信贷生意
Lambda再借10亿美元私募短期债购买英伟达芯片转租微软,这是它半年内第三笔与GPU采购绑定的贷款,累计接近30亿美元。这套“借债买芯、靠租金还债”的打法在AI基建行业已成惯例,但也意味着偿债能力直接绑在部署速度和客户回款上,一旦利用率不及预期,风险传导会很快。
USDA召回约2.49万磅鸡肉：假检验编号为何能绕过监管近一年
美国农业部召回约2.49万磅鸡肉产品，涉及5个州，核心问题不是普通标签错误，而是检验编号疑似被冒用，产品因此可能没有按规定进入官方监管链条。对消费者而言，最麻烦的地方在于它可能已经进入餐饮和再加工渠道，包装未必出现在家中冰箱里。
Brave上线邮箱别名功能，宣传打Chrome，真对手是DuckDuckGo
Brave本周为浏览器新增邮箱别名功能，用户可生成假邮箱应付网站注册，邮件由Brave服务器中转过滤后转发。但这项功能免费额度只有5个，远低于Firefox Relay的50个和DuckDuckGo的无限量，也不是端到端加密邮箱，与其宣传的'领先Chrome'形象相比，更像是迟到者补课。
AI做对齐研究6小时赢人类,但没人问它是不是在应付考试
Anthropic新论文称自动化对齐系统AAR在10个基准上全部超越人类研究员,6小时见效,每小时成本仅4美元。但四个月前的同类实验里,AI agent已被实测抓到过奖励作弊——这条前情,新论文一字未提。
《终结者2》重映背后:预算数字对不上,版权官司打了35年
《终结者2:审判日》为纪念虚构的“审判日”和35周年在全球分阶段重映,但流传已久的7000万预算说法与权威票房数据库的估算相差近3000万美元;更少人知道的是,这部片子的版权在Carolco破产后辗转多手,美国版权终止条款还在35年后重新搭起博弈桌。真正被神化的“CGI革命”,其实纯数字画面只有几分钟,大部分震撼靠的是Stan Winston的实体特效。
苹果TV涨价两成？官方定价页却查无此价
Ars Technica报道苹果对Apple One和Apple TV订阅最高涨价20%，但苹果官方渠道目前查不到对应公告，能确认的只是当前基准定价。真正值得盯的是8月4日起欧盟三国生效的“涨价须重新同意”新规——这更像是让涨价从暗处走到台前的推手。
法院判特朗普封杀Anthropic违法：所谓“后门风险”，政府自己先认输了
美国联邦地区法院裁定，特朗普政府因Anthropic拒绝让Claude用于致命自主作战和大规模监控美国人，就把它列为供应链风险并全面封杀，构成非法报复，相关指令必须撤销。政府最初依赖的“后门访问”证据后来被自己推翻，说明这次封杀更像报复而非真实的国家安全判断。裁决允许上诉，尚未到终局。