最新科技资讯 第64页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 64 页精选文章。
荣耀 Robot Phone 把云台塞进手机：一小时好用，离值得买还很远
荣耀 Robot Phone 在机身背面藏入可展开的云台主摄，The Verge 约一小时上手后给出谨慎好评。它比普通防抖方案更激进，也背上了厚度、耐用、防护和维修成本的机械债；真正的分水岭不是演示效果，而是长期日用能否过关。
更大传感器塞进更小机身?Insta360 X6查无实据
一篇关于Insta360 X6的报道标题写得很具体,却拿不出任何支撑规格,官网和第三方评测目前都查无此机。眼下唯一能确认的,是X5、DJI Osmo 360、GoPro MAX2三台现役机型在传感器、续航、价格上的真实差距。
Delphi免费版跳级到13，5000美元才是真门槛
Embarcadero把Delphi Community Edition从12.1直接跳到13，一次性补齐两年多的语言、IDE和平台升级，看起来很慷慨。但年收入5,000美元、团队5人、单用户许可这几条资格红线一直没动，跳级本质上是一次获客策略，不是慈善。
从一只狗到一家公司：Gamgee的mRNA疫苗证据只有一个病例
Gamgee由创始人给爱犬Rosie定制mRNA癌症疫苗的经历发展而来，已获Y Combinator支持，在澳大利亚招募首批犬类临床试验对象。公司唯一的疗效依据仍是Rosie这一个病例，且她当时同时接受另一种疗法，肿瘤缩小说不清是不是疫苗的功劳。官网写的75%缩小、四周交付都只对应这一个病例，价格、入组标准、伦理审批均未披露。
Fresh放弃九条Linux分发渠道，转投自更新静态二进制
开源终端工具Fresh同时维护Cargo、Flatpak、deb、rpm、AUR等九条Linux安装渠道，用户仍频繁装不上、更新不了；下一版本将把约12MB的静态musl二进制加内置自更新设为默认推荐，九条老渠道保留但退居次要位置。这暴露的是Linux软件分发在安全、兼容、更新与维护成本之间长期缺一个统一答案，静态二进制解决的是分发效率，没有解决签名和信任问题。
2026日全食观测地图：标记很多，不等于直播可靠
一个基于 Leaflet 与 OpenStreetMap 的网页，正在汇总 2026 年日全食沿线的网络摄像头入口。它更像观测索引，不是直播平台；真正决定价值的，是链接能否打开、画面是否实时，以及有人能否持续维护这些信息。
AI编程提速，验证测试公司Blacksmith一年融资估值涨近十倍
Blacksmith一年内B轮融资，估值从6000万美元涨到5.5亿美元，客户数从700多家涨到5000多家。公司说这是AI代码写得越快、验证测试越值钱的证据，但年化收入官方只给了模糊区间，护城河能不能扛住GitHub、Cursor和三大云厂商的内置化竞争，还没有答案。
辱骂完印度总理,他还在按月领Facebook的钱
ABC调查发现,曾对印度总理莫迪辱骂的白人民族主义者Hugo Lennon,以及宣扬白人至上主义的The Noticer、反移民组织March for Australia、反疫苗人物Monica Smit,都在通过Facebook邀请制的Content Monetization计划持续获得分成。这不是算法失控放大仇恨言论,而是Meta以正式商业协议主动挑中并付费购买这些内容,直接戳破了它'不裁判冒犯性'的中立话术。
Reservoir融到800万美元卖热水器，但这条新闻的时间线对不上
波士顿气候科技公司Reservoir宣布完成800万美元种子轮，计划把智能热泵热水器装机量从约100台推向1000台，用储热能力反哺电网。但这套叙事此前已用几乎相同的数字出现过一次，时间点却相差两年，产品核心卖点也缺乏独立验证，真正值得盯的是它自建管道公司这条渠道赌注能不能跑通。
用 Rust 复刻 Mathematica 语法,Woxi 走的是最难的路
Woxi 用 Rust 重写了一个能直接跑 Wolfram Language 语法的解释器，还配齐了浏览器 WASM 演练场、命令行、Jupyter kernel 和原生笔记本编辑器一整套工具链。它跟 SymPy、Maxima 这类开源替代品最大的不同，是敢直接复刻语法本身而不是另起一套——但兼容深度、社区反馈、官方回应目前都还没有可核实的信息，这才是它能不能走远的真正变量。
OpenAI宣称解出十大数学难题，高尔斯给出一个更冷静的判断
2026年8月，OpenAI宣布其系统解决十个数学与理论计算机科学难题，包括非-sofic群构造和多色拉姆齐数增长证明，但这些成果尚未见到数学界完成同行评审或独立复核的公开记录。剑桥数学家高尔斯指出，这些成果大多是反例或构造型结果，不能据此断定LLM已全面超越人类数学家。他认为真正的限制在于问题的推理结构，而不是命题能否被改写成寻找反例的逻辑外壳。
牛肉奶制品占农田生物多样性损失41%，地图才是这篇新论文真正的发现
莱顿大学联合牛津、中国农业大学的新研究发现，全球农田造成的碳损失和生物多样性损失中各有三分之二挤在同一块地上，牛肉奶制品贡献了其中41%的生物多样性损失。真正的新闻点不是“吃肉不环保”的旧结论，而是这次首次把气候账本和生物多样性账本叠在了同一张地图上，同时论文刚发表数天，还缺乏独立复核。
500种新材料,AI只造出了1个
YC初创公司Discovered Materials用一个长周期基准测试了7个前沿模型的材料发现能力,结果它们算出了500多种理论上合格的新材料,但只有1种被判定有可行的实验合成路线。这个反差比数字本身更值得琢磨。
11个卡住的Agent标签页,揭穿了AI'越用越快'的错觉
科技博主Brent Fitzgerald休假归来,发现电脑里堆着11个卡在半途的Claude agent,由此反思自己长期依赖AI的习惯。METR的受控实验数据显示,这种'AI必然提效'的默认叙事本身就站不住脚:经验开发者用AI反而慢19%,却自认为快了20%,落差高达39个百分点。
llama.cpp 换了官网，命令却对不上文档
llama.cpp 上线新官方主页 llama.app，主打与本地coding agent Pi 的一键集成和跨全硬件的统一二进制，但主页命令`llama serve`与GitHub官方文档的`llama-server`对不上号。这更像一次尚未完全理顺的门户化动作，也暗示项目想从消费级本地推理工具，往企业和数据中心场景延伸。
datasette-upload-dbs 0.5a0：生产库切换有了正式API，可靠边界还没验证
Datasette插件datasette-upload-dbs更新到0.5a0，新增带Bearer Token鉴权的正式API，可以原子替换托管实例里的SQLite数据库。这次升级换的是发布流程自动化，不是数据库能力本身，仍然只支持整库替换，不支持增量写入。文件大小、并发处理、回滚机制官方都没说清楚，生产环境接入前最好自己先测一遍。
Yulu融资9300万美元扩军20万辆，老股东为何集体缺席这轮
印度电动车订阅公司Yulu拿下9300万美元融资，要把车队从5万辆扩到20万辆，但这轮所谓「Series C」和2022年Magna领投的8200万美元同名轮次说法冲突，老股东Bajaj Auto和Magna全部放弃认购权，收入七倍增长也不给具体数字。车队故事讲得漂亮，账目细节却留了不少空白。
礼来称鲎血检测已替代80%,但这只是一个技术评估数字
礼来宣称已用实验室合成蛋白替代80%的鲎血内毒素检测,但这个数字实际是内部技术可转换性评估,并非替代进度或监管认证比例;与此同时马萨诸塞州鲎种群'回升'的说法也缺乏联邦层面的权威背书,配额博弈仍在继续。
Saber否认AI替代编剧，但声明里那句“必然”才是破绽
《Rideshare “Stimulator”》主笔Stella Sacco指控被ChatGPT替代，Saber Interactive CEO Matthew Karch否认，称故事“完全由真人撰写”，只有一个“实验性免费模式”因乘客无限而必须用AI。这两句话看似矛盾却能同时成立，问题出在Steam生成式AI披露政策本身留出的空隙，而不是谁在说谎。
纽约索赔360亿美元,CFTC却下令Kalshi继续运营
纽约州7月31日起诉预测市场平台Kalshi,要求全美禁售其事件合约并索赔逾360亿美元;CFTC8月11日动用紧急权力,下令Kalshi按《商品交易法》核心原则继续运营。这不是法院对Kalshi合法性的最终认定,而是联邦衍生品监管权与各州博彩执法权冲突的一次集中爆发。
AI改写文字有12种“走样”方式，只有一种没人管得住
工程师Sophie Alpert提出“自然语言不存在无损转换”，要求团队为AI辅助改写的每句话负责，Simon Willison转发后引发讨论。学界确有可分类、可测量的“语义漂移”研究支撑这一直觉，但把它当绝对命题站不住脚，真正的漏洞是语用与立场层面的漂移几乎无法靠指令压制，Alpert的政策实质是把这部分风险转嫁给了人类审阅者。