FloC 2026 的 AIMACS 工作坊 7 月 25 日举行
swarat · x · 2026-07-21
FloC 2026 里的 AIMACS 工作坊定在 7 月 25 日，主题是 AI for Math and Computer Science。
主要内容包括：
- @KaiyuYang4 的 AI 辅助定理证明教程
- Clark Barrett 和 Sorrachai Yingchareonthawornchai 关于 CSLib / Lean 计算机科学库的教程
- @lorisdanto、@gtsoukal、Moa Johansson 的报告
- 一场关于 计算机科学界如何回应 AI 进展 的圆桌，作者将主持，参与者包括 @vardi、@ShriramKMurthi、Pavithra Prabhakar 和 Armando Solar-Lezama
- 还有多场 poster 展示
「漫话AGI」频道最新
- 转发称开源实验室可蒸馏出 32GB 显存级 SOTA 模型 — bookwormengr · 2026-07-21
- 两家美国公司在用超级智能加速下一代模型研发 — yacineMTB · 2026-07-21
- MIT Sloan：信息、国安和金融最易受 AI 冲击 — Exp_Mark · 2026-07-21
- IMF 预测 AI 未来十年或拉动非洲经济增长 4% — Polymarket · 2026-07-21
- Bluesky 上的 “AI con” 争论在变事实，不变姿态 — iskander · 2026-07-21
- 帖子称，竞争正把 AI 推进得前所未有地快 — eyishazyer · 2026-07-21