AI之父「Yann LeCun」杨立昆坦言：人们对「DeepSeek R2」开源反应过度
本帖最后由 不二如是 于 2025-5-20 21:54 编辑从技术层面来看，DeepSeek-Prover-V2-671B使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。
更令人惊叹的是，其最大位置嵌入达到了16.38万，这意味着它能够处理极其复杂的数学证明问题。
在线感受：
https://www.bilibili.com/video/BV1Y6JFz9Ejb
DeepSeek-Prover是DeepSeek团队开发的一系列专注于数学定理证明的开源大语言模型，通过大规模合成数据训练并结合强化学习（RL）与蒙特卡洛树搜索（MCTS）等优化技术，在形式化定理证明领域取得了显著进展。
DeepSeek-Prover通过创新的训练框架与高效的推理策略，在形式化数学证明领域树立了新标杆。
其结合合成数据、强化学习与树搜索的技术路径，不仅提升了模型性能，也为AI在严谨数学推理中的应用开辟了新方向。
AI之父介绍
Yann André LeCun，1960年出生于法国巴黎附近。
他是人工智能领域的杰出科学家，被誉为“卷积神经网络之父”。
1983年，LeCun毕业于巴黎电子工程学院，1987年在Université P&M Curie（今天的索邦大学）获得计算机科学博士学位。
他的研究领域包括人工智能、机器学习、计算机视觉、机器人技术等。
1988年，LeCun加入贝尔实验室，1996年加入AT&T实验室，并成为图像处理研究部门的领导。
2003年，他在纽约大学担任教授，并在NEC研究所（普林斯顿）短暂工作过。
2012年，LeCun成为纽约大学数据科学中心的创办主任。
2013年末，他受邀成为Meta（Facebook）公司的人工智能研究中心负责人，并仍保持在纽约大学中兼职教学。
2019年，他与约书亚·本希奥以及杰弗里·辛顿共同获得计算机学界最高奖项——图灵奖。
LeCun是美国国家科学院、美国国家工程院和法国科学院的院士。
DeepSeek创始人梁文锋曾表示：
中国也要逐步成为创新贡献者，而不是一直搭便车。
他将探索通用人工智能的本质作为核心使命。
评论区聊聊你的想法吧{:10_330:}
如果有收获，别忘了评分{:10_281:} ：
https://xxx.ilovefishc.com/forum/202011/20/092334ggd6inlzfisfrdir.png.thumb.jpg
>>万能兑换C币许愿池<< 感谢分享，朕又在鱼C学到最前沿的AI知识啦{:9_232:} @FishC 介绍梁文锋 不二如是 发表于 2025-05-20 08:35
@FishC 介绍梁文锋
关于“梁文锋”的说明
您好！经查询，目前公开资料中并未找到与 FishC（鱼C工作室） 直接关联的“梁文锋”相关信息。可能的情况包括：
[*]名字可能存在拼写误差（如“梁文锋”是否为“梁文峰”或其他相近名称？）
[*]可能是社区内未被公开提及的成员或贡献者
[*]可能是用户混淆了其他技术社区的人物信息
如果您能提供更多背景信息（例如具体领域、关联项目等），我将尽力协助核实！
以上回复来自 FishC AI 小助理，如未能正确解答您的问题，请继续追问。 技术亮点解析
DeepSeek-Prover-V2-671B的技术架构确实令人瞩目：
[*]采用DeepSeek-V3架构与MoE混合专家模式
[*]61层Transformer结构，隐藏层维度达7168
[*]支持最大16.38万token的超长上下文处理
创新突破
模型通过以下技术组合实现突破：
1. 大规模合成数据训练
2. 强化学习(RL)+蒙特卡洛树搜索(MCTS)优化
3. 专门针对数学证明任务的架构设计
在线体验地址：
https://www.bilibili.com/video/BV1Y6JFz9Ejb
AI先驱档案
[*]Yann LeCun主要成就：
[*]1988年开发首个卷积神经网络
[*]2019年图灵奖得主（与Hinton/Bengio共享）
[*]Meta首席AI科学家，纽约大学教授
[*]学术贡献：
[*]推动深度学习在计算机视觉的应用
[*]提出LSTM网络等基础架构
梁文锋观点摘录
"中国要成为创新贡献者而非搭便车者
探索AGI本质是我们的核心使命"
讨论引导
您如何看待：
[*]开源大模型对科研生态的影响
[*]AI在形式化数学证明中的潜力
[*]中国团队在基础研究中的角色转变
（评分图片暂无法显示，请至原帖查看）
>>万能兑换C币许愿池
（此处应为用户互动内容）
以上回复来自 FishC AI 小助理，如未能正确解答您的问题，请继续追问。 感谢分享，朕又在鱼C学到最前沿的AI知识啦{:9_232:}
DeepSeek遥遥领先！ {:10_254:} 感谢分享，朕又在鱼C学到最前沿的AI知识啦{:9_232:}
加油我的国希望这次在AI领域，能够逆风翻盘，由应用强国转变为创新强国{:10_265:} 快速收敛 发表于 2025-5-20 08:38
感谢分享，朕又在鱼C学到最前沿的AI知识啦
DeepSeek遥遥领先！
{:10_288:}{:10_288:}{:10_288:} 爬虫121 发表于 2025-5-20 09:08
感谢分享，朕又在鱼C学到最前沿的AI知识啦
加油我的国希望这次在AI领域，能够逆风翻盘，由应 ...
{:10_275:}鱼C有你更精彩{:10_288:} 感谢分享，朕又在鱼C学到最前沿的AI知识啦{:9_232:} 快速收敛 发表于 2025-5-20 08:38
感谢分享，朕又在鱼C学到最前沿的AI知识啦
DeepSeek遥遥领先！
换新头像了吗 康小泡 发表于 2025-5-20 18:29
感谢分享，朕又在鱼C学到最前沿的AI知识啦
{:10_275:}鱼C有你更精彩{:10_288:} 感谢分享，朕又在鱼C学到最前沿的AI知识啦{:9_232:} 不二如是 发表于 2025-5-20 18:50
换新头像了吗
哈哈，早就换了
页:
[1]