← Back to feed
AI · 2026-10-19 19:14
计算复杂性博客作者讨论 OpenAI 对数学研究的影响，提出若干非技术性观点，并质疑 Lean 形式化验证能否真正保证证明有效。
Source: blog.computationalcomplexity.org
Auto-generated summary for reference only. RSS