Shaoan Zhao, Fang Zhao, Xueqiang Guo, Xinpei Su, Huanlin Gao, Qiang Hui, Ting Lu, Fuyuan Shi, Chao Tan, Bikun Yang, Kai Wang, Shiguo Lian
机构
*
Data Science & Artificial Intelligence Research Institute, China Unicom(中国联通数据科学与人工智能研究院)
;
Unicom Data Intelligence, China Unicom(中国联通数据智能)
;
China Unicom Group Co.,Ltd(中国联通集团有限公司)
机构
*
Peking University(北京大学)
;
Beijing Innovation Center of Humanoid Robotics(北京人形机器人创新中心)
;
New York University(纽约大学)
;
University of Electronic Science and Technology of China(电子科技大学)
;
Nanyang Technological University(南洋理工大学)
;
The Chinese University of Hong Kong(香港中文大学)
机构
*
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
Beijing Institute of AI Safety and Governance(北京人工智能安全与治理研究院)
;
School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
Auditing an AI-Generated Mathematical Proof: Human Assessment of OpenAI's Quantum Parallel-Repetition Argument
AI生成数学证明的审计:量子并行重复中一个贪心条件引理的修正
Mikołaj Sienicki, Krzysztof Sienicki
机构
*
Polish–Japanese Academy of Information Technology(波兰-日本信息技术学院)
;
Chair of Theoretical Physics of Naturally Intelligent Systems (NIS)(自然智能系统理论物理研究所(NIS))
Comments8 pages, 5 references. V2: 11 pages, 8 references. Substantially revised. The polarity error reported in v1 is withdrawn: it resulted from loss of an overbar during PDF text extraction, not from an error in the OpenAI manuscript. The revised paper retains and extends the independent human assessment of Chapter 6. No confirmed mathematical error was found in the examined argument