快速导航

定理

相关内容

什么是数论002

网易号
古城孤魂 2025-05-11

DeepSeek-Prover-V2 处理数学研究案例的具体步骤

网易号
AI探索先锋队 2025-05-11

旅行商问题中P等于NP吗？

网易号
一头漂浮在北京的大妞 2025-05-10

为啥头上的“发旋”梳不平？背后藏着这个数学定理……

视频
起喜电影 2025-05-10

高维中的曲率与拓扑

网易号
万象经验 2025-05-09

DeepSeek-Prover-V2携671B参数颠覆数学推理边界

网易号
AI探索先锋队 2025-05-08

全球首个，最接近原版DeepSeek开源复现来了！深夜突袭，再加冕！

网易号
互联网思想 2025-05-08

为什么每个人的头发都有“旋”？这门数学可能藏着物理世界最深刻的真相

网易号
中科院物理所 2025-05-08

FormalMATH：人工智能形式化数学推理的新标杆

网易号
科技行者 2025-05-08

大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%

网易号
量子位 2025-05-08

一般物理系统的自我表征的原则性限制

网易号
CreateAMind 2025-05-04

985大学让老师故意压学生分，只为符合正态分布？这是高中数学没学好,还是......

网易号
超级数学建模 2025-05-03

8条高级思维定律，每一条都非常经典

网易号
冰天暖阳 2025-05-03

参数量达6710亿！DeepSeek发布Prover-V2模型，数学王者来袭【附人工智能行业现状分析】

网易号
前瞻网 2025-05-02

DeepSeek发布了全新开源大模型，实现了数学能力的重大提升！

网易号
moonfdd 2025-05-02

AI数学推理新王者！DeepSeek-Prover-V2登场

网易号
金融界 2025-05-01

DeepSeek公布Prover-V2技术报告，定理证明达到业内最佳

网易号
DeepTech深科技 2025-05-01

深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙

网易号
新浪财经 2025-05-01

致感叹“勤劳无果”的你：请用「帕累托法则」收回你的时间

网易号
一杯咖啡心理 2025-05-01

7B参数比 Kimina 72B 版更强！DeepSeek 新模型将“自动化所有运算”？奥赛生实测能力“太棒”

网易号
InfoQ 2025-05-01

DeepSeek新数学模型刷爆记录！7B小模型发现671B模型不会的新技能

网易号
量子位 2025-05-01

藏师傅代理一图帮了解 DeepSeek 新模型！

网易号
歸藏的AI工具箱 2025-05-01

DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过

网易号
机器之心Pro 2025-05-01

深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙

网易号
新智元 2025-05-01

DeepSeek-Prover-V2：AI 数学推理新王者，88.9% 通过率设新标杆

网易号
IT之家 2025-05-01

DeepSeek「五一礼包」来了！新开源模型数学推理能力大提升｜附实测细节

网易号
AppSo 2025-05-01

DeepSeek再开源！大模型直觉+强化学习新方法：AI 数学证明迎来新突破

网易号
AI寒武纪 2025-05-01

刚刚！DeepSeek-Prover-V2 技术细节公布，附论文

网易号
机器学习与Python社区 2025-05-01

DeepSeek：放假是不可能放假的。671B 新模型已上线，开发者喜提“五一数学题”！

网易号
CSDN 2025-04-30

DeepSeek开源数学模型Prover-V2-671B ，较上代参数量提高近百倍

网易号
DeepTech深科技 2025-04-30

AI数学天花板来了？DeepSeek新模型低调开源，网友直呼：R2指日可待！

网易号
华尔街见闻官方 2025-04-30

DeepSeek开源新模型，6710亿参数支持多种精度

科技
网易科技报道 2025-04-30

刚刚，DeepSeek 开源新模型

网易号
AppSo 2025-04-30

不要思考过程，推理模型能力能够更强丨UC伯克利等最新研究

网易号
量子位 2025-04-29

真正的高手，都是贝叶斯主义者

网易号
学术星球 2025-04-29

管理者受用，九大经典管理理论

网易号
服装精益智能制造俱乐部 2025-04-29

Gemini-2.0夺冠！全球首个几何推理专项评测出炉，淘天集团出品

网易号
量子位 2025-04-28

概率是真实的吗？一次说清频率主义与贝叶斯主义

网易号
质子教授 2025-04-27

灵遁者：任何事件间的关系均可表示为因果-相关连续统上的坐标

网易号
灵遁者起名阁 2025-04-26

中国石油获得发明专利授权：“散射波成像方法及装置”

网易号
证券之星 2025-04-26

不要小看线性回归！

网易号
大数据文摘 2025-04-25

高考物理满分学霸亲授：新质升学机构的模型解题法真香！

网易号
欢颜绘情篇 2025-04-23
没有更多内容了
热点新闻
© 1997-2025 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版