专业、简洁、可持续阅读的技术资讯站

每天聚合关键技术动态，帮助你在最短时间内掌握 AI、工程和产品趋势。

今日精选

Claude 完成费马大定理首个形式化证明

哥伦比亚大学商学院助理教授彭天翼利用 Claude 在 11 天内完成费马大定理首个完整、经计算机检验的形式化证明。该证明使用 Lean 生成 1300 万行代码并证明 29500 个中间定理，Prove2Me 平...

Meta 将 Muse Spark 的数据共享与 token 定价直接挂钩。用户共享提示词和模型输出后，输入 token 每百万从 1.25 美元降至 0.10 美元，输出从 4.25 美元降至 0.20 美元，降...

据知情人士透露，DeepSeek 计划在内蒙古数据中心部署至少 16 万块华为下一代昇腾 950DT 芯片，用于模型运行而非训练；安装时间取决于华为产能，交付或需一年以上。训练环节仍依赖英伟达。

Cloudflare D1 数据库免费版开始执行强制免费额度，每日额度耗尽后直接停止数据库功能，不再产生额外账单。被刷不会造成巨额账单，但可能导致业务中断。用户需关注每日用量并评估升级付费版或增加防刷降级机制。

WHMCS 被曝高危安全漏洞，攻击者无需登录即可入侵服务器并获取客户资料。官方要求服务器提供商升级到 8.13.7 或 9.0.8，其他版本均受影响。目前尚未披露 CVE 编号和官方公告细节。

英伟达开源 PAIR (Personal AI Router)，可将 GeForce RTX 显卡、DGX Spark 和 Mac 等设备组成本地 AI 集群，无需专用线缆，几分钟即可完成组网。该软件支持 Olla...

2026年09月05日TechFoco

Google DeepMind 发布全球气象模型 WeatherNext 3，实现逐小时高分辨率预报，并经由 Weather Lab 向开发者开放。部分地区网页访问受限，但底层数据已通过 API 提供。模型直接从实...

2026年09月05日TechFoco

智谱 GLM Coding Plan 于 9 月 3 日至 20 日推出夜间畅用活动，每晚 23 点至次日 9 点按北京时间自动生效，覆盖所有付费套餐用户。错峰时段调用 GLM-5.3-Flash，在 ZCode...

2026年09月04日TechFoco

微软计划自 2026 年 10 月 13 日周二补丁日起，对符合条件的 Windows 11 设备默认启用内存完整性保护 HVCI。该功能基于硬件虚拟化隔离内核代码和驱动，降低恶意程序借助底层驱动接管设备风险。企业...

2026年09月04日TechFoco

OpenCode 发出兼容性提醒，部分使用其 Go 工具缺少 x-opencode-session 请求头，影响提示词缓存优化。受影响用户将收到邮件通知和个性化修复建议；自 9 月 6 日起，未携带该请求头的请求可...

2026年09月04日TechFoco