NASEM 研讨会上几乎没人能说出世界观级数学难题
BlancheMinerva · x · 2026-07-21
在 NASEM 关于 AI 与形式化定理证明 的研讨会上，一个让人意外的点是：几乎没人能举出一个真正“牵动世界观”的数学开放问题。作者对此感到很困惑，认为这暴露出学界对“哪些问题最重要”的共识并不清晰。
所属事件:NASEM研讨会暴露AI形式化证明领域痛点(2 条相关)→
「研究」频道最新
- 斯坦福团队推出全球最快分词器 Gigatoken — StanfordAILab · 2026-07-22
- Tabul AI 推出 Metal TreeSHAP，加速 Apple silicon 上的 Shapley 计算 — Scobleizer · 2026-07-22
- Reddit 转发 OpenAI 的 ChatGPT 广告页面 — EcstaticAsparagus509 · 2026-07-22
- 开源 runtime 让每个仓库自定义 AI 代码审查器 — ibabufrik · 2026-07-22
- DeepSWE：专攻真实 GitHub 场景的 AI 编码智能体评测基准 — pmz · 2026-07-22
- Claude 辅助写成的 Rust 太空经济模拟器，能跑数百艘自治船只 — kalcode · 2026-07-22