FOCS 2026 开幕,学者调侃:最后一届主要由人类证明定理的顶会
fortnow · x · 2026-11-09
理论计算机科学顶会 FOCS 2026 于 11 月 8-11 日在纽约开幕,学者 fortnow 致意参会者并调侃:这可能是「最后一届定理主要由人类证明的大型理论计算机科学会议」,暗指 AI 正快速侵入定理证明领域。会议含 AI and TCS 联合 workshop,以及量子设备验证、次空间设计等三个 workshop track。半开玩笑的说法折射出学界对 AI 改变数学研究方式的普遍焦虑。
「Fun」频道最新
- 赛博卡车与垃圾箱同框约会，方正审美梗图走红 — Zachly · 2026-11-09
- 程序员梗：Knuth 的文学编程就是最早的 prompt engineering — mishig25 · 2026-11-09
- 纯前端复刻 Copy 按钮动画：代码折纸夹上木写字板 — prasenx · 2026-11-09
- AI 翻车名场面：Gemini 教你用牙齿摘手上的袜子 — conitzer · 2026-11-09
- Slop Eisley:AI 生成的星球大战主题开放世界粉丝游戏亮相 — jasonkneen · 2026-11-09
- alphaXiv 图解新锐 AI 实验室融资：SSI 超 30 亿美元居首 — pmddomingos · 2026-11-09