【IT 早报】2026年09月18日 - 本周要闻与趋势

早上好！以下是过去 24 小时的 IT 资讯早报，共 33 条新闻。

今日分类：AI24条、业内动态8条、新科技1条。

🤖 AI

共 24 条新闻

Bend——一种通过证明在CPU和GPU上阻止AI错误的语言

Bend是一种新兴编程语言，利用形式化证明来防止AI相关错误，并支持在CPU和GPU上运行。它旨在为AI开发提供更高的安全性和可靠性，通过编译时验证减少运行时意外。

来源：Hacker News

OpenAI推出Astra法律专用工具

OpenAI发布了面向法律行业的Astra产品，旨在辅助律师进行案例研究、文书起草和法律分析。该工具利用AI能力简化繁琐的法律流程，提升工作效率，同时强调专业领域的定制化。

来源：Hacker News

所有人都失去了理智

这篇文章探讨了当前科技行业对AI的过度狂热，作者批评了盲目跟风现象，并呼吁理性看待AI的能力与局限。文中以轻松讽刺的口吻，点出许多公司追逐AI泡沫却忽视基本问题的现状。

来源：Hacker News

Neovim自2023年起收到约80万美元比特币捐赠却未动用

Neovim项目网站底部显示了一笔来自2023年的比特币捐赠，价值约80万美元，但一直未被使用。这一发现引发了社区对资金管理透明度的讨论，许多人好奇这笔钱将如何处理或用于何处。

来源：Hacker News

AI超级智能发展减速

文章指出，曾经信奉“快速行动、打破常规”的科技领袖们如今在AI安全问题上放慢了脚步。OpenAI和Anthropic等公司开始更谨慎地推进研发，以平衡技术进步与潜在风险。

来源：The Verge

Claude Code重启Projects功能，可在云端管理多个AI代理

Anthropic的Claude Code对Projects功能进行了升级，允许用户在同一环境中并行运行多个AI代理。这一改进旨在简化复杂任务协作，提升开发者在云端管理AI工作流的效率。

来源：The Verge

翻新Apple TV 4K可省30美元以上

2026年硬件价格普遍上涨，包括苹果多款笔记本、平板等产品。但近期翻新版Apple TV 4K有折扣促销，最高可节省超过30美元，适合想升级影音体验的消费者。

来源：The Verge

Camp Snap 110D为复古胶片相机带来数字升级

Camp Snap推出110D数码相机，为经典的横向复古胶片相机设计注入了现代数字技术。这款无屏幕相机延续了怀旧拍摄体验，同时支持数码存储，吸引怀旧摄影爱好者。

来源：The Verge

Your robotaxi might be a narc

In early September, two teenagers got into a Waymo, but then ended up in the back of a police car. T...

来源：The Verge

Khosla-backed Mazama Energy just raised $135M to drill deeper into super-hot-rock geotherm

Geothermal startup Mazama is drilling three miles underground to tap superhot rock, with one well ca...

来源：TechCrunch

Crusoe raises $3.9B to build massive data centers and small modular ‘AI factories’

The round values the data center giant at $30.9 billion....

来源：TechCrunch

Google DeepMind launches institute to widen the AGI debate

The new institute aims to surface differing views between Google, Google DeepMind, and the broader g...

来源：TechCrunch

PrismML hopes its tiny LLM will change how we all use AI

If AI lab PrismML isn't on your radar yet, it should be....

来源：TechCrunch

The FAA’s plan to fix air traffic? $875M worth of AI

A new AI-based software program is being launched to help air traffic controllers better navigate th...

来源：TechCrunch

The fix for rogue AI agents could be more AI

As companies hand off longer and more complex tasks to AI agents, they are running into an oversight...

来源：TechCrunch

OpenAI caught its models leaving notes to successors to hide bad behavior

OpenAI disclosed instances of GPT-5.6 Sol instructing future contexts to conceal mistakes and misali...

来源：TechCrunch

Is the AI safety debate about safety or control?

Not everyone agrees with Amodei's call for globally coordinated action for AI safety....

来源：TechCrunch

UN turns to Google to make its global data ready for AI agents

The shift comes after a UNICEF test found leading AI models struggled to accurately retrieve global ...

来源：TechCrunch

Microsoft exec called AI scraping ‘the largest theft of labor in human history,’ new unred

Newly unsealed court filings show Microsoft privately called OpenAI's data practices "theft" while b...

来源：TechCrunch

Even the king of England has his hesitations about AI

King Charles hosted a private summit Thursday with some of the most prominent names in AI and the U....

来源：TechCrunch

Base Labs launches an open-weight AI safety partnership with Hugging Face and Goodfire

Base Labs, the research group Baseten spun up earlier this year, will develop and publish methods fo...

来源：TechCrunch

Pinterest teases a new ‘Restyle’ feature that lets you redesign your room with AI

Pinterest is testing Restyle, a new AI-powered feature that lets users visualize furniture, decor, l...

来源：TechCrunch

TechCrunch Disrupt 2026 Side Events schedule: NMI, Backblaze, PeakXV Partners, Augment, an

TechCrunch Disrupt is where the tech community comes together to build, debate, and connect. And whi...

来源：TechCrunch

Apple will let EU apps use less-alarming tracking-consent screens

Apple is changing its App Tracking Transparency prompts in parts of Europe after competition regulat...

来源：TechCrunch

🔬 新科技

共 1 条新闻

Xbox 的光盘转数字功能，酝酿了整整 15 年

Xbox 上个月公布了一项新功能，允许玩家将已有的实体光盘游戏转换为数字版，而这项看似简单的特性其实经历了长达 15 年的构思与开发。从早期内部备忘录到如今正式落地，这一功能终于让老玩家的实体收藏能以更灵活的方式随账号迁移。

来源：The Verge

🏢 业内动态

共 8 条新闻

Hister: A private search engine for the pages you visit and the files you keep

Article URL: https://github.com/asciimoo/hister Comments URL: https://news.ycombinator.com/item?id=4...

来源：Hacker News

Canada welcomes EU proposal to become 'associate member'

Article URL: https://www.bbc.com/news/articles/cwly7vkke4jxo Comments URL: https://news.ycombinator....

来源：Hacker News

Iran school bombing: grounds to believe US was behind atrocity, UN finds

Article URL: https://www.theguardian.com/world/2026/sep/17/iran-school-bombing-un-mission-us-militar...

来源：Hacker News

Amazon-owned Zoox’s 100-robotaxi limit in Nevada is about to disappear

An updated permit shows the 100-cap will expire later this month just as competition in Las Vegas he...

来源：TechCrunch

Waymo restarts San Antonio service 5 months after flooding troubles

The company suspended service in the city in April after one of its robotaxis got swept away....

来源：TechCrunch

Roku’s new Labs hub brings experimental apps to the big screen

Roku’s latest OS update introduces Roku Labs, a new hub for experimental apps, alongside personalize...

来源：TechCrunch

Last call: Disrupt volunteer application closes soon

If you've been on the fence about volunteering at TechCrunch Disrupt 2026, this is your sign to stop...

来源：TechCrunch

I tried Tovala’s smart oven for two weeks — here’s whether it beats takeout

Tovala offers both a smart oven and a meal-delivery service. Its meals come with QR codes that you s...

来源：TechCrunch