#Kakeya猜想

共 4 条 · 7 天 0 条 · 30 天 4 条

信息流里打上「Kakeya猜想」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月27日

行业中美对照多源确认94°10:30

OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了，还配了 Lean 验证文件，能不能站得住就看专家审查了。

AIGCLINK@aigclink原文

论文74°10:17

连数学博士生都啃不动的 Kakeya 猜想被 AI 证出来了，学数学的朋友应该都知道这有多离谱。

Aran Komatsuzaki (论文推介)@arankomatsuzaki原文

OpenAI 把模型做 Kakeya 猜想和 QCD 的过程公开了，数学物理研究者可以直接去验证，感兴趣的话看看推理链长什么样。

官方一手OpenAI Blog原文

行业中美对照多源确认05:49

OpenAI 说模型做出了三项新发现，连 Kakeya 猜想和标准模型都碰了，真假还没人验证，先看看再说。

Andrew Curran@AndrewCurran_原文