https://guijiagi.com/tags/%E7%A0%94%E7%A9%B6%E8%B5%84%E6%BA%90/Recent content in 研究资源 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Fri, 09 Oct 2026 10:12:00 +0800https://guijiagi.com/posts/2026-10-09-13-verifiability-biased-research/Fri, 09 Oct 2026 10:12:00 +0800https://guijiagi.com/posts/2026-10-09-13-verifiability-biased-research/OpenAI 用 Lean 可验证证明打了样后，研究资源有向「可形式化」领域集中的倾向。本文警告：可验证性是个好用的筛子，但它会系统性地冷落那些无法被机器盖章的认知领域。