GPT-5.6 Pro 找到 CP^5 向量丛猜想反例
soumitrashukla9 · x · 2026-07-25
- 这条帖子转述了一项数学研究反例：并非所有复拓扑向量丛都能代数化。
- 作者声称自己在 CP^5 上找到了一个例子，它不仅不能代数化，而且不存在 motivic lift。
- 这一结果同时也否定了 Asok–Fasel–Hopkin 的一个更新猜想。配图里的论文引言说明，这项工作是在研究代数/拓扑实现映射与“代数化问题”的边界，射影空间是关键测试场。
「研究」频道最新
- 长文称 LLM 能力主要仍来自模仿学习而非 RLVR — burny_tech · 2026-07-25
- 冻结视觉骨干即可训练的机器人策略，消费级 GPU 也能跑 — mayfer · 2026-07-25
- 三张 CogSci 2026 海报分别研究 LLM 风险 steering、概率一致性与信任先验 — xuanalogue · 2026-07-25
- AI形式化证明的盲区：自然语言与Lean的语义对齐 — AlexKontorovich · 2026-07-25
- GPT-5.6 Sol Ultra 参与破解六年量子密码学难题 — polynoamial · 2026-07-25
- 开源 DKV 框架压缩本地长上下文推理的 KV 缓存 — Om_5000 · 2026-07-25