AI 重大突破

无需登录。完整内容与个人兴趣标记的公开阅读入口,可直接交给 GPT 阅读。

公开快照同步: · 内容整理:2026-10-19T00:04:31+08:00

共 13 条 · 第 1/2 页 下一页

AI 资讯 / 行业新闻 · 2026-10-15

Google Antigravity 辅助发现抗菌肽候选

AI 协助跨数据库筛选与结构分析,找到等待湿实验验证的抗菌肽候选。

用户标记:未标记

固定编号:6e75ae44e6bdf8c6

原文来源
OpenAI论文 / 数论与算术几何 · 2026-10-07

由低 Selmer 余秩得到的精确 Birch–Swinnerton-Dyer 公式

Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank

用户标记:未标记

固定编号:b9b12d19fb88be55

原文来源
AI 资讯 / 行业新闻 · 2026-10-06

OpenAI 公开数学成果与验证材料

官方数学仓库公开手稿、部分 Lean 证明及相关说明。

用户标记:未标记

固定编号:42015c1d1c6e7a6a

原文来源
OpenAI论文 / 组合数学与图论 · 2026-09-23

平面单位距离问题的一个幂次节省

A power saving for planar unit distances

用户标记:未标记

固定编号:ff9438e4483571d5

原文来源
OpenAI论文 / 组合数学与图论 · 2026-09-23

Hadwiger猜想的一个反例

A counterexample to Hadwiger's conjecture

用户标记:未标记

固定编号:b16fa58aaf55a647

原文来源
AI 资讯 / 行业新闻 · 2026-09-08

AlphaGenome Atlas:人类基因组每个可能 DNA 字母变化的预测图谱

该官方发布内容介绍 AlphaGenome Atlas,称其绘制了人类基因组中 90 亿个单字母 DNA 变异的分子效应图谱。

用户标记:未标记

固定编号:f07a7bbbe9510be7

原文来源
AI 资讯 / 行业新闻 · 2026-09-08

OpenAI 公布 Navier–Stokes 问题解答研究

官方公布内部模型提出的流体方程证明与 Lean 形式化材料。

用户标记:未标记

固定编号:717ed988a4e9d4ff

原文来源
AI 资讯 / 模型动态 · 2026-08-11

进一步了解 Claude 的数学能力

Anthropic 员工让 Claude 尝试黎曼猜想未果,但一个未发布的研究版 Claude 在相关问题上改进了黎曼 zeta 函数满足猜想的零点比例下界,从 41.6% 提高到 67.2%。

用户标记:未标记

固定编号:67cc0aed52dbc850

原文来源
AI 资讯 / 行业新闻 · 2026-08-01

数学与理论计算机科学的十项进展

该发布称 OpenAI 在数学与理论计算机科学的若干长期未解问题上取得新结果,涉及几何、密码学和复杂性等方向。

用户标记:未标记

固定编号:858370a20efcf049

原文来源
AI 资讯 / 模型动态 · 2026-05-20

OpenAI模型推翻离散几何核心猜想

据原始发布记录,OpenAI的一个模型解决了有80年历史的单位距离问题,并推翻了离散几何中的一项重要猜想。

用户标记:未标记

固定编号:0d3b98162beafab8

原文来源

共 13 条 · 第 1/2 页 下一页