中/EN
此刻 — 人在看
2026.10.12星期一·农历九月初三·看见地平线之外的 AI·himiao.ai
快讯

搜索

全部1快讯0要闻1评测0对比0
找到 1 条最相关·最新一周·一月·全部

  1. OpenAI 公开 722 篇 AI 数学手稿：称涉及黎曼猜想等难题，均未经同行评审

    … 月内部模型 Astra 连解十个数学与理论计算机难题（含 Lean 证书）；9 月 8 日 OpenAI 发表 166 页 Navier-Stokes 论文加 Lean 形式化仓库，并声明不申领千禧年奖金；9 月 21…

    要闻·10月7日

问问小喵