数学家批评 OpenAI 分区原理预印本质量不足，拒绝向 Sam Altman 送威士忌

一位研究选择公理的数学家撰文批评 OpenAI 关于分区原理不蕴含选择公理的预印本，认为其结构混乱、术语失准、引用不当，若投稿期刊应被桌面拒稿。他表示不会兑现向 Sam Altman 送威士忌的承诺，也不愿花时间解读庞大的 Lean 代码，并指出大量低可读性“解答”会迫使数学家停下自身研究进行核查，还可能让公众和资助方误以为 AI 可以取代数学家。