最新科技资讯 第28页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 28 页精选文章。
英伟达、微软被曝筹建开放 AI 安全联盟，但关键事实仍待核验
现有材料称，英伟达、微软将与 SpaceX、IBM、Linux 基金会等组建开放 AI 安全联盟，但公告日期被标为 2026 年 7 月，官网、成员名单和技术方案均缺少可核验来源。即使消息最终坐实，它揭示的核心矛盾也很明确：模型护栏可能限制安全团队的实战能力，但没有头部实验室和具体标准，联盟暂时只能算阵营集结。
十一天写完、六周发不出:Bun的Rust重写卡在了哪
Bun团队称借助Claude在11天内、花16.5万美元把核心代码库用Rust重写完并合入主分支,但六周过去仍未发布新版本,待处理的AI生成PR反而从1277个涨到2475个。这说明AI能快速写代码并合并进main,却还没证明能以同等低成本把代码真正交付成可发布、可维护的软件。
43.5%的ChatGPT职业提问，问的是别人那一行的活
OpenAI分析超80万条美国用户对话发现，剔除通用任务后43.5%的职业提问问的是别的职业的活。这不是AI抢岗位的信号，而是任务分工的边界先松动。小公司员工更早顶上这些跨职能的活，大公司这个信号目前还不明显。
月费199美元卖迷因模板,AI广告工具惹上版权官司
菲律宾画师Elmer Saflor起诉AI广告生成器Memes.ai运营方Memes Apps,称对方未经许可把他2017年走红的漫画《Running Away Balloon》做成付费广告模板出售。争议焦点不是AI训练,而是平台能否把网友免费玩梗的迷因原样复制、打包进40至199美元的订阅套餐里卖钱。原作被直接复制是Saflor手里最实的证据,但广告是否真被用过、损失多大,还要等证据开示才能查清。
libsm64 把马力欧封装成库，版权红线仍未挪一步
开源项目 libsm64 把马力欧反编译代码封装成共享库，一个头文件就能接入 Unity、Godot、Blender 等外部引擎。技术门槛被大幅压低，但运行时仍需玩家自备美版 ROM，角色版权仍归任天堂，商用红线没有挪动。适合模组作者和技术实验，团队级商用产品还得先算清版权账。
十二弦吉他的祖先,可能是一把十弦专利吉他
乐器史研究者Gregg Miner找到一件1896年获批的十弦吉他专利,编号568,108,发明人是俄亥俄州的Carl E. Brown。新奥尔良厂商Grunewald同期生产的十弦琴标签上直接印着这个专利号,这条证据链比“墨西哥传入说”“工厂自主发明说”都更实。但十弦怎么变成十二弦,目前还没有直接的制造记录能接上。
英伟达把手术仿真做到160帧实时,但这不是最难的那道题
英伟达发布Cosmos-H-Dreams,把手术机器人仿真从离线录制变成实时闭环,单卡RTX PRO 6000上从10帧提速到约160帧,提速接近16倍。这一步解决的是生成速度,不是动作因果的准确性和仿真到真实的一致性。目前公开检查点只覆盖dVRK桌面缝合,复杂术式和真实组织环境下的表现还没有证据支撑。
月之暗面预告Kimi K3：号称全球首个开源3T模型，却要等八个月才见真容
月之暗面在Hugging Face挂出Kimi K3预告页，状态仍是即将发布，计划2026年7月27日放权重。官方自称全球首个开放3T级模型，但3T是总参数还是激活参数、模型卡、许可证目前全是空白。能不能用要等发布那天见分晓，现在能做的是先看清谁该等、谁该先动手算账。
白宫提词员Kalshi获利10万美元,一位预测市场倡导者的反思
ABC News报道,一名白宫提词器操作员在Kalshi押注总统讲话用词,净赚约10万美元。这促使当年推动预测市场监管松绑的经济学者公开反思:如今Kalshi、Polymarket多数资金押在体育赛事(作者估算,未经独立核实),这套本该聚合公共信息的机制,离最初设想越来越远。
给机器人戴脑电帽,能训出更聪明的AI吗
Encord正给机器人训练数据加脑电波标签,但这只是未经验证的内部小测试,得先过客户机器人模型这一关。真正卡住物理AI的,是密集标注、遥操作、肌电这类现实数据的采集成本,比LLM能白嫖的网页文本贵得多。人形机器人、仓储自动化和精细操作团队,是最先要为这笔账买单的人。
证明代码是C代码的20倍,LLM能省下这笔账吗
一位工程师用LLM辅助在Lean里写出Zstandard解压器的证明,由Lean内核校验通过。真正的看点不是LLM会不会写证明,而是形式化验证能不能从少数人的手艺活变成可持续的工程流程。密码学、编译器这类领域可能先受益,但规格写错、证明维护成本仍是硬边界。
教编程别急着挑语言:一次Forth实验的真复盘
一名程序员用12次、每次1小时的课程教中学生Forth语言,课程顺利完成,学生做出了像素画。但他复盘后承认:栈这种底层结构对启蒙阶段的学生太早,真正管用的是即时反馈和动手试错,不是语言本身。这对编程教师选工具、对家长理解AI时代的技能培养,都是一次值得参照的诚实复盘。
WMO开源：路由、蒸馏、harness串成一条线，降本40%是谁的账
Experiential Labs开源World Model Optimizer（WMO），用企业自有代理轨迹训练路由策略、蒸馏小模型、优化代理harness。官方称能在接近前沿模型质量时降本40%以上，但这只是项目方口径，没有公开基准和第三方复现。真正该测的是轨迹攒得多、调用账单肉疼的Agent团队，调用量小的团队现在跟进未必划算。
《神经漫游者》定档 2027 年：苹果能拍出霓虹，未必拍得出吉布森
Apple TV 在 SDCC 放出《神经漫游者》首支约一分钟预告，Callum Turner 与 Briana Middleton 分饰 Case 和 Molly，剧集将于 2027 年 1 月 22 日上线 Apple TV+。预告目前只能证明制作质感，真正的考题是：苹果能否保住原著对技术、资本与人的锋利追问。
法国消防员首遇火积雨云：野火开始“自造天气”
法国消防员首次遭遇大型野火触发的火积雨云，强风、雷电和飞火让火线变得难以预测。更关键的变化是，法国火场开始出现澳大利亚、加拿大等高风险地区已有先例的极端对流特征，消防策略必须更早转向疏散、轮换和关键设施防守。
换了三次名字的烂片,凭什么被拿来和《房间》相提并论
The Verge 编辑把《Champagne and Bullets》和《房间》《巨魔2》放进同一份'烂到好看'片单。该片曾用名《GetEven》《Road to Revenge》,由 John De Hart 一人身兼编剧、导演、主演。真正撑住观赏性的,是野心、资源、能力、自知四者的严重错位,不是单纯的烂。
苹果智能眼镜推迟近一年，隐私设计能补上偷拍这道题吗
据彭博社报道，苹果首款智能眼镜从原定2027年初上市推迟至2027年6月WWDC亮相、年底发售。苹果据称将采用端侧处理、不做人脸识别，试图避开Meta眼镜的偷拍争议。但这些措施只管数据处理，挡不住旁观者被秘密拍摄，这才是决定产品能否走出小众圈层的关键。
htmx把4.0源码锁进Game Boy卡带，这波是梗营销不是发布公告
htmx官方周边店上架一张25美元的Game Boy卡带，商品页写着打四关、打败Warren解锁htmx 4.0源码。这不是真实的版本发布，是开源项目一贯的自嘲营销。真正该看的是：开发者工具的竞争力，也在于能不能把技术主张做成认得出的梗。
同一段瞄准代码,数据摆法一换,周期从7680降到1980
一份2010年的77页老演讲稿,用一个Bot瞄准案例说明:内存访问延迟差着几百倍,同一段计算逻辑只换数据摆放方式,周期能从7680降到1980,剔除系统改造后更是快3倍、代码量剩1/5。它真正问的不是面向对象对不对,而是内存瓶颈面前,设计该先想数据怎么流动,还是先想对象长什么样。
把细节交给AI,委派和逃避只差一步
博主David Nicholas Williams说,AI能接手细节,但决定交出哪些细节本身就是专业能力,不懂行的人拿到的只是产出不是能力。这条界线,对每天靠AI写文档、写代码、整理会议纪要的人格外关键。
低价AI Token哪来的？一条V2EX帖子牵出的密钥转售链
独立开发者Simon Willison在7月26日的博客里转述了安全研究者Matt Lenhard的调查，线索来自中文论坛V2EX的一个帖子；调查显示部分中继服务靠汇集滥用来的API密钥转卖低价LLM访问；真正的风险不是转售本身，而是公开暴露、没设硬性限额的LLM应用都可能被这条供应链盯上。