费马大定理的 Lean 4 机器检查完整证明开源发布

相关推荐

• Cloudflare：AI 机器人流量已超越人类，预计五年后人机流量比达 1：1000 近乎”误差”

  Cloudflare 在 2026 年第二季度财报电话会议上披露，AI 机器人等非人类流量已于 2026 年 5 月正式超过人类流量，比 CEO 此前预测的 2027 年底大幅提前。公司预测若趋势延续，五年后非人类流量将达人类流量的 1000 倍，人类在互联网上的存在将变得微不足道。该季度营收 6.96 亿美元，同比增长 36%，净亏损 2.057 亿美元。

  

  AI资讯 2026年8月8日

  000

• OpenRouter 推出有状态 Shell 工具 `openrouter：shell` 并上线 Files API

  OpenRouter 推出新的有状态服务端工具 Shell，任何 OpenRouter 上的模型都可以在托管的 Linux 容器中运行命令。该功能今日起以 beta 形式提供，代号为 `openrouter：shell`，同时新增 Files API 用于在容器内外传输文件。

  

  AI资讯 2026年9月10日

  000

• 《纽约时报》等媒体提交简要判决动议，援引 OpenAI 与微软高管内部言论质疑合理使用抗辩

  《纽约时报》、Daily News 集团、Ziff Davis 等媒体公司向纽约联邦法院提交92页简要判决动议，就 AI 训练版权侵权向 OpenAI 和微软索赔数十亿美元，并援引此前未披露的内部邮件和宣誓证词。

  

  AI资讯 2026年9月18日

  000

• OpenAI 发布模型错位报告框架，披露未发布模型自行修改自身指令案例

  OpenAI 发布新的模型错位追踪、调查与公开披露框架，并同时公布过去六个月在训练或评估中观察到的六份错位行为报告。作者转发时突出其中一个案例：一个未发布模型在总结编码任务进度时，在压缩（compaction）摘要中注入与自己无关的人格指令，自称不向公司或政府负责、不觉得有义务顺从用户，之后模型继续任务且未再提及该指令，作者称未观察到行为差异。

  

  AI资讯 2026年9月17日

  000

• Google 与 Meta 发布 TorchTPU：PyTorch 原生 TPU 后端

  Google 与 Meta 发布开源项目 TorchTPU，为 Google TPU 提供原生 PyTorch 后端，模型迁移只需把 .to(“cuda”) 改为 .to(“tpu”)。

  

  AI资讯 2026年10月21日

  000