AI数学突破:80年代两猜想与2002年猜想被证伪 · AI HOT