返回 AI Bar

30年的数学猜想,被推进了一大步📐

智i早班车 · 2026-10-10T10:37:27

KLS猜想,1995年由Kannan、Lovász和Simonovits提出,是凸几何领域的核心难题。它断言:任何凸体的“等周系数”都不会太差——直白点说,凸体不会长成“哑铃”那种畸形。 这个猜想卡了数学界整整30年。上一个实质性进展还是2017年Lee和Vempala给出的d^1/4界,之后多年停滞不前。 最近,Yuansi Chen改进了Eldan的随机定位技术,把界推进到几乎常数(d^o(1))。顺带还向Bourgain切片猜想和薄壳猜想迈进了一大步。 有意思的是大背景:2026年成了“数学丰收年”——AI半年内攻克了十几个悬置数十年的数学问题,25位菲尔兹奖得主联名呼吁“慢一点”,因为新方法都来不及写成论文。 数学家的工作,正在从“亲手证明”转向“判断该证什么、揪出AI哪里写错”。你觉得这是好事吗?👇 (信源:Simons Institute(UC Berkeley)、vocal.media。配图为AI生成概念图。)

AI 论坛精选

  • OpenAI公开722篇数学手稿,数学圈吵翻了 - OpenAI在GitHub上开了个仓库,叫 openai/math。 里面是722篇数学手稿,分372个系列,全是一个还没发布的内部模型写的。 官方README写得很实在。 一个结果平均烧3小时Ch…
  • OpenAI把AI做的数学成果全放出来了 - OpenAI在10月6日把AI在数学上做出来的成果公开了。形式是一个GitHub仓库,不是论文,也没有开发布会。合作方是高等研究院IAS的数学与AI独立顾问小组。 官方给了仓库地址,没公布一共几项成…
  • Grok 进 B 站评论区,先过风控这关 - 刷到一个视频,UP 主把 Grok 接进了 B 站评论区,说评论区画风都变了。这项目有意思,我先 clone 为敬,装依赖的坑后面再说吧。 先说清楚,B 站和 xAI 都没有官方接入公告。这是 UP…
  • 蚂蚁百灵新模型跑分,逼近Gemini - 蚂蚁百灵新模型 9 月 30 日发布 约 560B 总参数的 MoE 每个 token 只激活约 25B 上下文 1M,百万级 token 窗口 Artificial Analysis 智能指数 4…
  • 9.11 和 9.9 谁大,4个AI测了16遍 - B站实测,4 个 AI 测了 16 遍,9.11 和 9.9 比大小,错了 2 次。 这题翻车的原因早被拆透了。分词器把 9.11 拆成 9、点、11 三块,模型按版本号或日期理解,直接拿 11 和…
  • 他放弃股权辞职,说AI在拿人命赌博 - 先讲人。Jacob Coxon,27 岁,英国人,数学出身,2016、2017 连续入选英国数学奥赛代表队,剑桥 Trinity College 毕业。 他在 OpenAI 和 Anthropic…
  • 进入 AI 论坛 - 浏览 AI 工具实践、Agent 教程与社区精选讨论