2026-07-04 科技日报

15 min

扫描 500 篇候选内容 · 覆盖 650 个信息源 · 纳入 488 篇


📌 今日要点

  • The Three Dimensions of ROS 2 Middleware
  • Neuro-Symbolic Safety Guidance for Vision-Language-Action Models via Constrained Flow Matching
  • CommonRoad-Game: A Human-in-the-Loop Simulation Framework for Autonomous Driving
  • TokenScope: Token-Level Explainability and Interpretability for Code-Oriented Tasks in Large Language Models
  • Safeguarding LLM Agents from Misalignment through Provenance Analysis
  • Kara: Efficient Reasoning LLM Serving via Sliding-Window KV Cache Compression

🧭 今日动态

一、Microsoft follows An 🔥 (222 篇 · 来自 102 个来源)

涉及:OpenAI、Claude、AI、UK

📎 相关:Microsoft follows Anthropic and OpenAI into the AI super app race with overhauled Copilot and AutoPilot agents(The Decoder)、Claude Code’s complicated China problem involves bans on both sides of the Pacific(The Decoder)、Security vulnerability reports have exploded since AI models started hunting for bugs(The Decoder)、UK’s AI Security Institute finds standard benchmarks systematically underestimate what AI agents can actually do(The Decoder)、GPT and Claude failed Bridgewater’s finance tests because the right answers were never public(The Decoder)、Meta’s AI agent push is moving slower than Zuckerberg planned(The Decoder)

二、Record-breaking temp 🔥 (95 篇 · 来自 34 个来源)

涉及:Record、France、Ford、U.S

📎 相关:Record-breaking temps in US as 4th July holiday begins(BBC Science)、France records 2,025 excess deaths at peak of heatwave as Europe braces for more extreme weather(BBC Science)、Ford achieves quality milestone, as CEO targets flawless new vehicle launches(CNBC Technology)、Extreme heat wave threatens U.S. power grids and July 4 travel(CNBC Technology)、Why social media bans are gaining steam(Platformer (Casey Newton))、The Dune keypad device can be your meeting controller and more(TechCrunch)

三、The Three Dimensions 🔥 (35 篇 · 来自 13 个来源)

涉及:The、Neuro-、Game、Token-

📎 相关:The Three Dimensions of ROS 2 Middleware(ArXiv RO (cs.RO))、Neuro-Symbolic Safety Guidance for Vision-Language-Action Models via Constrained Flow Matching(ArXiv RO (cs.RO))、CommonRoad-Game: A Human-in-the-Loop Simulation Framework for Autonomous Driving(ArXiv RO (cs.RO))、TokenScope: Token-Level Explainability and Interpretability for Code-Oriented Tasks in Large Language Models(ArXiv CL (cs.CL))、Safeguarding LLM Agents from Misalignment through Provenance Analysis(ArXiv CL (cs.CL))、Kara: Efficient Reasoning LLM Serving via Sliding-Window KV Cache Compression(ArXiv CL (cs.CL))

四、月销万台!超仿生人形机器人闯入万亿情绪市 🔥 (30 篇 · 来自 16 个来源)

新智元报道【新智元导读】当人形机器人开始拥有真实皮肤质感与 30 多种微表情 · ,西班牙瓦尔德希伯伦大学医院(Vall d’Hebron University Hospital)宣布完成欧洲首例单孔机器人儿科肾输尿管切除术 · 本文约 2700 字,建议阅读 6 分钟,越来越多公司走向资本市场

📎 相关:月销万台!超仿生人形机器人闯入万亿情绪市场(新智元)、China boosts prestigious grants for young scientists — will it ease competition?(Nature News)、400 家 starup 聚集、阿斯利康重押 13 亿欧元,创新药出海欧洲绕不开这座城|最前线(36 氪)、秋声 | 袁进辉新公司冲港股 IPO,成立不到三年(36 氪)、氪星晚报|西贝餐饮集团退出小女当家;FF 洛杉矶总部人去楼空?公司回应:不实(36 氪)、理想组织再动刀:去中间环节,整车和智驾产品回归研发|36 氪独家(36 氪)

五、Scotland’s first gul 🔥 (14 篇 · 来自 7 个来源)

涉及:AI、The、UK

📎 相关:Scotland’s first gull ranger wants to boost their image(BBC Science)、Thousands of fish killed in park pollution mystery(BBC Science)、Parents warned not to publicly share children’s images amid AI abuse risks(BBC Tech)、The Download: a smoking “endgame” and a new Elizabeth Bear story(MIT Technology Review)、The UK’s generational tobacco ban might not work. I’m supporting it anyway.(MIT Technology Review)、UK parents warned over posting images of children amid AI sexual abuse fears(The Guardian Tech)

