更正：IMO金牌模型变体更快更优

快速更正：这是我们IMO金牌模型的一个变体，速度更快，针对日常使用进行了优化！我们还将把完整的IMO金牌模型提供给一组数学家，以测试其全部能力的价值。太多新的强大模型了。