OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。
闫振介绍，一是坚决拔除难啃的“硬骨头”。开展三大片区两年集中攻坚行动，实施科尔沁沙地和浑善达克沙地综合治理项目，全面建成辽蒙边界千里阻沙带；实施库布其、毛乌素、腾格里、乌兰布和沙漠、阴山北麓和湟水河流域等综合治理项目，集中整治刘拐沙头、沙坡头、贺兰山-阴山沿线风蚀区、季节性沟谷河流等关键节点；实施塔里木河、石洋河、祁连山北麓、巴丹吉林沙漠边缘等综合治理项目，织密加厚环塔“绿围脖”，贯通河西走廊锁边林草带。在干旱少雨地区，培育以灌草为主体的林草生态系统。
工信部：将研究起草动力电池退役相关行政法规
进入今年一季度，公司归母净利润进一步下滑1503.44万元，同比骤降60.76%。2026年上半年，公司各项期间费用增速全面跑赢17.42%的营收增速：销售费用1890.46万元，同比大增52.36%；管理费用1.1亿元，同比增长22.91%；财务费用959.62万元，同比暴涨121.77%。
机上餐食上，新航深耕全球化风味，同时保留南洋本土烟火气，沙爹、海南鸡饭、鱼片粉等本地美食常驻菜单。针对两舱旅客，新航在中国内地指定航班上，推出“食全时美”头等舱餐食与“食全味美”商务舱系列美食。
上述开发者认为，DeepSeek Harness是真正由社区驱动开发的产物。如果后续它针对Codex和Claude Code完成优化，有望和Pi Agent平起平坐。Pi‑Agent是由Mario Zechner发起、Earendil‑Works维护，采用MIT协议开源的轻量AI智能体运行框架。
具体到个人AI战略，贾朝晖称，联想围绕个人智能构建的是“一体多端”，即PC、手机、平板等设备由天禧AI连接。
互联网类企业方面，围绕业务模式可持续性、行业竞争风险、核心运营指标波动设置核查要求；技术层面重点关注技术创新性、对运营的赋能效果与产业融合价值。针对信息系统高度依赖的特征，补充系统可靠性、数据质量的核查标准，细化经营数据与财务数据的一致性核验；同时针对广告、内容运营、零售电商、品牌代运营、撮合交易等不同业态明确差异化关注要点，覆盖虚拟产品、无形资产、资产置换等新型业务场景。
