OpenAI发布719篇数学问题解答,但数学家指出其未充分遵循相关规范:仅42%的证明完成形式化,部分自然语言证明与Lean代码存在不一致,且缺少关联两者的机器可读元数据。专家认为,模型生成的证明仍需人类理解、同行评审和进一步核验。
来源:TechCrunch
本站内容来自 Telegram 频道,实时更新
订阅频道