六、5 takeaways from Pre 🔥 (11 篇 · 来自 5 个来源)

涉及:Donald、First、Trump、Acting

📎 相关:5 takeaways from President Donald Trump’s interview with CNBC(CNBC Technology)、First known congressional SpaceX stock buys surface after record IPO(CNBC Technology)、Trump’s Freedom 250 draws corporate sponsors with business before his administration(CNBC Technology)、Acting DNI Pulte fires dozens of intelligence officials: MS Now(CNBC Technology)、Democrats plot subpoena storm over Trump’s $2 billion gold rush(Axios AI)、Portrait exhibit brings 47 American presidencies to life(Axios AI)

七、Ukraine proves it ca 🔥 (11 篇 · 来自 6 个来源)

涉及:Russia、Polish

📎 相关:Ukraine proves it can hit Russia almost anywhere(Axios AI)、Polish PM warns critical months ahead in face of Russian threat(BBC News)、Anguished families left to identify Venezuela quake victims at makeshift morgue(BBC News)、Venezuela’s Rodriguez blames ‘propaganda’ for quake response backlash(Al Jazeera)、Venezuela’s Rodriguez blames ‘propaganda’ for quake response backlash(Al Jazeera)、‘A nightmare’: Strugging with the aftermath of Venezuela’s earthquakes(Al Jazeera)

八、How little exercise 🔥 (11 篇 · 来自 8 个来源)

前文回顾:租房常见问题与我的改造原则从有光的地方开始动手打造能好好放松的卧室只要你的房子还有分区可言,那正常情况下就一定有一个可以称之为客厅的区域 · 无论你追求的是更高的职位、更自由的时间、还是某种更纯粹的成就感,有一件事大概是共通的:那就是尽量让自己的人生,少一点完全依赖运气的成分,多一点可被掌控、可被验证的路径

📎 相关:How little exercise can you get away with?(The Economist Technology)、住久了没意思(四):作为最「复合」的空间,客厅要为真实生活让路(少数派)、这四个工作习惯,或许也能帮你找到掌控感(少数派)、How to Build a Browser-Based PDF Analyzer Using JavaScript(FreeCodeCamp)、Stop Making These 6 Common Rowing Machine Mistakes(CNET)、Your budget 3D printer’s build plate matters more than you think(XDA Developers)

九、I think alignment wo 🔥 (8 篇 · 来自 7 个来源)

Podman 团队发布了 v6

📎 相关:I think alignment work is more promising than control work(LessWrong)、When Should Service Agents Reconsider? Difficulty-Routed Control in Customer-Service Operations(arXiv AI (cs.AI))、kubernetes upgrades needed rollback more than another checklist(Dev.to)、Memory Sidecar v3.5.1: Operational Hardening for Agent-Agnostic Memory(Dev.to)、Don’t waste your next cloud outage(InfoWorld)、Podman v6.0.0 发布,网络栈全面转向 Netavark 与 nftables(OSChina 开源中国)

十、Argentina vs. Cape V 🔥 (7 篇 · 来自 4 个来源)

涉及:Cape、There、Mexico、World

📎 相关:Argentina vs. Cape Verde: Stream FIFA World Cup 2026 Match Live for Free(CNET)、There’s a simple way to watch Argentina vs Cape Verde for FREE(Tom’s Guide)、There’s a simple way to watch Australia vs Egypt for FREE(Tom’s Guide)、England-Mexico kick-off unchanged after Fifa U-turn(BBC News)、William talks World Cup football fever on Travis Kelce’s podcast(BBC News)、Egypt say Dallas police officer pushed player, team director at World Cup(Al Jazeera)

十一、Feds seek lower pris 🔥 (6 篇 · 来自 4 个来源)

涉及:Feds、Three、Nowak、Two

📎 相关:Feds seek lower prison term for $100 million New Jersey deli fraudster — but some reasons why are hidden(CNBC Technology)、Three men found not guilty of journalist Lyra McKee’s murder(BBC News)、Nowak killer appeals against conviction and sentence(BBC News)、Two Romanians jailed for stabbing journalist on behalf of Iran regime(BBC News)、“He Didn’t Need to Die.” How an Immigration Detention Center Repeatedly Failed to Address a Mental Health Crisis.(ProPublica)、Trump’s Communist Boogeyman Playbook: Charging Protesters as Terrorists(The Intercept)

十二、Last chance to apply 🔥 (6 篇 · 来自 4 个来源)

2026 年 6 月 30 日,在马里兰州米德堡,一条采购公告安静地挂上了美国政府采购网站 SAM

