OpenAI公布722份数学证明，引发对人工验证负担的担忧
报道称，OpenAI公开了722份由AI生成的数学证明，涉及17个领域的难题。这些证明据称可以通过机器验证，但许多内容难以被人类理解。报道还提到，部分错误可能影响多项相关结论。数学家因此需要投入大量精力审查和解读这些成果。当前AI能否提出真正的新数学思想，而不只是组合已有知识，仍是一个待回答的问题。
本文来源：AIbase，仅供学习参考，版权归原作者所有。