OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。
“这一轮增长更接近结构性增长。”林江说，其最明显的特征是生产端较强，需求端相对偏弱。深圳的产业竞争力正在增强，但增长中也叠加了外需回暖、电子产业周期上行和企业补库存等阶段性因素。
今年1月1日，荆门明确规定新出让土地开发的商品房原则上实行现房销售，成为今年全国首个全域性硬性规定；5月末，南京出让的江心洲地块也明确实行现房销售。
英国广播公司（BBC）报道，这项新功能把谷歌图像生成器Nano Banana 2整合进Google Earth。用户只须输入文字指令，就能在真实卫星图像、航拍图像或三维地图上生成虚构场景，并下载后分享到其他平台。
针对国行版iPhone的调休闹钟功能，用户只需将闹钟设置为“工作日（含调休）”模式，系统便会自动接管闹钟状态：在周末调休上班日，闹钟会准时响起；而在法定节假日或正常休息日，闹钟则自动保持静音。
李莹自己也看到了最近网上关于西贝关店的讨论。员工私下判断，西贝并不是要把所有门店一起关掉，而是在继续筛掉经营表现不好的门店。
Kimi最新发布的K3在OpenRouter周榜单上暂列第10位。该模型总参数达2.8万亿，配备100万Token超长上下文窗口，为当前全球参数规模最大开源大模型。
据日月谭天，针对舆论关注的河北省张家口市康保县“白菜收购环节蘸取甲醛溶液”问题，国务院食安办、农业农村部、市场监管总局高度重视，第一时间指导属地调查核实，依法从严从快处置，对涉事白菜流向进行追查，严防问题产品流入市场。同时举一反三，组织各地立即开展白菜等易腐蔬菜专项抽检和市场排查，一旦发现违法违规行为，将严惩重处、决不姑息，切实维护人民群众饮食安全。
