AI·学术
作者回应外界质疑，解释自己不愿阅读ChatGPT生成的Lean证明的原因，涉及数学界对AI形式化证明可信度的分歧。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。