传 OpenAI 模型 59 页 Lean 证明包揽局部光滑与 Kakeya 猜想
maier_ak · x · 2026-10-29
一份署名为某未具名 OpenAI 模型的 59 页手稿声称证明了所有维度下的 Sogge 局部光滑猜想，并随之推出 Bochner-Riesz、球面限制与 Kakeya 猜想。作为参照，Kakeya 猜想的三维情形直到 2025 年才由 Wang 和 Zahl 解决。
所属事件:传 OpenAI 模型以 Lean 证明 Kakeya 等猜想，待专家评估(5 条相关)→
「模型」频道最新
- Anthropic：Claude 的网络攻击能力并非专项训练而是自然涌现 — repligate · 2026-10-29
- LiquidAI LFM3-1.7B GGUF 版冲上 Hugging Face 热榜 — LiquidAI · 2026-10-29
- Reflection 将 Beam 501B 量化到 MXFP4,双 MI300X 跑满 1M 上下文 — ben_burtenshaw · 2026-10-29
- Gemini 4 Carbon 登顶独立榜单,网络安全成绩亮眼但先限防御者使用 — Latent Space · 2026-10-29
- 零重训把英伟达30B语音LLM从67.5GB剪到10GB，WER仅5.16% — Illustrious_Row_9971 · 2026-10-29
- 博主实测 Claude/GPT/Gemini/GLM/Kimi 报价：转售商价差高达3倍 — Life-Situation-1533 · 2026-10-29