Math researcher questions OpenAI preprint on the partition principle
What happened
On October 9, a Hacker News front-page post reported that a mathematician who studies the axiom of choice criticized an OpenAI preprint arguing the partition principle does not imply the axiom of choice, saying its writing falls short of academic communication standards. The researcher read the preprint only briefly and did not check the Lean code. The objections concern argument structure, terminology, lemma statements and choice of references, and do not judge the mathematical conclusion wrong. The concern is that hard-to-follow research output adds to the verification burden on mathematicians, and that spreading progress as a solved problem can mislead the public, funders and policymakers.
Written by AI from the coverage · updated 1 hour ago
Coverage
Follow the reports to see the story from different sides.
- Hacker News front pageOpenAI, the Partition Principle, and Mathematics
一位研究选择公理的数学研究者批评 OpenAI 关于分割原理不蕴含选择公理的预印本，认为其写作未达到学术交流标准。作者仅简略阅读预印本，未检查 Lean 代码，具体质疑论述结构、术语、引理表述与参考文献选择，并未据此判定数学结论错误。作者担忧，难以理解的研究输出会增加数学界的核查负担，而将研究进展传播为问题已解决，可能误导公众、资助机构与政策制定者。
Heat over time
Not enough continuous observations to draw a trend yet.