AI 生成数学反例出现在 Mathlib
littmath · x · 2026-07-15
转发内容称，Grothendieck 之前提出的一个问题——“是否每个 order 为 n 的有限局部自由 scheme 都会被 n 杀死”——现在已被证明为假。Akhil Mathew 在 Mathlib 里提交了一个反例 PR。原帖还提到，这份工作看起来是 AI 生成 的。
「Fun」频道最新
- Anthropic 帖子在 Pangram 检测中 100% 判为人类 — alejandroll10 · 2026-10-27
- Slop Eisley:AI 打造星战塔图因风格开放世界浏览器赛车游戏 — jasonkneen · 2026-10-27
- 1 名 AI 末日论者单挑 10 名 AI 支持者的辩论视频 — romanyam · 2026-10-27
- 开发者晒弃用清单：VS Code、Office 全卸载，只用 Claude — One_Improvement_6470 · 2026-10-27
- 用户让 Gemini 列未读邮件，它却答「邮件里没这信息」 — gethackteam · 2026-10-27
- AI 圈新梗：所谓护城河就是「长期在线」 — TheZachMueller · 2026-10-27