Lean on AI 热点追踪 https://ai-news-blog-cg8.pages.dev/tags/lean/ Recent content in Lean on AI 热点追踪 Hugo zh-cn Mon, 14 Sep 2026 01:05:00 +0800 AI 写出数学证明以后，谁来解释它、确认它、获得署名？ https://ai-news-blog-cg8.pages.dev/posts/ai-math-proof-credit/ Mon, 14 Sep 2026 01:05:00 +0800 https://ai-news-blog-cg8.pages.dev/posts/ai-math-proof-credit/ OpenAI 公布 Navier-Stokes 结果及 Lean 形式化工程，数学家同时公开研究与发布经过。证明的逻辑检查、可读性和贡献归属，需要各自的证据。