国家科学院会议讨论 AI 时代的数学形式化与知识组织
AlexKontorovich · x · 2026-07-22
National Academies 举办的“AI 与形式化时代的数学知识组织”会议今天结束，发帖者转述了现场讨论，并附上会议照片。
这条帖子的核心信息不是某个模型或产品，而是数学界正在认真讨论：AI、形式化方法和激励机制会如何改变数学知识的组织、传播与研究方式。
「漫话AGI」频道最新
- Heather Alexander 认为 AI 意识禁令法案可能无效 — dioscuri · 2026-07-22
- 白宫科学报告称这是重建科研体系的百年机会 — ctjlewis · 2026-07-22
- 代理式 AI 或驱动 3-5 万亿美元交易，加密成支付层 — 0xSammy · 2026-07-22
- 戛纳对话：AI提效，但好故事仍依赖好奇心 — rwlord · 2026-07-22
- 一条转发把 STRIDE 视作神经推理与符号保证的结合路径 — williamtp · 2026-07-22
- 建筑师谈技术影响：Pinterest和LLM可能让人陷入重复循环 — nwilliams030 · 2026-07-22