每日精选 15000 页数学证明,AI 用 24 天写成 5000 万行 Lean 代码全验证了 人类科学史上规模最大的数学证明,刚刚被 AI 彻底验证了。100 多位数学家耗时几十年、写成 15000 页巨…
每日精选 r/opensource 封杀一切 AI 项目:用 AI 写的、为 AI 做的都不欢迎 开源社区 r/opensource 出了新规:项目用了 AI、由 AI 生成、或是为 AI 而做的,一律不欢迎…