跳到正文
  1. 量子位85

    OpenAI 公开 722 篇数学手稿,覆盖准黎曼猜想与 BSD 等难题

    OpenAI 公开 722 篇数学手稿,归为 372 组结果,出自一个尚未发布的内部模型,论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等,模型此前尝试约 4000 个研究问题,平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。

    推荐理由:OpenAI 一次性公开 722 篇数学手稿,读者可了解其覆盖范围与数学界对核验进度的保留态度。

  2. The Decoder76

    OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明

    OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果,每条都声称解决了一个开放问题或取得实质进展,其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。

    推荐理由:OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub,读者可借此看到学术评审流程与 AI 产出速度之间的张力。

  1. 掘金77

    DeepSeek 据报接近完成至少 800 亿元融资,腾讯与宁德时代领投

    据 Bloomberg 援引知情人士报道,DeepSeek 接近完成至少 800 亿元(约 120 亿美元)融资,高于原定约 500 亿元的目标,由腾讯与宁德时代领投,最终金额可能逼近 1000 亿元。资金将用于扩大算力基础设施、加速模型研发与团队建设,公司计划 2027 年初启动科创板 IPO,中信证券已担任上市辅导机构。DeepSeek 方面未公开确认,融资细节仍可能在最后谈判中调整。

    推荐理由:梳理了 DeepSeek 融资规模、投资方结构与 IPO 时间表,可了解国产大模型资本竞争格局。

  1. NVIDIA Blog62

    NVIDIA 联合 Google DeepMind 等开放 2800 多种病毒的蛋白复合物结构数据集

    NVIDIA 加入由 Google DeepMind、EMBL-EBI 等组成的全球研究联盟,通过 AlphaFold Database 开放 2800 多种病毒的蛋白复合物预测 3D 结构,供任何科学家免费使用。

    推荐理由:NVIDIA 联合 Google DeepMind 等机构开放 2800 多种病毒的蛋白复合物预测结构,读者可了解开放科学在疫情准备中的具体做法。

已经到底了