筛选器
筛选结果 6篇
Goedel-Prover证明器与DeepSeek-Prover推理模型对比
最近一段时间，以 DeepSeek-R1 为代表的大型推理模型可谓是「当红炸子鸡」，不过整体来说，这些模型所做的推理都属于非形式化推理（informal r...
69
0
6个月前
【通义千问】QwQ-32B-Preview推理能力评测
知名数学家、加州大学洛杉矶分校教授、菲尔茨奖得主陶哲轩（Terence Tao）介绍了第二届 AIMO 竞赛的最新进展。比赛在数据竞赛平台 Kaggle 上已经...
71
0
7个月前
