国家科学院会议讨论 AI 时代的数学形式化与知识组织
AlexKontorovich · x · 2026-07-22
National Academies 举办的“AI 与形式化时代的数学知识组织”会议今天结束，发帖者转述了现场讨论，并附上会议照片。
这条帖子的核心信息不是某个模型或产品，而是数学界正在认真讨论：AI、形式化方法和激励机制会如何改变数学知识的组织、传播与研究方式。
「漫话AGI」频道最新
- 实验猴荒：中国 3-5 万美元一只，繁育周期 4 年成药物临床前瓶颈 — zebird0 · 2026-10-27
- CJR 批评记者滥用「rogue」：别把 AI 写得像有了人性 — ShakeelHashim · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍，不用 AI 写信反而更易突围 — AI4Code · 2026-10-27
- Weil 律所崩塌复盘：击垮 BigLaw 的不是商业模式，是信心 — jkubicki · 2026-10-27
- Transformer 论文八位作者全部离职，Google 白送竞争对手万亿价值 — signulll · 2026-10-27
- Anthropic S-1 写明两大 AI 愿景：治愈疾病与覆盖 46 亿缺医人口 — petergyang · 2026-10-27