OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。
上榜者还有33 岁月之暗面Kimi创始人杨植麟，月之暗面Kimi是AI时代中国创业公司的典型代表，今年7月17日公司正式发布新一代旗舰大模型Kimi K3，总参数量达到2.8万亿，成为目前全球参数规模最大的开源大模型。
山水是皮囊，文脉是灵魂。作为千年怀府故地，沁阳自公元前205年设县，从公元265年至1913年，一直是郡、州、路、府治所，文脉绵延千年。沁阳市博物馆是读懂沁阳千年历史的窗口；李商隐纪念馆让诗词爱好者趋之若鹜；明代“乐圣”朱载堉在此创立十二平均律；宋学义故居则闪耀着“狼牙山五壮士”的红色光辉。山水相依、文脉相连，让沁阳跳出普通山水县城的同质化局限，有了可品读、可深究、可共情的文旅内核。
第六批集采的锚点价格，为同一竞价单元内入围企业竞价比价价格算术平均价的65%与最低竞价比价价格二者取高值。第七批则不再采用固定的65%比例，而是根据同一竞价单元内入围企业可比申报价的分布情况计算两道锚点价格。
其中老乡鸡的资本化路径极具代表性，五年内五次冲击资本市场，两次主动撤回A股申请，三次港股递表全部到期失效，始终未能进入港交所聆讯环节，成为餐饮企业上市受阻的典型样本。
美韩联合军演的雏形可追溯到朝鲜战争结束后，1968年正式启动“乙支”系列演习，后续逐步发展为当前的年度常态化联合军演体系，目标正是针对朝鲜。
宏观要闻
截至上半年末，兆易创新总资产424.05亿元，较上年末增长98.19%；归属于上市公司股东的净资产372.83亿元，增长96.15%。但其中金融资产占经颇高，尤其是对长鑫科技（688825.SH）投资所带来的收益。
