OpenAI内部模型据称可自主解决前沿数学研究问题,包括发现证明、编写代码和调整策略,若能力泛化将加速科学发现 · AIWatch