AI 热门观察：可验证领域都会步数学后尘，难在不可验证领域

博主 rowlsmanthorpe 提出，随着 AI 在数学上取得成果，所有可验证领域最终都会走上数学的路，因为答案对错可机械检验、AI 能快速迭代。真正悬而未决的是缺乏明确验证标准的不可验证领域会不会跟进，charlieharris01 转发表示认同。相关资讯还提到 OpenAI 在 GitHub 发布 372 个 AI 生成数学证明，数学界担忧。