AI 数学证明走向开源式协作:方格装箱证明附可视化讲解
ctjlewis · x · 2026-10-07
转发/引用帖:ojoshe 谈 AI 参与数学证明的新模式,以方格装箱(square packing)证明为例——这类刚性几何问题混合了视觉与几何直觉、以及严密的系统化验证论证,他形容为「在布满尖角和狭窄裂缝的洞穴里绘制地图」,不同于高维问题中开阔的下坡搜索。
他认为数学证明正在走向类似软件开源的协作模型:已有 GitHub 仓库、AI 撰写的讲解文档和可交互的可视化证明演示,供任何想理解该证明的人使用。
「研究」频道最新
- Google 开源 EmbeddingGemma 2：740M 参数统一多模态嵌入，Apache 2.0 协议 — testingcatalog · 2026-10-07
- WonderSearch 1.1 发布：查询期智能检索，称 7 项稀疏检索基准全第一 — Scobleizer · 2026-10-07
- NIH 先锋奖近 600 万美元：LLM 生成癌症假设，机器人肿瘤类器官验证 — anshulkundaje · 2026-10-07
- Talia Ringer 团队「证明修复与余代数等价」论文获 POPL 接收 — LingmingZhang · 2026-10-07
- Shopify 开源 SimGym:电商 Agent 实验从数周缩到 1 小时内 — sarahcat21 · 2026-10-07
- TasteVal 基准:Opus 5.5 实验研究品味超人类专家,算力效率达 2.3 倍 — SaxenaNayan · 2026-10-07