TY  - RPRT
TI  - Proving olympiad geometry theorems on a superconducting quantum processor
AU  - Ning Wang
AU  - Zheng-Zhi Sun
AU  - Zhengyi Cui
AU  - Yiren Zou
AU  - Aosai Zhang
AU  - Fanhao Shen
AU  - Jiarun Zhong
AU  - Zehang Bao
AU  - Zitian Zhu
AU  - Han Wang
AU  - Jia-Nan Yang
AU  - Jiayuan Shen
AU  - Gongyu Liu
AU  - Yanzhe Wang
AU  - Yihang Han
AU  - Yiyang He
AU  - Jiahua Huang
AU  - Sailang Zhou
AU  - Xinrong Zhang
AU  - Yaozu Wu
AU  - Zixuan Song
AU  - Jinfeng Deng
AU  - Hang Dong
AU  - Qi Ye
AU  - Weikang Li
AU  - Si Jiang
AU  - Yixuan Ma
AU  - Shuangyue Geng
AU  - Zhide Lu
AU  - Chao Song
AU  - Hekang Li
AU  - Pengfei Zhang
AU  - Qiujiang Guo
AU  - H. Wang
AU  - Dong-Ling Deng
PY  - 2026
UR  - https://arxiv.org/abs/2609.14533
ID  - 2609.14533
ER  -