TY  - RPRT
TI  - AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
AU  - Yuanhang Liu
AU  - Beichen Wang
AU  - Peng Li
AU  - Yang Liu
PY  - 2025
UR  - https://arxiv.org/abs/2510.26380
ID  - 2510.26380
ER  -