OpenAI, the Partition Principle, and Mathematics

一位研究选择公理的数学研究者批评 OpenAI 关于分割原理不蕴含选择公理的预印本，认为其写作未达到学术交流标准。作者仅简略阅读预印本，未检查 Lean 代码，具体质疑论述结构、术语、引理表述与参考文献选择，并未据此判定数学结论错误。作者担忧，难以理解的研究输出会增加数学界的核查负担，而将研究进展传播为问题已解决，可能误导公众、资助机构与政策制定者。