国家科学院会议讨论 AI 时代的数学形式化与知识组织
AlexKontorovich · x · 2026-07-22
National Academies 举办的“AI 与形式化时代的数学知识组织”会议今天结束，发帖者转述了现场讨论，并附上会议照片。
这条帖子的核心信息不是某个模型或产品，而是数学界正在认真讨论：AI、形式化方法和激励机制会如何改变数学知识的组织、传播与研究方式。
「漫话AGI」频道最新
- Anthropic 风险表态遭误引，2030 年毁灭概率争议再起 — davidmanheim · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11