实体 Kakeya

Kakeya

PulseAugur coverage of Kakeya — every cluster mentioning Kakeya across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_323827 · Oct 26 · 23:00

OpenAI AI 在 Kakeya、ETH 和杨-米尔斯理论中生成证明

OpenAI 宣布其 AI 系统已在三个不同的科学领域生成了证明。这些领域包括通过局部平滑解决 Kakeya 和 Stein 限制猜想，在计算复杂性中反驳指数时间假设，以及为 QCD 和杨-米尔斯等量子场论提供严格的存在性证明。该公司表示，这些发现已经过 Lean 形式化和独立的学术审查。