数学家借 AI 理解 Komlós 猜想,提出非线性变体新问题
burny_tech · x · 2026-09-24
作者在 AI 证明 Komlós 猜想的背景下,没有直接消化该证明,而是深入研究了问题本身,受 Ribe program 启发并在 AI 辅助下提出了一个非线性变体:若立方体所有边的像的欧氏长度不超过 1,则某条对角线的像的 ℓ∞ 长度不超过 10。作者称还存在 Banach 空间版本的类比,留待后续展开。
「研究」频道最新
- Anthropic 生物学团队:一年内 Claude 能力进步惊人,已打通假设到实验验证 — Flomerboy · 2026-09-24
- IROS 2026 全会辩论:机器人该走通用路线还是专精路线? — siddhss5 · 2026-09-24
- 格点高斯分布最大化香农熵,构成与黎曼θ函数相关的指数族 — FrnkNlsn · 2026-09-24
- 研究者称计算深度是缺失的 scaling 轴,网络深度自 GPT-3 起停滞百层 — burny_tech · 2026-09-24
- 跑基准测出「arjunomics 在权重里」,持续基准暴露对齐隐患 — kenbwork · 2026-09-24
- Arena 开放 2026 秋季学术计划,单项目最高资助 5 万美元 — arena · 2026-09-24