🤖 人工智能
GPT-5.6 Sol Ultra 成功证明数学界“循环双覆盖猜想”
来源：Hacker News | 原文链接
💡 这表明 AI 在纯数学理论证明这类需要极高逻辑推理的领域正取得突破性进展，而不仅仅局限于辅助编写代码。
最新的 GPT-5.6 Sol Ultra 模型生成了一份证明数学界著名“循环双覆盖猜想”（Cycle Double Cover Conjecture）的 PDF 文档。此项进展显示了大型语言模型在解决深奥拓扑学和图论问题上的潜力。该突破被学术界广泛关注，可能代表着人工智能在纯数学推理领域的重大飞跃。
OpenAI 将于 8 月下线 Atlas 浏览器，功能并入 ChatGPT 客户端
来源：Engadget | 原文链接
💡 将浏览器功能整合进 ChatGPT 表明 OpenAI 正在收缩非核心独立软件产品线，转而专注于提升主站应用的生态壁垒。
OpenAI 宣布将在今年 8 月 9 日正式停止维护其旗下的 Atlas 浏览器项目。这并不是 OpenAI 浏览器战略的失败，而是该项目随着全新的“ChatGPT Work”发布，整体合并到了 ChatGPT 官方客户端及 Chrome 浏览器插件中。未来，OpenAI 将通过更整合的 AI 工作流工具来代替独立的浏览器入口。
OpenAI 与谷歌绕道向美国黑名单上的中国企业提供 AI 服务
来源：FT中文 | 原文链接
💡 科技巨头在商业利益与地缘政治红线之间反复游走，展示了人工智能技术全球化流动的复杂博弈。
据英国《金融时报》报道，尽管美国政府对中国科技巨头实施了严格的出口管制与实体清单限制，但 OpenAI 和谷歌等美国企业仍在向阿里巴巴、百度和腾讯设在新加坡的子公司提供人工智能模型服务。这三家科技巨头均已被美国国防部列入黑名单。这一做法引发了外界对于美资科技巨头是否在利用海外子公司漏洞绕过华盛顿制裁的质疑。
💰 财经
恒瑞医药回应“双艾”组合第三次遭美国 FDA 延迟批准
来源：Readhub | 原文链接
💡 中国本土创新药出海并非易事，监管审批细节的博弈将是国内药企出海面临的长期挑战。
恒瑞医药收到美国 FDA 关于卡瑞利珠单抗联合阿帕替尼（双艾组合）用于不可切除或转移性肝细胞癌一线治疗申请的完整回复信（CRL），这是该疗法第三次被延迟批准上市。恒瑞医药回应称，此次延迟并未涉及产品的临床数据、安全性或有效性问题。公司重申国际化是其长期战略，将继续与 FDA 沟通后续的申报计划。
美团回应多业务线裁员传闻：近两个月离职员工不到 2000 人
来源：Readhub | 原文链接
💡 裁员风波与亏损数据折射出互联网巨头在核心业务上面临的增长瓶颈与降本增效压力。
针对近期传闻的美团多条业务线及核心部门集中裁员、甚至涉及转岗和 N+1 赔偿的情况，美团官方作出回应。美团表示，近两个月实际离职员工不到 2000 人，占公司整体员工比例并不高。根据美团 2025 年财报显示，其员工总数超 11 万人，全年净亏损达到 234 亿元，核心本地商业板块面临较大经营压力。
校园社交应用 Fizz 起诉风投机构向竞争对手泄密
来源：TechCrunch | 原文链接
💡 风投“套取信息”转给竞品的现象在行业内并不罕见，这起官司可能促使初创企业在融资谈判时更加注重保密条款的执行。
专注于校园社交的应用程序 Fizz 在针对竞争对手 Sidechat 的不正当竞争诉讼中提交了新证据。Fizz 指控风投机构 Maveron 的投资人 Jerry Lu 假借探讨投资合作的名义与 Fizz 会面，实则在获取商业机密后转手泄露给了其竞争对手 Sidechat。此举引发了外界对风险投资人在获取早期初创公司非公开信息时应承担何种职业道德和法律义务的广泛讨论。
韩国半导体巨头 SK 海力士在美上市，募资达 265 亿美元
来源：TechCrunch | 原文链接
💡 AI 算力大潮下，存储芯片成为了不输于英伟达 GPU 的黄金赛道，SK 海力士的上市也是资本市场对 AI 硬件产业的巨大押注。
南韩内存芯片巨头 SK 海力士（SK Hynix）通过在美国发行美国存托股份（ADR），成功募集资金达 265 亿美元。此举打破了 2014 年阿里巴巴创下的记录，成为美国证券史上规模最大的外资企业 IPO。在人工智能热潮带动的 HBM（高带宽内存）需求爆发下，SK 海力士在美股首日交易中大涨，市值进一步飙升。
票务平台 StubHub 首席执行官被指资助黄牛倒卖自家门票
来源：Engadget | 原文链接
💡 裁判下场当运动员，平台高管亲自出资支持黄牛囤票，将二级票务市场的暴利黑幕暴露无遗。
加拿大广播公司（CBC）的一项调查披露，大型票务二级交易平台 StubHub 的首席执行官 Eric Baker 实际上是投资基金 Andro Capital 的联合合伙人兼董事总经理。该基金的主要业务是为大型黄牛党提供数百万美元的资金支持，帮助他们大量囤积门票并在 StubHub 平台上加价抛售。该利益冲突事件引发了公众对于 StubHub 平台纵容甚至主动推高演唱会和体育赛事票价的强烈质疑。
销售“归零”后，歌礼制药全面押注减重药赛道
来源：FT中文 | 原文链接
💡 一家制药公司主动或被动将原有销售线清零并全盘孤注一掷于减肥药，是当下医药行业极度内卷与创新药出海遇阻的缩影。
港股上市公司歌礼制药旗下的两款核心丙肝治疗药物于 7 月 1 日正式退出国家医保目录，这标志着该公司原有的主要药品销售业务几乎陷入“归零”境地。面对生死存亡，歌礼制药宣布将全面转型并押注当下最火热的减重药（减肥药）赛道，试图通过研发新型减重候选药物实现绝地反击。然而，减重药市场目前竞争已极度白热化，歌礼能否突围仍是未知数。
🌍 时政
纽约市成为全美首个禁止诱导性订阅退订行为的城市
来源：Hacker News | 原文链接
💡 全球消费者深受“自动续费、退订难”的困扰，纽约此项立法迈出了整治订阅乱象的关键一步。
纽约市宣布将从2026年10月1日起实施全新的“一键取消”规则，成为美国首个立法禁止诱导性订阅服务的城市。该法案强制要求企业为消费者提供简单、快捷且无障碍的订阅退订通道。此举旨在整治商家通过复杂步骤和隐藏条款强行挽留用户的“黑暗设计”行为。
欧盟责令 Meta 整改旗下社交平台的致瘾性功能
来源：Readhub | 原文链接
💡 在保护青少年免受社交媒体沉迷方面，欧盟正通过强力法案将监管大棒精准砸向硅谷巨头。
欧盟委员会初步认定 Meta 旗下的 Instagram 和 Facebook 违反了《数字市场法案》。监管机构指出，其“自动播放”、“无限滚动”以及 Reels 和 Stories 等功能具有极强的致瘾性，而现有的防沉迷与家长控制工具效果不佳。欧盟责令 Meta 限期进行整改，否则将面临最高达其全球年营业额 6% 的巨额罚款。
美国 FCC 严查规避无人机禁令的中国大疆相关技术
来源：The Verge | 原文链接
💡 美国对中国高科技企业的打压已经延伸到防止其通过“马甲”或贴牌等方式绕过禁令的细微层面。
美国联邦通信委员会（FCC）正在对八家涉嫌帮助大疆（DJI）规避相关禁令的实体展开联合调查，并计划取消一家位于中国的授权测试实验室的资质。此前，大疆通过与第三方品牌的合作（如搭载大疆技术的其它硬件设备）来规避美国对中国无人机及摄像技术的封杀政策。FCC 此举意味着美国在打击大疆及其供应链规避制裁方面正进一步收紧政策。
美法官裁定 Atlassian 因员工反对裁员而将其非法解雇
来源：TechMeme | 原文链接
💡 这一裁决为科技行业员工在面对公司重组和裁员决策时发表反对意见提供了法律保护先例。
美国国家劳动关系委员会（NLRB）的一名法官作出裁决，认定软件巨头 Atlassian 在 2023 年解雇一名员工的行为违反了劳动法。该员工当时因公开反对公司针对经理层进行的裁员计划而遭到解雇。法官已责令 Atlassian 必须恢复该员工的职位，并对其进行相应的经济补偿。
多国降低刑事责任年龄，少年犯罪起诉年轻化引发争议
来源：The Economist | 原文链接
💡 降低刑责年龄是法治与社会治理的复杂课题，如何在惩罚犯罪与青少年挽救之间取得平衡值得深思。
部分国家政府正通过降低法定刑事责任年龄以应对青少年犯罪。然而《经济学人》指出，这种强硬政治举措可能带来相反的效果。研究表明，过早将青少年送入司法系统不仅无法有效遏制犯罪，反而可能使年轻人在监狱中交叉感染，断送其重返社会的可能。
防范特朗普政策风险：台湾试图用半导体产业进行制衡
来源：The Economist | 原文链接
💡 半导体不仅是工业粮食，更已完全成为决定地缘政治安全的“盾牌”与筹码。
《经济学人》报道分析了盟友如何应对未来特朗普可能重新执政带来的政策不确定性。以台湾为例，其正试图通过其在半导体代工产业的绝对垄断地位，将其作为制衡和“要挟”特朗普政府维持安全承诺的筹码。然而，这种将核心科技产业作为政治博弈手段的做法也伴随着巨大的产业链转移压力和信任风险。
伊朗最高领袖未出席父亲葬礼，权力真空传闻再起
来源： | 原文链接
💡 中东局势本就动荡，伊朗最高权力的潜在更迭随时可能成为引爆地区冲突的新火药桶。
伊朗最高领袖阿亚图拉·阿里·哈梅内伊（以及其子莫杰塔巴·哈梅内伊）罕见地缺席了本周举行的葬礼，这在伊朗政坛引起了巨大的震动和对其身体状况的猜测。目前伊朗国内面临着严重的政治分裂和经济危机，最高领袖的缺席进一步加剧了高层权力接班的真空与不安。外界正密切关注该国神职统治阶层内部可能出现的权力博弈。
联合国报告：发展中国家偿还外债支出已超过教育投入
来源：Guardian | 原文链接
💡 教育投入的萎缩将导致全球贫困链条的恶性循环，主权债务重组已刻不容缓。
联合国教科文组织发布的最新报告显示，许多发展中国家正面临严重的债务危机，其用于偿还国外债务的资金远超对本国教育的投入。在撒哈拉以南非洲地区，去年各国在债务偿还上的支出是教育支出的 3.6 倍；全球有 113 个国家的儿童因债务利息支付而失去受教育机会。报告指出，这种以牺牲下一代前途来偿还债务的模式正在拉大全球的贫富差距。
尼日利亚政府总部内惊现运行多日的“虚假联邦机构”
来源：Guardian | 原文链接
💡 假机构开进政府大楼还能拿到财政预算，这荒诞的现实再次揭示了部分国家行政监管的漏洞之深。
尼日利亚总统博拉·阿哈迈德·提努布下令紧急调查一起荒谬的贪腐事件：一个完全虚构的“联邦机构”竟然成功在政府总部内设立办公场所，甚至获得了国家财政拨付的资金。这起事件在尼日利亚国内引发了轩然大波，舆论纷纷谴责政府内部审核机制的彻底失效与根深蒂固的贪腐风气。
瑞安客机飞行中客舱窗户脱落，乘客险些被吸出舱外
来源：BBC World | 原文链接
💡 窗户脱落这种本应在起飞前排除的隐患，给全球廉价航空的日常维护和安全监管敲响了警钟。
在一架瑞安航空（Ryanair）客机飞行途中，客舱的一扇窗户突然发生移位和脱落，导致舱内瞬间失压。据现场乘客描述，一名坐在窗边的男子险些头朝下被巨大的气流吸出窗外。飞行数据表明，飞机在起飞 10 分钟后紧急从 9000 英尺高度陡降，最终安全迫降，事件未造成人员死亡。
📰 科技
开源项目 QuadRF 实现穿墙侦测 WiFi 与无人机追踪
来源：Hacker News | 原文链接
💡 开源硬件能力的跃升再次提醒我们，个人隐私与安全的物理界限在射频技术面前正变得越发脆弱。
QuadRF 是一款基于树莓派 5 和 FPGA 板卡构建的开源相位阵列无线电系统，具备皮秒级的时钟同步精度。通过先进的信号处理与波束成形技术，该设备不仅能实时追踪飞行中的无人机，甚至还能实现穿墙探测 WiFi 信号。作者指出，开源社区仅凭基础硬件就能达到此等探测精度，暗示政府或军方级别的技术实力将更加惊人。
长征十号乙火箭成功首飞，首次实现一子级可控回收
来源：Readhub | 原文链接
💡 中国重型运载火箭技术在回收与清洁燃料上取得关键双重突破，对未来低成本商业发射具有里程碑意义。
长征十号乙运载火箭在海南商业航天发射场成功发射，并顺利实现火箭一子级的可控回收。值得注意的是，该火箭所采用的液态甲烷燃料是由中国石化提供的液化天然气（LNG）资源制备而成。这也是中国石化首次将清洁能源应用到国家航天领域，推动了能源产业链向高端航天技术的跨越。
苹果起诉 OpenAI 涉嫌指使前员工窃取硬件及项目机密
来源：TechCrunch,Engadget,南华早报 | 原文链接
💡 两大巨头在人工智能硬件竞争白热化之际爆发官司，揭示了行业人才争夺战背后的合规风险与技术刺探。
苹果公司正式向美国加州北区联邦地区法院起诉 OpenAI，指控其存在系统性的商业机密窃取及违反合同行为。苹果声称，OpenAI 的多名苹果前员工（包括前硬件主管 Tang Tan）在高级管理层的授意下，带走了苹果的 confidential 项目代码等机密。起诉书详细披露了员工如何利用漏洞下载云存储文件，并将其用于 OpenAI 的硬件项目开发。
勒索软件谈判专家因串通黑客敲诈客户被判刑 70 个月
来源：ArsTechnica | 原文链接
💡 本应充当安全防线的谈判专家却成了盗贼的同伙，这起案件揭露了黑客赎金产业链中极度混乱的利益关系。
美国一名曾供职于安全公司 DigitalMint 的勒索软件谈判代表 Angelo Martino 被法院判处 70 个月监禁。法庭查明，其在受雇代表受害者与 BlackCat 勒索软件团伙进行谈判以减少赎金时，私下里与攻击者勾结，共同敲诈本应由其保护的客户。这种“内鬼”行为不仅导致客户蒙受巨大经济损失，也严重破坏了网络安全咨询行业的公信力。
📊 开源
ai-job-search：基于 Claude Code 的开源 AI 求职助手
来源：GitHub Trending | 原文链接
💡 AI 正从单纯的技能工具演变为全自动的求职代理，是低迷就业市场中效率提升的利器。
GitHub 热榜项目 ai-job-search 是一个构建在 Claude Code 上的 AI 驱动求职申请框架。用户只需克隆项目并填写个人档案，AI 即可自动评估招聘职位、定制简历、撰写求职信以及进行面试准备。该项目完全开源，旨在帮助求职者从繁杂的求职信写作等重复劳动中解放出来。
💻 工具
OfficeCLI：面向 AI 智能体的开源 Office 文档控制命令行工具
来源：GitHub Trending | 原文链接
💡 解决了 AI 在自动化办公中“看不见文档真实排版”的痛点，大大提升了文档处理智能体的实用性。
OfficeCLI 是一款专为 AI 智能体设计的开源 Office 套件工具，允许 AI 通过单行代码完全控制 Word、Excel 和 PowerPoint。该工具采用单文件二进制设计，无需安装 Microsoft Office 等任何依赖，支持多平台运行。其内置的 HTML 渲染引擎可以将文档高保真地还原为网页或图片，从而构建出“渲染-观察-修正”的闭环，让 AI 真正拥有理解文档排版的能力。
本文由AI自动生成，共25条摘要。