BSD 猜想或被证明传闻四起，作者称 P/NP 仍遥遥无期
_onionesque · x · 2026-09-11
数学圈传闻称 Birch and Swinnerton-Dyer（BSD）猜想可能已被证明（结合上下文疑与 AI 辅助数学证明的最新动向有关），作者表示如果属实将非常令人兴奋，但希望证明过程经得起检验。
作者同时判断：P/NP 问题短期内不会被证明，BSD 相对而言「可能更快到来」。目前均为未经证实的传闻。
所属事件:BSD 猜想或已被证明，数学圈期待验证(3 条相关)→
「研究」频道最新
- CAROT 用最优传输做词级跨语言对齐,多语言任务精度最高提升 11.2 点 — Bollegala · 2026-09-11
- 让果蝇「写字」:神经信号驱动前腿生成手写字体 — dejavucoder · 2026-09-11
- 斯托克斯定理在 Lean 4 中完成形式化,含 d²=0 证明 — basedjensen · 2026-09-11
- Reddit 网友发问：为何没有面向 Agent 运行时而非模型的基准测试？ — Balance- · 2026-09-11
- 西班牙开发者将 PISA 数据预处理成 AI Agent 可直接分析的开源数据集 — pelayoarbues · 2026-09-11
- 小鹏开源X-AuT:渐进式剪枝压缩语音LLM音频编码器 — XPENG-AI · 2026-09-11