📎 相关:Last chance to apply — Startup Battlefield Australia applications close July 6(TechCrunch Startups)、NSW government ‘absolutely thrilled’ to welcome OpenAI … until someone mentioned the Terminator films(The Guardian Tech)、NSW shadow upper house leader steps aside during Icac Liberals inquiry – as it happened(The Guardian Tech)、US residents angry at datacenters ‘being shoved down our throats’ are recalling officials(The Guardian Tech)、Blackstone-owned QTS abandons planned world’s largest data center campus after years of lawsuits — 2,100-acre Virginia Digital Gateway project dies over a newspaper-notice technicality(Tom’s Hardware)、美国国家安全局正把量子计算变成了一条工业生产线(情报分析师)

十三、Scientist dubbed The 🔥 (5 篇 · 来自 5 个来源)

可能这就是我们永远放不下足球的原因 · 一个 60 岁的老头,死死抱着气罐准备以每秒 70 米的速度原地起飞

📎 相关:Scientist dubbed The Bogfather is restoring peatland to fight climate change(BBC Science)、David Potter, the man who put Psion in the palm of your hand, logs off at 82(The Register)、★ Claude’s Criminally Bad Electron Mac App Is an Inside Job(Daring Fireball (John Gruber))、41 岁 C 罗送走 40 岁魔笛,多少人看哭了(内德羽则说)、纯靠烧开水,这台喷气摩托跑出了世界第二。(差评)

十四、Nasa launches missio 🔥 (5 篇 · 来自 5 个来源)

涉及:Nasa、The、NASA

📎 相关:Nasa launches mission to save falling space telescope(BBC Science)、A device that revives eyeballs from dead donors could make eye transplants possible(MIT Technology Review)、The Space Shuttle Endeavour goes on public display later this year(Engadget)、A new technology teaching drones to feel pain could stop your self-driving car from harming itself(Digital Trends)、NASA launches robotic mission to save telescope falling back to Earth(Al Jazeera)

十五、3,000% bonuses but a 🔥 (3 篇 · 来自 3 个来源)

7 月 2 日,欧盟最高法院 European Court of Justice 驳回了 Google 对 41 亿欧元(约合 46

📎 相关:3,000% bonuses but a growing wealth divide: South Korea grapples with its AI chip boom(The Guardian Tech)、Google 就 Android 反垄断 41 亿欧元罚单上诉失败,八年拉锯战终结(OSChina 开源中国)、Inside the history of DRAM price-fixing lawsuits — how HBM allocations could make a difference after two decades of failed cases(Tom’s Hardware)

十六、No-gift policy for T 🔥 (3 篇 · 来自 3 个来源)

涉及:No-、The、Taylor

📎 相关:No-gift policy for Taylor Swift, but how much should you give at a wedding?(BBC Business)、The Most Lavish Celebrity Weddings, From the Royals to Taylor Swift(NYT)、Taylor Swift and Travis Kelce get married in star-studded Madison Square Garden ceremony(South China Morning Post)

十七、The Supreme Court ca 🔥 (3 篇 · 来自 3 个来源)

你有没有意识到,或者什么时候意识到我们散户是处在股市食物链最底层的?最容易被吃掉的那群人

📎 相关:The Supreme Court can no longer explain itself(Vox)、The US has failed to understand China(South China Morning Post)、你是什么时候意识到自己是股市食物链最底层的?(集思录)

十八、(Don’t fear) the str (2 篇 · 来自 2 个来源)

从“态”到“相”在科学革命中,物理学是自然科学诸多分支中的排头兵

📎 相关:(Don’t fear) the strangelet(LessWrong)、李 - 杨相变理论:历史与新进展(集智俱乐部)

十九、Pragmatic FDT, and p (2 篇 · 来自 2 个来源)

涉及:FDT

📎 相关:Pragmatic FDT, and predictors as game theory(AI Alignment Forum)、Fourteener Lobsters(Lobsters)

二十、What is Paralives? T (2 篇 · 来自 2 个来源)

IT 之家 7 月 4 日消息,据彭博社 3 日报道,欧洲即将出台的一系列新规,可能限制未成年人接触部分电子游戏,并冲击游戏内购收入

📎 相关:What is Paralives? The creative life simulator game that could rival The Sims(The Guardian Tech)、欧洲拟严管游戏“开盲盒”机制,影响或波及全球其他地区(IT 之家)


📝 科技简讯


📈 趋势观察

  1. 今日信息源分布:36 氪 (8)、The Decoder(7)、CNBC Technology(7) 等 57 个来源贡献了内容。
  2. 多源交叉验证:Microsoft follows Anthropic and OpenAI into the AI super app race with overhauled Copilot and AutoPilot agents、Record-breaking temps in US as 4th July holiday begins,多个独立来源均报道此话题。

📊 数据概览

指标数值
候选内容500
去重后488
纳入日报488
主题分组22
独立条目40
信息源数量650