机构
*
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
机构
*
National University of Singapore(新加坡国立大学)
;
PuzzleLogic Pte Ltd(拼图逻辑私人有限公司)
;
Harbin Institute of Technology, Shenzhen(哈尔滨工业大学深圳校区)
;
Peking Union Medical College Hospital(北京协和医院)
LUCAID: Agentic Multimodal AI for Lung Cancer Precision Pathology
LUCAID:用于肺癌精准病理学的智能体多模态AI
Marie-Lisa Eich, Kai Standvoss, Timo Milbich, Alexander Möllers, Miriam Hägele, Philipp Anders, Lars Tharun, Hanna Kontradiuk, Sebastian Kons, Nader Aldoj, Recepcan Adigüzel, Adam Narai, Lukas Hönig, Jonathan Striebel, Binru Yang, Mihnea P. Dragomir, Marvin Sextro, Philipp Keyl, Philipp Jurmeister, Rosemarie Krupar, Evelyn Ramberger, James Wells, Julika Ribbat-Idel, Andreas Kunft, Hussam Shuaib, Christian Grohé, Reinhard Büttner, David Horst, Klaus-Robert Müller, Lukas Ruff, Maximilian Alber, Frederick Klauschen, Simon Schallenberg
机构
*
Institute of Pathology, Charité – Universitätsmedizin Berlin(柏林夏里特医学院病理学研究所)
;
Freie Universität Berlin(柏林自由大学)
;
Humboldt-Universität zu Berlin(柏林洪堡大学)
;
Berlin Institute of Health at Charité – Universitätsmedizin Berlin(柏林夏里特医学院柏林卫生研究所)
;
Aignostics GmbH(Aignostics有限公司)
;
Machine Learning Group, Technical University of Berlin(柏林工业大学机器学习组)
;
BIFOLD – Berlin Institute for the Foundations of Learning and Data(BIFOLD——柏林学习与数据基础研究所)
;
MVZ HPH Institut für Pathologie und Hämatopathologie GmbH(HPH病理及血液病理诊断中心有限公司)
EMFE: A lightweight, explainable machine learning framework for malaria cell classification
EMFE:用于疟疾病细胞分类的轻量级可解释机器学习框架
Md Abdullah Al Kafi, Walayat Hussain, Mousumi Karmakar, Sumit Kumar Banshal, Ahmed Al Marouf
机构
*
Daffodil International University(水仙国际大学)
;
Peter Faber Business School(彼得·费伯商学院)
;
Australian Catholic University(澳大利亚天主教大学)
;
Alliance University(联盟大学)
;
University of Alberta(阿尔伯塔大学)
CommentsAuthorship and Version Note. This revised preprint is based on the paper accepted at ICANN 2026. Chenwei Li and Takeaki Yajima are included as co-authors for their substantial contributions; they were omitted from the conference submission due to an administrative error. All authors approved this version. The ICANN 2026/Springer version of record remains unchanged
C3VDReg: A Benchmark for Local-to-Local Colonoscopic Registration toward Anatomical Localization
C3VDReg:面向解剖定位的局部-局部结肠镜配准基准
Linzhe Jiang, Jiayuan Huang, Sophia Bano, Matthew J. Clarkson, Zhehua Mao, Mobarak I. Hoque
机构
*
UCL Hawkes Institute(UCL哈维斯研究所)
;
University College London, University of London(伦敦大学学院, 伦敦大学)
;
Division of Informatics, Imaging and Data Sciences(信息学、成像与数据科学部门)
;
University of Manchester(曼彻斯特大学)