❶长鑫存储增资至约313.9亿

天眼查App显示，近日，长鑫存储技术有限公司发生工商变更，注册资本由约238.9亿人民币增至约313.9亿人民币，增幅约31%。该公司成立于2017年11月，法定代表人为吴丽影，经营范围包含集成电路设计、集成电路芯片及产品制造等，由长鑫科技集团股份有限公司全资持股。（36氪）

❷摩尔线程完成MiniMax H3多模态生成模型适配

今日，MiniMax正式开源多模态生成模型MiniMax H3。同日，摩尔线程基于AI训推一体智算卡MTT S5000及MUSA软件栈，率先完成H3的适配与运行。（36氪）

❸海联金汇等成立新公司，含智能机器人研发业务

企查查App显示，近日，海联精工科技（江苏）有限公司成立，经营范围包含：工业机器人制造；工业机器人销售；智能机器人的研发；服务消费机器人销售等。企查查股权穿透显示，该公司由海联金汇等共同持股。（36氪）

❹“破壳机器人”完成亿美元级Pre-A轮融资

近日，通用具身智能公司“破壳机器人”完成亿美元级Pre-A轮融资。本轮融资由顺为资本与经纬创投共同领投，九坤创投、钧山资本、SEE Fund、猎聘投资、元诺资本、钟鼎资本等多家财务及产业投资机构参与，云启资本、小米战投、弘晖基金、英诺天使基金、东方嘉富等老股东持续加注。（36氪）

海外要闻

❶OpenAI下一代模型Astra曝光，以2000美元算力成本破解十项数学难题

OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。（界面）

❷MiniMax H3正式开源

MiniMax正式开源新一代通用视频模型MiniMax H3。MiniMax H3是一个通用型全模态生成系统。它能够统一理解由文本、图像、视频和音频构成的多模态上下文，并可生成最高2K分辨率、最长15秒、带有原生立体声音频的视频。（36氪）

❸奇瑞将向韩国车企KGM投资7500万美元，拟在机器人、半导体等新业务领域合作

当地时间8月3日，韩国汽车厂商KG Mobility（KGM）宣布与奇瑞汽车签订战略投资协议。根据协议，奇瑞将向KGM投资7500万美元，并在加速新车开发、自动驾驶和基于SDV（软件定义汽车）的尖端电子电气（E/E）架构等方面开展或扩大合作。继SUV“SE-10”之后，两家公司达成协议，将开展第二个联合开发项目。该项目的目标是开发一款适合在中韩欧等全球主要市场销售的战略车型。双方还同意探讨在海外生产及业务枢纽方面的联合投资，旨在拓展全球业务。两家公司另外讨论了汽车以外未来新业务领域的具体合作计划，重点关注机器人和半导体等业务，同意探索联合研究、试点项目和商业化的潜力。在半导体领域，双方同意讨论在汽车半导体方面的联合投资和开发。（界面）