南平市:(延平区、建阳区、顺昌县、浦城县、光泽县、松溪县、政和县、邵武市、武夷山市、建瓯市)

运城市:(盐湖区、临猗县、万荣县、闻喜县、稷山县、新绛县、绛县、垣曲县、夏县、平陆县、芮城县、永济市、河津市)

张家口市:(桥东区、桥西区、宣化区、下花园区、万全区、崇礼区、张北县、康保县、沽源县、尚义县、蔚县、阳原县、怀安县、怀来县、涿鹿县、赤城县、张家口经济开发区、张家口市察北管理区、张家口市塞北管理区)

崇左市:(江州区、扶绥县、宁明县、龙州县、大新县、天等县、凭祥市)

揭阳市:(榕城区、揭东区、揭西县、惠来县、普宁市)

遂宁市:(船山区、安居区、蓬溪县、大英县、射洪市)

运城市:(盐湖区、临猗县、万荣县、闻喜县、稷山县、新绛县、绛县、垣曲县、夏县、平陆县、芮城县、永济市、河津市)

临夏回族自治州:(临夏市、临夏县、康乐县、永靖县、广河县、和政县、东乡族自治县、积石山保安族东乡族撒拉族自治县)

保定市:(竞秀区、莲池区、满城区、清苑区、徐水区、涞水县、阜平县、定兴县、唐县、高阳县、容城县、涞源县、望都县、安新县、易县、曲阳县、蠡县、顺平县、博野县、雄县、保定高新技术产业开发区、保定白沟新城、涿州市、定州市、安国市、高碑店市)

嘉兴市:(南湖区、秀洲区、嘉善县、海盐县、海宁市、平湖市、桐乡市)

白银市:(白银区、平川区、靖远县、会宁县、景泰县)

该�项目的32B旗舰模型在多个☹️自动数学定理证明的主要基准测试上均大幅超过之前的最先进开源模型DeepSeek-Prover-V2-671B；而8B小尺寸模型在特定基准上，性能表现�与DeepSeek-Prover…