形式化方法社区在 FLoC 讨论如何回应 AI 进展
swarat · x · 2026-07-29
Shriram Krishnamurthi 说，他在 FLoC 2026 的 AIMCS（AI for Math and CS）workshop 上主持了一场 panel，主题是“形式化方法社区应该如何回应 AI 进展”，并把自己对现场问题的回答整理了出来。
这条信息量不在活动本身，而在问题意识：它把焦点放在 AI 进展与形式化方法之间的长期互动——不仅是 AI 能否辅助证明或验证，更是这个领域该如何在方法论和研究方向上调整自己。
「漫话AGI」频道最新
- SEO 与 GEO 之争是伪命题，AI 暴露的是品牌可信度 — lilyraynyc · 2026-07-29
- AI能力见顶？开发者激辩大模型正丧失通用性 — JacquesThibs · 2026-07-29
- 英伟达牵头联名信呼吁「开放权重」，被指偷换开源概念 — alex_verem · 2026-07-29
- 物理智能打开后，AI 也未必能缩短 PMF 过程 — seanmcdonaldxyz · 2026-07-29
- 多项研究显示，AI терапия 回复常被评得比人类更有同理心 — sapinker · 2026-07-29
- 开放权重模型要靠高成本防御微调，而不是空泛安全口号 — walden42 · 2026-07-29