AI 生成数学反例出现在 Mathlib
littmath · x · 2026-07-15
转发内容称，Grothendieck 之前提出的一个问题——“是否每个 order 为 n 的有限局部自由 scheme 都会被 n 杀死”——现在已被证明为假。Akhil Mathew 在 Mathlib 里提交了一个反例 PR。原帖还提到，这份工作看起来是 AI 生成 的。
「Fun」频道最新
- 「把末日论者全赶出 AI 公司」,mark_k 引发安全派论战 — mark_k · 2026-09-11
- longevity 领域博主:只剩一件事要做——活到衰老被攻克那天 — rand_longevity · 2026-09-11
- a16z 合伙人呼吁国有化前沿 AI？作者道歉：可能被钓鱼了 — S_OhEigeartaigh · 2026-09-11
- Linus 并不用 GitHub 写内核：绿格子其实来自邮件列表工作流 — _jaydeepkarale · 2026-09-11
- AI 五年改变世界,Google Docs 却仍把「compute」当名词标错 — ohlennart · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11