![]()
聚焦:人工智能、芯片等行业
欢迎各位客官关注、转发
每日芯报
0408期
❶国内首次实现AI自主解决数学开放问题
北京大学北京国际数学研究中董彬教授课题组与合作者组建AI4Math团队,用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。(新华网)
❷新菲光完成新一轮融资,系欧菲光旗下光模块公司
近日,上市公司均胜电子(600699)完成对光模块企业新菲光通信技术有限公司的战略投资,此次为海愿资本首轮及B轮后的追加投资。(爱集微)
❸面壁智能完成新一轮数亿元融资
近日,面壁智能顺利完成新一轮数亿元人民币融资,本轮融资由深圳市创新投资集团(深创投)与汇川产投联合领投。(爱集微)
❹北京君正:目前DRAM产品比较紧俏,DDR4和LPDDR4供不应求
北京君正在互动平台表示,目前DRAM产品都比较紧俏,DDR4和LPDDR4目前确实供不应求,预计今年占比会有提升。(36氪)
海外要闻
❶ 赛微电子拟转让参股子公司瑞典Silex部分股权 推动其境外上市并优化资产结构
4月7日,赛微电子发布公告,公司全资子公司拟在参股子公司瑞典Silex Microsystems AB(以下简称“瑞典Silex”)于瑞典纳斯达克斯德哥尔摩证券交易所(Nasdaq Stockholm)上市之际,转让其持有的部分瑞典Silex普通股股权。此举旨在共同推动瑞典Silex的上市进程与长远发展,同时兼顾公司短中长期利益,优化资产结构。(爱集微)
❷英特尔联手特斯拉 共同推进Terafab先进晶圆厂计划
英特尔(Intel)7日宣布,将协同特斯拉、SpaceX、xAI,共同加入马斯克的巨型晶圆厂Terafab计划,激励该公司股价在当日早盘上扬逾2%。(经济日报)
❸特斯拉上海超级工厂第一季度交付量同比增23.5%
4月7日,记者从特斯拉中国方面获悉,特斯拉上海超级工厂3月交付量持续攀升,超8.56万辆,环比大涨46%。第一季度,特斯拉上海超级工厂交付电动车21.3万辆,同比增长23.5%。(证券时报)
本公众号所刊发稿件及图片来源于网络,仅用于交流使用,如有侵权请联系回复,我们收到信息后会在24小时内处理。
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.