待验证50% 置信事实精确时间
陶哲轩曾公开使用 GPT 系列模型和 Lean 证明助手来协助研究工作
1
来源数
50%
置信度
长期有效
时效性
2026/9/26
首次发现
来源
涉及实体
相关事实
待验证LeanCopilot 由加州理工学院团队开发，可在 VS Code 中调用 GPT-4、Claude 等模型辅助补全证明步骤73% 相似待验证Claude、GPT 等模型逐渐支持自定义技能（Skills）和工具调用70% 相似待验证GPT模型在修改方法时会主动检查项目中所有调用该方法的地方并一并完成改造70% 相似待验证GPT-5.6提供原生多智能体支持，模型可拉起子智能体进行并行的聚焦工作69% 相似待验证Both GPT series and Claude series models are trained extensively on GitHub open-source code, Stack Overflow Q&A, and technical documentation69% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/952172API
curl https://kongchang.com/api/v1/knowledge/claims/952172MCP
get_claim(id=952172)