AI與科學

數學界的GitHub時代：當AI遇上千年證明傳統