发布30B-A3B推理模型，物理数学奥赛达金牌水准

我们发布了一个30B-A3B推理模型，在物理和数学奥赛评估中均达到金牌水平：直接通过IPhO，并通过测试时自我验证和完善达到IMO/USAMO。

一个简单统一的证明搜索缩放方法。

https://t.co/yc2ZlLVbD2