FLOC26 面板将讨论 AI 进展对 CS 和形式化方法的影响
swarat · x · 2026-07-23
FLOC26 期间将举办一场 AIMACS workshop panel，讨论 AI 进展对计算机科学与形式化方法未来意味着什么。
这场 panel 定在 7 月 25 日周六 5:15 pm，参与者包括 Vardi、Shriram Krishnamurthi、Armando Solar-Lezama 和 Pavithra Prabhakar。发帖者表示自己会主持，并计划就 AI 进展对学科未来的影响提出尖锐问题。
所属事件:FLOC26 将举办 AIMACS 工作坊探讨 AI 影响(2 条相关)→
「漫话AGI」频道最新
- Phil Venables 说 AI Agent 终将需要类 SEC 的问责框架 — philvenables · 2026-07-23
- 一段视频称，经济模型指向 AI 可能引发知识坍塌 — Tasty-Aspect-6936 · 2026-07-23
- Mat Dryhurst 认为线上创作者市场已彻底扁平化 — matdryhurst · 2026-07-23
- 这个数学梗把 LLM 批评变成了往 arXiv 扔不懂的理论 — airkatakana · 2026-07-23
- X 上拉黑更温和，但作者催大家别再灌水谈 AGI — suchenzang · 2026-07-23
- AI 可能像 AlphaGo 改变围棋那样改变数学 — Kangwook_Lee · 2026-07-23