RecodeX 重构消息，谷歌DeepMind发布AI数学智能体AlphaProof Nexus，成功解决9道悬而未决数十年的埃尔德什问题，每道题算力成本仅几百美元，证明经Lean编译器形式化验证。
谷歌DeepMind发布AI数学智能体AlphaProof Nexus，成功解决...
原始信息来源readhub.cnreadhub.cn
查看原文 ↗更多快讯
查看全部 →股市
新三板创新层第四批初筛名单公布 年内拟调入超220家
RecodeX 重构消息，全国股转系统日前发布第四批创新层进层初筛名单，美通香薰、谷登机械、邦迪智能等12家企业入选，涵盖高端制造、新材料、数字经济等赛道。 至此，今年内累计拟调入创新层企业超过220家，其中五成为国家级专精特新“小巨人”企业，制造业企业占比超过八成，覆盖电气机械、专用设备、汽车零部件、电子通信等关键领…
科技
Robinson Pharma获博士伦颁发2026年9月“超越期待”供应商奖
RecodeX 重构消息，Robinson Pharma, Inc.（RPI）宣布，公司获得博士伦（Bausch + Lomb）颁发的2026年9月“Above and Beyond”（超越期待）供应商奖。RPI总部位于加州圣安娜，是一家提供全方位服务的膳食补充剂与营养保健品合同制造商。
地缘局势
艾德·希兰与克拉夫特各捐200万美元援助加沙
RecodeX 重构消息，罗伯特·克拉夫特表示，艾德·希兰已致电告知将向加沙人道主义救援捐赠200万美元，他本人将等额配捐。克拉夫特在吉列体育场X账号发布的声明中说：“所有生命都值得保护。”此前Macklemore已为巴勒斯坦救援捐款100万美元，目前尚不清楚这些款项具体捐给哪些机构。
地缘局势
瑞士阿尔卑斯山轻型飞机撞山致3人死亡 含两名英国人
RecodeX 重构消息，瑞士当局表示，一架轻型飞机从罗讷河谷起飞，约10分钟后撞上阿尔卑斯山一处山坡，造成机上3人死亡，其中包括两名英国公民。事故原因目前尚不清楚，相关部门正在调查。
股市
Sunbelt Rentals称季度业绩创纪录并上调展望
RecodeX 重构消息，Sunbelt Rentals在摩根士丹利会议上表示，公司刚经历创纪录的一个季度，并据此上调了业绩展望。公司未在会议中披露具体财务数据。
大宗商品
中东冲突扰乱能源供应 中国进口原油价格创历史新高
RecodeX 重构消息，中东冲突升级引发的能源供应中断已传导至全球最大进口原油市场。中国进口原油价格随之升至历史最高水平。