诊断工具 - AI话题

2024-08-18

DeepSeek开源专攻数学定理证明的大模型，刷新高中及大学级别基准SOTA，降低形式化数学门槛；同期亚马逊开源RAGChecker诊断工具，系统评估检索增强生成在数学问答中的事实忠实度，标志数学AI正从“做题”走向“证题”与“诊断”并行的新阶段。

AI快开门