AI數學研究

OpenAI、Anthropic攜手助數學界檢驗AI研究成果