PyTorch 联合创始人 Song 客座弗吉尼亚理工,讲形式推理与可验证 Agent
wellecks · x · 2026-09-21
psong1 在 Virginia Tech 机器学习课程(ECE 4424/CS 4824)客座讲授《AI 中的形式推理：从下一步预测到可验证推理 Agent》，讲义和 Slides 已公开。
讲座尝试把多个主题串成一个连贯故事：LLM 推理失败的案例、神经符号系统、Lean 形式化证明、搜索、人机协作、自适应与可验证软件，并让学生动手实现其中一部分。
课程为 2026 秋季学期，每周两次课，含随堂测验与项目展示环节，日程通过 Google Sheets 自动更新。
「公司和人」频道最新
- 马斯克放话：Grokipedia 广度深度准确度将超维基百科几个量级 — ns123abc · 2026-09-21
- OpenAI 机器人团队招聘激增，关闭五年后重返具身智能赛道 — ocean_protocol · 2026-09-21
- OpenAI 机器人岗位从 11 个增至 27 个，底薪最高 50 万美元 — Dr_Singularity · 2026-09-21
- Anthropic 在湾区建生物湿实验室,计划让 Claude 指挥实验机器人 — FinanceYF5 · 2026-09-21
- Meta 把 AI Agent Muse 做成口袋萌物,差异化打法引热议 — alexandr_wang · 2026-09-21
- 《Practical Cryptography for Developers》免费上线,可配 AI 导师阅读 — burkov · 2026-09-21