数学输出究竟是什么？AI 生成证明与数学理解之争
面对 GitHub 上超 700 份文档的 AI 生成证明，作者认为数学研究的价值不在定理真假，而在理解与交流。他以 2012 年望月新一的 Inter-universal Teichmüller Theory 论文为例，指出若专家因表述不清而无法读懂，证明便未真正传达，定理也不能算确立。
#开源/仓库
Hacker NewsAI 评分3838
RadarAIAI 评分2222 用 AI 更新课件：沿用原模板只换过时案例与截图
有用户提出用 AI 更新课件时应沿用原来的模板，只替换过时的案例和截图，因为每次重新生成一整套容易把一门课做成好几种画风。该帖引用了开源项目 ppt master，称其已获五万多 star，配合 Codex、Claude 或 Workbuddy 使用效果最好。
GitHubAI 评分1212 SenZhangAI 的 foresight-by-ai：用历史校准推演未来的开源档案
SenZhangAI 的 foresight-by-ai 项目以历史校准方法推演未来，公开档案显示当前可重建的 CALIBRATION 配对共 6 条（政治 4 条、商业 2 条、科技 0 条），距协议要求的 12 案仍有缺口。
量子位AI 评分2222 全球AI表达能力集体退化：Opus 5.5 语言能力回升，Gemini 成唯一说人话的AI
开发者吐槽 Claude、GPT、DeepSeek 等模型在 Coding 场景下输出黑话，如"账本15/15全绿""单腿哑火"，被指 CoT 为省 Token 调成"山顶洞语"，Token 消耗量比白话文少 70%。Opus 5.5 语言能力回升，而 Gemini 因输出排版清晰、语言自然，被网友称为唯一还能沟通的 AI。