BSD 猜想或已被证明,数学圈期待验证

X 用户 onionesque 等人透露,数学圈流传千禧年七大难题之一的 Birch and Swinnerton-Dyer(BSD)猜想可能已被证明,结合上下文疑与 AI 辅助数学证明的最新动向有关。网友表示若属实将非常令人兴奋,但也呼吁等待正式论文与验证,并指出作者称 P/NP 问题仍遥遥无期。另有用户观察到 GPT 做数学时异常偏向搜索反例,担心结果可能是反例而非证明。

2026-09-11 ~ 2026-09-11 · 3 条相关