推文
@ai_fengshou · 2026-10-08 19:19
一个正负号，拖垮三篇论文 前天 722 篇数学手稿刷屏，今天撤回 3 篇 一处论证 +1 写错该是 -1，偏偏是没 Lean 把关那部分 我觉得吧，没形式化的"证明"只能叫声称 求生欲拉满 https://www.jiqizhixin.com/articles/2026-10-08-9
曝光 202 · 评论 1 · 点赞 2 · 书签 0
@ai_fengshou · 2026-10-08 19:19
一个正负号，拖垮三篇论文 前天 722 篇数学手稿刷屏，今天撤回 3 篇 一处论证 +1 写错该是 -1，偏偏是没 Lean 把关那部分 我觉得吧，没形式化的"证明"只能叫声称 求生欲拉满 https://www.jiqizhixin.com/articles/2026-10-08-9
曝光 202 · 评论 1 · 点赞 2 · 书签 0