十个困扰人类数学家多年的难题已被OpenAI的Astra模型解决，继而继续推动AI驱动的突破，彻底改变该领域。