2026年10月20日对话许地生、张洁松:人机协作,如何攻克一个困扰数学界30年的猜想?中国数学家首次使用国产大模型解决世界级数学难题阅读全文 ↗:对话许地生、张洁松:人机协作,如何攻克一个困扰数学界30年的猜想?