我们能信任 LLM 判断研究创新性吗？
原文发布 Old Ideas, Novel Problems 研究及 novelty judge 基准。研究通过 ICLR 2026 同行评审挖掘 novelty 信号，构建 Human-Only 与 Human+Generated 两评估设置。
阅读原文 来源：Hugging Face Blog
#OpenAI
Hugging Face Blog一手
The Decoder 数学家称 OpenAI 对其 Navier‑Stokes 证明理解不足
OpenAI 在 9 月公布了一份 166 页、使用 Lean 形式化语言的 Navier‑Stokes 证明草案，声称遵循西班牙数学家 Diego Córdoba 与 Luis Martínez‑Zoroa 的方法。
阅读原文 来源：The Decoder
Ars Technica · AI Researchers use AI to design proteins that cut up other proteins
研究人员利用 AI 蛋白质设计工具，将两种蛋白酶的催化核心替换为新的骨架，生成可切割特定神经系统疾病相关蛋白的酶。该方法有效绕过了自然进化中蛋白酶的复杂多样化过程，展示了 AI 在定向蛋白水解方面的潜力。
阅读原文 来源：Ars Technica · AI