热点
"不等式证明" 相关文章
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
36氪 - 科技频道 2025-07-17T08:59:27.000000Z
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
AI前线 2025-07-17T06:58:38.000000Z