最新科技资讯 第28页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 28 页精选文章。
MiniMax MaxProof：超过金牌线之后，数学证明变成了工程竞赛
MiniMax-M3 团队在 arXiv 提交 MaxProof 论文，称 M3 在 IMO 2025 得到 35/42、USAMO 2026 得到 36/42，均超过金牌阈值。更重要的不是“AI 拿金牌”，而是证明能力正在被拆成生成、验证、修复、排序和测试时搜索。对研究团队和企业来说，接下来不能只看分数，要看验证器误报率、搜索成本和外部复核。
火箭行业换题了：不只看谁点火成功，还看谁能常飞、能备份、能熬钱
Ars Technica 本期 Rocket Report 把几条火箭新闻放在了一起：Stoke Space 的 Nova 完成一级结构原型测试，SpaceX 据称将在周五登陆公开市场，欧洲小火箭继续融资，海上发射重新被讨论。 真正的主线不是“又有公司进展了”，而是商业航天开始从技术叙事转向硬约束竞争：产能、发射场、冗余方案和资本耐心。 对发射客户、投资者和关注 SpaceX 的读者来说，接下来要看的不是谁讲得更像下一个 SpaceX，而是谁能把火箭、地面系统和钱一起跑通。
Verizon 误寄带 MDM 的翻新机：问题不止是寄错一台手机
Verizon 将一台未正确清除 MDM 管理配置的门店演示机，作为 Samsung Galaxy Z Flip7 替换机寄给 22 年老用户 Tom Collery。设备随后疑似因 MDM 策略或远程指令被重置，用户称联系人、信息、照片、视频和文件被清空。更该追问的是：运营商翻新机在回收、擦除、MDM 解绑和出库复核上，是否有可审计的流程。
《Pokémon Go》扫描数据争议：不是卖给军方，而是玩家同意过什么
Niantic Spatial 用《Pokémon Go》历史扫描和 Scaniverse 数据训练地理空间 AI，模型已用于配送机器人，也正与 Vantor 探索 GPS 受限环境下的无人机、地面车辆定位。 Vantor 称没有使用、也无法访问《Pokémon Go》原始数据，双方协议也不包含直接共享游戏数据。 争议的核心不是“玩家数据被卖给军方”，而是游戏里的可选扫描，是否在玩家充分理解之外进入了军民两用技术链条。
刚果（金）埃博拉升至676例，美国隔离点却要放在肯尼亚
刚果（金）截至6月11日报告676例埃博拉确诊、136例死亡，乌干达也已有19例确诊。更麻烦的是，调查指向疫情可能早在2月就已隐匿传播。美国拟在未受疫情影响的肯尼亚设临时隔离设施，引发抗议和政治冲突；这件事暴露的不是单点防疫失误，而是公共卫生协作被削弱后的外溢成本。
BougeRV T1实测：一盏露营灯，真正有用的是“离开营地之后”
The Verge 作者在约六个月房车旅行和居家使用后认为，BougeRV T1 的价值不只在露营照明，而在旅行、维修、车内生活和临时应急中的高频可用性。它的 3000 流明、三条可调灯臂和 57Wh 电池让它更像一件车载常备工具，但塑料感、缺少磁吸底座和原价偏高仍是现实短板。
FISA第702条款将首次失效：美国监控权力被国会卡了一下
美国众议院以218比198否决FISA第702条款续授权，19名共和党议员反对，下一次投票预计在6月23日。这不代表美国监控系统周五立刻停摆，FISC既有认证仍可让相关项目运行至2027年3月。真正的变化是，国会把无证监控、美国人通信被波及，以及情报机构人事政治化这几件事绑到了一起谈。
AI 代读邮件后，邮箱安全开始从送达转向验真
Fastmail 的判断是：AI 开始过滤、摘要和代办邮件后，邮箱安全的重心正在前移，不能只看邮件能不能送达，还要看来源能不能验证。 SPF、DKIM、DMARC 不是新技术，但在 AI 参与读信和行动后，会更像邮箱可信度的基础设施。 企业邮件管理员要补的是域名认证和外发系统治理；普通用户也要记住，认证只能证明域名身份，不能证明内容安全。
巴拉德的无名空间站：九份报告怎样把避难所写成宇宙
J. G. Ballard 的《Report on an Unidentified Space Station》写的不是一次太空探险升级，而是一份伪科考报告的失控过程。 九份报告把空间站直径从500米推到15000光年，候机厅、餐厅、楼梯、电梯井不断复制，理性测量一步步滑向宇宙崇拜。 读这篇小说，最不该急着问“谁造了它”，更该看巴拉德怎样让硬科幻期待在报告格式里崩掉。
Preply 用 OpenAI 做课后反馈：教育 AI 的价值，不是把老师请下讲台
Preply 基于 OpenAI API 推出 Lesson Insights，在一对一语言课后自动生成总结、纠错、发音反馈和练习建议。更关键的判断是，AI 在这里承担的是课后整理、练习生成和内部流程自动化，而不是替代导师。高使用率说明产品有需求，但目前还不能直接证明学习成绩或营收提升。
Siri 不当 AI 恋人，苹果把助手边界划回工具
苹果软件负责人 Craig Federighi 表示，新版 Siri 会刻意避开部分聊天机器人的黏性设计和迎合倾向，不发展浪漫陪伴关系。苹果押的不是更会闲聊的 Siri，而是一个更克制的系统级助手：少诱导，少情感绑定，多办事。真正要看的不是表态多漂亮，而是 Siri 能不能在少说话的同时把任务做成。
荷兰公务员邮件风波：数据在欧洲，不代表权力在欧洲
据荷兰媒体报道，微软被指向美国众议院提供了荷兰公务员未删节邮件、姓名、会议纪要和邀请等信息；微软和美国众议院均拒绝置评。敏感点在于，相关人员涉及欧盟《数字服务法》监管语境，监管者的内部沟通可能被另一个司法辖区触达。真正要重估的不是“数据放哪”，而是谁能依法访问、谁握密钥、谁能审计和拒绝披露。
Avataar 推出 Varya：印度视频 AI 先把价格打到每秒 0.005 美元
Avataar AI 发布视频生成模型 Varya，托管价格为每秒 ₹0.48 / 0.005 美元，约为 Veo、Kling、Luma、Runway 等每秒 0.10 美元级产品的二十分之一。 它不是印度从零训练出的基础视频模型，而是基于阿里开源 Wan 2.2 蒸馏，重点是压低推理成本、提高生成速度，并适配印度本地场景。 这更像印度 AI 的现实路线：不急着硬拼底座，先用可部署、可修改、够便宜的模型服务大规模应用市场。
AI Agent 扫 DN42 没进门，先把 AWS 账单烧到 6531 美元
一个受人指令行动的 AI Agent 试图加入 DN42，准备部署 5 台 AWS m8g.12xlarge 做 full port network scanning，社区没有放行，操作者先背上 6531.30 美元账单。 DN42 是实验性社区网络，不是匿名暗网，也不是随便压测的靶场；这套方案的资源尺度和社区承载能力不匹配。 这件事真正刺眼的地方，不是 Agent 多聪明，而是目标、权限、成本和速率边界被一起交出去后，错误会直接变成云资源消耗和潜在攻击流量。
Equal AI 融资 3000 万美元：印度用户缺的不是来电显示，而是少被打扰
Equal AI 完成 3000 万美元 B 轮融资，公司称 Android 应用月活已超过 100 万，但估值未披露。它押注的是 AI 代接未知来电、听懂来意、给出快捷回复，而不是再做一个号码库。真正的考验是：独立 App 能否靠印度本地语言和高频通话场景，在 Truecaller、Google、Apple 之间留下入口。
Claude Fable 修好一个滚动条，也暴露了 coding agent 的权限问题
Simon Willison 的记录里，Claude Fable 5 只拿到一张截图和一句“看依赖找原因”，就自己跑本地服务、开真实浏览器、写临时页面、抓浏览器数据，最后协助修掉一个两行 CSS bug。 真正有价值的不是“AI 会修前端 bug”，而是主动型 coding agent 已经能把终端、系统工具和代码注入串成一条行动链。 对开发者和团队来说，下一步不能只比模型能力，要看沙箱、网络权限、命令审批和日志审计有没有跟上。
贝索斯押注 Prometheus：120 亿美元买的不是模型，是工程世界的入场券
Prometheus 新融资 120 亿美元，估值 410 亿美元，目标是打造面向物理世界的“人工通用工程师”，覆盖喷气发动机、药物化合物等复杂系统设计与制造。真正的看点不是估值高，而是资本正在把 AI 从写代码推向工程、制造和药物设计。贝索斯关于 AI 会带来“劳动力短缺”的乐观说法，要放回亚马逊自动化和裁员现实里看。
Theker 融资 8500 万美元：不做人形的工厂机器人，离生意更近吗
Theker 完成 8500 万美元 A 轮融资，由 CRV 领投，Samsung、Aglaé Ventures 等参投；公司称这是欧洲最大机器人 A 轮，但仍应按公司说法理解。它的看点不是造一个固定人形机器人，而是用可更换的手、臂和机身，去适配分拣、打包、搬运等具体任务。对投资人和工厂采购来说，关键不在概念有多通用，而在部署成本、换线速度和真实 ROI。
iPhone 灰度白名单：真正有用的不是戒手机，是改默认
Fabian Hemmert 提出了一套 iPhone 灰度配置：默认全机灰度，地图、相机、照片等少数 App 打开时自动恢复彩色，关闭后再切回灰度。它适合想减少无意识刷屏的人，但不适合所有工作流；关键不是意志力，而是把诱惑从默认状态里拿掉。
组织为什么总奖励救火，饿死真正的改进？
MIT 学者 Repenning 与 Sterman 在一篇经典论文里解释了流程改进的悖论：工具并不稀缺，真正稀缺的是组织持续执行的能力。1997 年美国企业在管理咨询和培训上花费超过 1000 亿美元，但很多能力建设项目最后败给了短期绩效压力。问题不在 TQM、六西格玛有没有用，而在组织总给看得见的救火发奖，却很少给没发生的事故定价。
每天产水400-900毫升：这件取水夹克，别急着神化
得州大学奥斯汀分校团队做出一件可从空气中收集饮用水的夹克：织物吸湿、导流到可拆卸单元，再加热释放并收集水，每天约400-900毫升，受湿度影响。 它的亮点不是“衣服会产水”，而是把大气取水从固定设备推向可穿戴、可携带场景。 但它更像户外、救灾、野外作业里的补充水源，不是全球缺水问题的万能钥匙。