斯坦福推出CausalSmith,自动化因果推断研究
CausalSmith可自动开展理论因果推断,并用Lean验证证明、审计论文表述,探索研究智能体与形式化验证结合。详情:https://x.com/StanfordAILab/status/2110503481559970260[3]
本期重点关注【Gemini 4 Argon扩大科研与API开放】、端到端AI研究智能体及大模型训练与预测分析工程优化等进展。