NASEM 研讨会上几乎没人能说出世界观级数学难题
BlancheMinerva · x · 2026-07-21
在 NASEM 关于 AI 与形式化定理证明 的研讨会上，一个让人意外的点是：几乎没人能举出一个真正“牵动世界观”的数学开放问题。作者对此感到很困惑，认为这暴露出学界对“哪些问题最重要”的共识并不清晰。
所属事件:NASEM研讨会暴露AI形式化证明领域痛点(2 条相关)→
「研究」频道最新
- forking 收官：probe gap 随上下文频率呈幂律，掩蔽低频 n-gram 可缩小差距 — ZimingLiu11 · 2026-10-27
- 续解 forking：后训练重放同样触发，冻结 n-gram 表可缓解 — ZimingLiu11 · 2026-10-27
- 「forking」机制拆解：n-gram 表把 logits 切成互不干扰的子空间 — ZimingLiu11 · 2026-10-27
- Kimi 研究员刘子鸣提出「forking」现象：过编码设计引发周期性突变式过拟合 — ZimingLiu11 · 2026-10-27
- 被称最佳 LoRA 讲解视频：从几何直觉讲到任务内在维度 — sophiamyang · 2026-10-27
- AutoResearch agent 跑出叉形损失曲线，研究者深挖出「forking」现象 — ZimingLiu11 · 2026-10-27