OpenAI的数学解答尚未达到该领域标准OpenAI发布719篇数学问题解答，但数学家指出其未充分遵循相关规范：仅42%的证明完成形式化，部分自然语言证明与Lean代码存在不一致，且缺少关联两者的机器可读元数据

1. 

   科技脉搏

   OpenAI的数学解答尚未达到该领域标准OpenAI发布719篇数学问题解答，但数学家指出其未充分遵循相关规范：仅42%的证明完成形式化，部分自然语言证明与Lean代码存在不一致，且缺少关联两者的机器可读元数据

   5小时前

   

   ×

   

   OpenAI的数学解答尚未达到该领域标准
   
   OpenAI发布719篇数学问题解答，但数学家指出其未充分遵循相关规范：仅42%的证明完成形式化，部分自然语言证明与Lean代码存在不一致，且缺少关联两者的机器可读元数据。专家认为，模型生成的证明仍需人类理解、同行评审和进一步核验。
   
   来源：TechCrunch

   5小时前