最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
人类天生睡得短，但别让进化替熬夜背书
跨物种比较和狩猎采集社会研究都提示：人类本来就是睡眠较短、睡眠效率较高的灵长类，工业文明并非睡眠缩短的唯一原因。真正的问题是，现代生活保留了短睡，却拆掉了稳定光照、群体作息和充分恢复这些条件；这套进化解释能纠正误解，不能替熬夜开免责证明。
伦敦超低排放区五年答卷:儿童肺功能受损比例从14%降到9%
伦敦超低排放区实施四年后，一项追踪3400多名小学生的研究显示，伦敦儿童临床肺功能受损比例从14%降到9%，追赶速度明显快于污染较轻的对照城市卢顿（9%降到7%）。这是目前证明清洁空气区能改善儿童肺功能的较强现实证据之一，但研究非随机对照，新冠、出行方式变化等因素仍可能干扰结论，两地空气质量也仍未达到世界卫生组织标准。
ChatGPT广告杀入欧洲31国:免费用户先看广告,付费用户继续清净
OpenAI下周把ChatGPT广告扩展到欧洲31个国家,Free和Go用户开始看到广告,Plus、Pro、Enterprise继续无广告。半年时间从美国试点做到全欧洲最大规模扩张,商业化速度明显加快,但广告不影响答案、不出售数据这些承诺,目前都只是OpenAI单方面的设计原则,还没有独立验证。
陶哲轩牵头的Palomar开放提交：Lean证明有了登记处，但不是期刊
Palomar登记处2026年8月开放提交，用固定commit快照+机械类型检查+LLM语义匹配给Lean证明形式化项目做登记，陶哲轩已提交自己的Sendov猜想证明形式化作为测试案例。它能核验代码有没有说谎，不能替读者判断结果是否重要、是否通过同行评审。
无账号无遥测的Logitech鼠标驱动,还有124个issue没关
OpenLogi是一款用Rust写的开源鼠标驱动，本地优先、无账号无遥测，直接对标Logitech官方软件Options+；但GitHub仓库显示项目仍有124个未关闭issue、issue创建功能受限，Windows版还曾出现安装程序退出的问题，说明它离“能放心日用”还有一段距离。
30倍推理不是重点，Cerebras真正想卖的是机房交付能力
Cerebras发布机架级系统CS-4，官方称推理速度最高达生产级GPU系统的30倍，部署时间从数天压到数小时。数字漂亮，但官方口径缺型号、缺价格、缺功耗绝对值，能不能按时按量交付才是真考验。
37%美国劳动者实际工资四年缩水，元凶是企业的固定加薪规则
芝加哥大学与ADP用每月约1600万人的行政工资数据发现，2021-2024年37%美国劳动者实际工资下降，始终留在同一雇主的人群比例更高达43%，下降者平均损失约9%。论文判断根源不是通胀本身，而是企业沿用疫情前2%-4%的固定加薪规则，没能及时跟上物价，缺口通胀退潮后也没自动补回来。
不用下载671B权重，也能看清一个模型的骨架
modelmap.cc 靠meta-device实例化和fake forward追踪，不下载权重就能画出Hugging Face模型的结构图，覆盖dense、MoE、编码器、视觉语言模型并支持双模型对比。它能省下研究者和工程师翻源码、比架构的时间，但看不出显存开销、推理速度和生成质量，也不是对任意仓库都无条件生效。
静态二进制直借宿主GPU驱动,业界判了'不值得做'的活谁在跑通
开源项目SoLo让musl静态编译的Linux程序,运行时直接借用宿主机glibc链接的GPU驱动,不靠容器也不靠AppImage。这条路业界长期认为技术上不值得做,SoLo用自建CI跑了2100多个库当证据,但独立验证和几个关键缺口目前都还没有答案。
同一个NVIDIA,OpenAI讲了两个不一样的AI奇迹故事
OpenAI发布NVIDIA员工用ChatGPT提效的案例,称GTM策略师每周省16小时、解决方案架构师原型周期从三周缩到三五天;但同一官网上还挂着另一份关于NVIDIA的案例,主角是四万名员工和十倍提速,两套数字体系互不重叠。这更像是企业AI案例研究这门生意的通病:挑亮点讲故事,谁都没交独立审计的作业。
12发拦截弹挡不住无人机蜂群：俄军新护盾Arena-M实战首秀喜忧参半
俄军新型Arena-M主动防护系统7月在顿涅茨克首次参战，拦下了部分来袭无人机，但仍未能阻止乌军FPV无人机摧毁多辆坦克。这套为拦截导弹设计的硬杀伤系统，遇到慢速、绕后的无人机暴露出尾部无雷达、拦截弹只有12发等结构性短板，而这也是Trophy、Iron Fist等同类系统共同悬而未决的难题。
3.45亿美元拨款，只有1500万美元进项目：AHRQ被削到生死线
特朗普政府任内，AHRQ约75%的人员流失，逾100项、总额超过2.5亿美元的研究资助被取消；2026财年国会拨款3.45亿美元，截至2026年8月仅约1500万美元进入资助项目。真正值得警惕的不是一次削支，而是行政部门能否通过裁员、停拨和撤项，让国会已经授权的医疗研究能力失去实际作用。
6.39MiB 的编程 Agent,Vercel 没把账算全
Vercel Labs 发布用 Zig 写的极简编程 Agent CLI fx,官网标榜 6.39MiB 体积和 10 微秒冷启动,但 GitHub 主分支实测是 7.8MiB,且沙盒防护仅 macOS 完整可用。轻量是真的,能不能直接拿去生产用,还差得远。
AI代码没版权?那份被包装成commit的判例,其实还没判完
whoownsthecode.com用git commit的视觉包装把两个判例说成已经钉死的规则,断言纯AI生成代码不可版权、企业投入打了水漂;但细看会发现一个判决刻意留白、另一个仍在二审,法律留给企业的操作空间比这个网站暗示的大得多。
668个真实神经元，趴在了你的Mac桌面上
开源项目DesktopFly用FlyWire果蝇连接组里668个神经元、约1.9万条真实突触，做出一只会走路、理毛、见光逃跑的桌面果蝇；真实的只是布线，放电动力学、感知转换和身体动作全是作者补的模型；它更像一个可交互的连接组解释器，不是数字生命。
GLM-5.3的「60分」,评测机构自己还没打
GLM-5.3被传拿下Artificial Analysis智能指数60分,但该机构官网上这个模型的页面其实是空的,只有方法论模板,没有一个真实数字。Z.ai自己晒出的编程和网络安全类跑分确实猛涨,但这和模型是否更可信、幻觉率有没有改善是两回事。上一代GLM-5.2的确切分数是51分、每任务成本0.69美元,是目前唯一可核实的参照系。
Mojo编译器开源了，但打包产品还没跟上
Modular在Mojo 1.0发布一周后开源了编译器和工具链，用的是Apache 2.0 with LLVM Exceptions许可证，兑现了三年前的承诺。但真正能直接跑起来的Modular SDK和MAX发行版仍受商业许可证约束，'开源'与'免费商用'是两件事。
GitHub宕机当天，Cursor亮出的Origin只是个候补名单
GitHub在同一天遭遇全球性宕机，Cursor顺势推出对标平台Origin，但后者眼下只是仅限候补名单的早期beta，离“正面开战”还很远。真正该盯的是Origin把代码、密钥、CI和AI agent权限捆在一起后的集中化风险，以及它在数据可迁出性上明显落后于GitLab、Codeberg的透明度缺口。
近4万人的晋升研究戳破呆伯特原理：烂经理不是故意选出来的
呆伯特原理说公司故意把无能者塞进管理层以减少损害，但一项覆盖131家公司近3.9万名员工的实证研究显示，现实更像是彼得原理式的标尺失灵——公司拿当前业绩预测管理能力，选错了尺子而非选错了人。管理层从来不是损害的无害区，一个差劲经理能把损害放大到整个团队。
迪士尼起诉FCC:官方文件里,没有金梅尔三个字
迪士尼将FCC和主席Brendan Carr告上联邦法院,要求叫停对ABC旗下8家电视台的提前执照审查。真正的看点不是时间线巧合,而是FCC正式命令从未提及金梅尔事件,官司的胜负手落在迪士尼能否把'DEI调查'实锤为报复借口。
Starship漂了24天没解体，SpaceX却还不敢说打捞成功
SpaceX把在印度洋漂了24天的Starship上面级Ship 40拖到了澳大利亚圣诞岛附近的平静海域，但这既不是真正入港，也不代表复用能力已经成熟——这更像一次计划外的工程抢救，目的是拿回隔热瓦和发动机的实物样本，而不是验证一条常规化的海上回收路线。