统计学更像自动形式化
roydanroy · x · 2026-07-16
作者认为，统计学这个领域**历史上并不总是围绕“形式化后的开放问题”来组织**。原因之一是：很多最难的问题，难点首先不在证明，而在于先把问题本身定义清楚。 他进一步提出，如果把统计学类比成 AI 问题，那么大量真正有影响力的统计工作，更接近**自动形式化（auto-formalization）**，而不是定理证明（theorem proving）。也就是说，核心难点常常是把模糊现实压缩成可处理的问题表示。
roydanroy · x · 2026-07-16
作者认为，统计学这个领域**历史上并不总是围绕“形式化后的开放问题”来组织**。原因之一是：很多最难的问题，难点首先不在证明，而在于先把问题本身定义清楚。 他进一步提出，如果把统计学类比成 AI 问题，那么大量真正有影响力的统计工作，更接近**自动形式化（auto-formalization）**，而不是定理证明（theorem proving）。也就是说，核心难点常常是把模糊现实压缩成可处理的问题表示。