热点
"IneqMath" 相关文章
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
机器之心 2025-06-22T22:50:49.000000Z
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
机器之心 2025-06-22T22:47:58.000000Z
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
机器之心 2025-06-22T07:57:50.000000Z