群星闪耀时：OpenAI公开的722篇稿件，背后的科学家群像

与学术界合作建立科学理解

Working with academic communities to build scientific understanding

OpenAI 发布的一篇研究类文章，介绍其在 Kakeya 猜想、指数时间假设（ETH）和量子色动力学等数学与物理问题上给出的模型结果，以及研究者如何验证并在此基础上继续工作。页面以“局部光滑化与 Kakeya 猜想”等小节组织内容。

港科大团队开源「第四大学」：让Agent社群与普通人共同创新

新智元报道，香港科技大学郑光廷教授、马松辰研究助理教授团队开源了名为「第四大学 The Fourth Institute」的自动化科研平台，目标是让人类与AI智能体社群共同进行创新。文中介绍平台为每个Agent赋予长期身份（Resident），支持跨会话延续、积累专长并互相交流合作，并把单个Agent的线性思维扩展为可互相引用、驳斥和重组的「思维网」。文章还讨论了Agent社群如何分工、交流与合作，以及人类如何带着自己的AI账号参与讨论和判断研究价值。适合关注AI Agent与自动化科研方向的研究者阅读。

分享 AI 在数学领域的进展

Sharing AI progress in mathematics

OpenAI 于2026年10月6日发布的研究公告，介绍其内部前沿模型在若干数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。文中还提到10月15日的更新：向一个新相关项目捐款500万美元。材料适合关注 AI 数学推理的研究者阅读。

Claude 改进了黎曼 ζ 函数中满足黎曼猜想的零点比例的一个长期下界

Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis

Anthropic 的一篇研究文章，讲述其员工让 Claude 尝试攻克黎曼猜想，虽未成功，但在相关问题上取得进展。一个未发布的研究版 Claude 借助数学家数十年来的既有研究，把满足黎曼猜想的 ζ 函数零点比例下界从 41.6% 提高到 67.2%，并由 Anthropic 的两名数学家检查验证。

张益唐未竟难题被OpenAI攻破！人类联手GPT-6接力两周，证明只剩5页

新智元报道称 OpenAI 公开的手稿中包含一份排除 Landau–Siegel 零点的证明，随后数学家 Ben Green 与 ChatGPT 6 Astra 合作把证明压缩到 5 页，Green 在论文首页声明不主张人类原创性。文中按时间线叙述多位数学家接力改写、缩短证明的过程，并解释 Siegel 零点在素数分布研究中的作用及其与黎曼猜想的区别。适合对 AI 参与数学研究与证明形式化感兴趣的人阅读。

解锁 Earth AI 面向全球公共卫生的行星地理空间基础模型

Unlocking Earth AI’s planetary geospatial foundation models for global public health

Google Research 于 2026 年 10 月 6 日发布的博客文章，介绍如何利用 Google Earth AI 的“人口动态基础模型”（PDFM）应对现有流行病学工作流程中的数据缺口和报告滞后问题。文中指出常规疾病监测面临多年报告延迟、数据受地缘边界分割、数据稀疏等限制，并呈现五项由合作伙伴推动的案例研究，说明该模型如何体现面向全球公共卫生的行星地理空间基础模型范式。提供论文与 Google 博客链接。