师从陶哲轩的券商巨头打造“数学超级智能”,要用AI解决千禧年难题,估值已达近9亿美元