Wesum AI
首页
图谱
主题百科
首页
/
图谱
/
AlphaProof
AlphaProof
模型
DeepMind AI Co-Mathematician 调用的专长引擎之一
11 次提及
8 个连接
首次出现: 2026-05-10
最近出现: 2026-07-24
关系图谱
关系 (8)
发布 (2)
Google DeepMind
Google
使用技术 (2)
强化学习
形式化证明助手
竞争 (2)
GPT-5.6 Pro
AlphaGeometry
应用于 (1)
AI科研助手
基于 (1)
基准测试
相关文章 (11)
1.
"AGI Hunt" - 强化学习之父：生成式AI永远无法做出真正的发现
2.
人工智能学家 - WAIC首日图灵奖得主萨顿重磅演讲：大模型不具备原生智能，AI正迈入“经验时代”AI前线2026年7月17日15-28北
3.
硅星人Pro - 萨顿WAIC2026最新演讲：现在的AI还不算真智能，我们正迈入经验时代
4.
AI有道 - 2026IMO中国满分屠榜，上海中学横扫金牌！GPT-5.6再现AlphaGO时刻
5.
新智元 - AI不到两小时搞定一章博士论文，菲尔兹奖还能撑到2030年吗？
6.
AI前线 - WAIC首日图灵奖得主萨顿重磅演讲：大模型不具备原生智能，AI正迈入“经验时代”
7.
AI信息Gap - 图灵奖大佬WAIC泼冷水：大模型只是「知识搬运工」，这条路快到头了
8.
InfoQ - WAIC进行时图灵奖得主萨顿重磅演讲：大模型不具备原生智能，AI正迈入“经验时代”
9.
人工智能学家 - 图灵奖得主萨顿WAIC2026最新演讲：现在的AI还不算真智能，我们正迈入经验时代
10.
新智元 - 2026IMO中国满分屠榜，上海中学横扫金牌！GPT-5.6再现AlphaGO时刻
11.
新智元 - AI能拿菲尔兹了？Grok摸鱼8分钟，破解30年数学猜想！马斯克秒转