OpenAI 数学论证仍属原始研究，尚无专家公开评估
maier_ak · x · 2026-10-29
作者补充说明：围绕该数学论证（猜想与形式化陈述的对应），目前仍缺少关键环节——尚无领域专家公开确认形式化陈述与原猜想相符，也没有专家对论证本身做过人工审读。OpenAI 官方将其定位为 raw research data（原始研究数据），而非已验证的成果。
所属事件:传 OpenAI 模型以 Lean 证明 Kakeya 等猜想，待专家评估(5 条相关)→
「模型」频道最新
- 「Sol 6.1 Ultra」自己想出水反光技巧,却也被吐槽活干 10% 就摸鱼 — teortaxesTex · 2026-10-29
- 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