芯报丨国内首次实现AI自主解决数学开放问题

聚焦:人工智能、芯片等行业

欢迎各位客官关注、转发

每日芯报

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小时内处理。