标签：逻辑证明

OpenAI o1是真有实力！港大权威AB测试，国家队奥数题照样拿下

香港大学研究人员对OpenAI的Orion-1（o1）模型进行了严格的AB测试，以评估其数学推理能力。研究者通过比较o1在国际数学奥林匹克（IMO）和中国国家队训练营（C...

AIGC动态

16小时前