Wesum AI
首页
图谱
主题百科
首页
/
图谱
/
DeepMind AlphaProof
DeepMind AlphaProof
模型
2024 年在国际数学奥林匹克(IMO)中达到银牌水平的 AI 模型
1 次提及
2 个连接
首次出现: 2026-03-31
最近出现: 2026-03-31
关系图谱
关系 (2)
发布 (1)
Google DeepMind
使用技术 (1)
Lean
相关文章 (1)
1.
DeepTech深科技 - 陶哲轩最新论文:拒绝技术至上,AI需要以人为本被重新定义