AI
计算复杂性博客作者讨论 OpenAI 对数学研究的影响，提出若干非技术性观点，并质疑 Lean 形式化验证能否真正保证证明有效。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。