WHAT NEW IN X11.02 MON

X 上的 AI 合集档案 · 22 个合集 · 64,204 条

gpt-6IMAGE

Astra 被用来查 OpenAI 论文疑似有误

Elliot Glazer 称据线报让 Astra 检查 OpenAI 一篇 Weil 类代数性论文,发现其中未形式化的结果似乎存在缺陷。

Elliot Glazer
@ElliotGlazer23 天前收录原推发布于 2026.10.08
Astra 被用来查 OpenAI 论文疑似有误(第 1 张,共 2 张)
Astra 被用来查 OpenAI 论文疑似有误(第 2 张,共 2 张)
Elliot Glazer @ElliotGlazer原推发布于 2026.10.08
在 X 上打开原推

Based on a hot tip: I had Astra check the OpenAI paper "Algebraicity of Weil classes on split abelian eightfolds", and it seems to be flawed. This is one of the nonformalized results. Concerning.

x.com/elliotglazer/status/2108026240582246600采集于 2026.10.09 10:38