2823
全球首颗AI全自动设计CPU！中国团队发布“启蒙1号” 5小时即生成核心（财联社）
老石解读：
中国在人工智能设计芯片这个领域又取得了重大进展。中科院计算技术研究所开发了全球首个无人工干预、由人工智能全自动生成的CPU芯片——启蒙1号，性能和Intel 486相当。启蒙1号是一个32位的RISC-V CPU，完全由AI技术设计，电路规模比GPT-4能设计的电路规模大4000倍，可运行Linux操作系统。使用AI技术，仅凭借测试用例的输入-输出即可自动生成CPU设计。AI花了5个小时设计生成了启蒙1号，流片制造之后，可以成功运行Linux和SPEC CPU 2000程序。这一创新有助于减少人力投入，为未来发现新的体系结构优化提供了参考。
为了自动生成CPU电路，研究人员采用了一种基于二元决策图（BSD）的方法。这种方法可以通过从输入-输出（IO）规范中生成功能猜测图，并逐步增加节点来丰富电路细节。由于这个过程是全自动的，并且由AI控制，所以相比传统CPU开发来说节省了大量时间、减少了大量人工参与的需求。
研究还发现，这种方法蕴含了冯诺依曼架构的知识，生成的CPU设计包括控制单元和运算单元，并可进一步分解为更细粒度的子模块，在解决传统自动化设计方法无法应对的规模和精度挑战方面具有优势。
这项工作在符号主义框架下保证了自动生成的CPU的功能正确性，和传统流程中的逻辑设计和功能验证环节有本质区别。研究人员预测，未来通过符号主义、行为主义和连接主义等不同路径的人工智能交叉探索，自动生成的CPU芯片有望在5年或10年内达到甚至超越人类专家设计的水平，从而彻底改变现有的芯片设计流程。
混乱｜马斯克奇葩新规激怒用户！网友气炸狂喷，推特大宕机（量子位）
老石解读：
马斯克与推特用户展开了激烈的对线，导致推特服务多次中断。马斯克认为AI公司白嫖推特数据，并宣布限制匿名或未验证用户的浏览量，马斯克解释限制访问是为了防止数据被滥用，但这反而引起了用户的不满。一些用户指责马斯克毁了推特，而其他平台如Mastodon则迎来了用户的增加。同时，类似推特的平台Bluesky也受到限速影响，而马斯克的竞品Threads则上线了一段时间。此外，Reddit也开始收费API，导致第三方应用下线。
内幕｜拆解光年之外交易：美团兜底，王慧文5000万美元没了（腾讯新闻深网）
老石解读：
美团宣布以20.65亿人民币收购AGI创业公司光年之外的100%股权。交易完成后，王慧文仅收到1元对价，而A轮股东平价退出。据了解，王慧文前期投入的5000万美元主要用于一流科技股权的收购和日常运营，并成为了创业前期的沉没成本。光年之外的债务主要归A轮投资者持有，且债务超过了其账面值，因此给王慧文1元只是象征性的，主要为了保证各方不受损。
美团以20.65亿人民币收购光年之外的100%股权，此举旨在获得领先的AGI技术和人才，提升在人工智能领域的竞争力。美团此次收购并未付出高昂成本，且预计对财务没有重大影响。
尴尬｜孙正义投资踩雷！2000万用户95%是机器人，这只社媒独角兽倒闭了（创业资本汇）
老石解读：
新兴社交平台IRL创始人自爆“2000万用户”中有95%是机器人伪装而成，并宣布关闭。投资这个平台的人自然血本无归，这里面又发现了软银的身影。
软银集团在2021年6月领投了IRL的C轮融资，投资金额为1.7亿美元。IRL曾入选胡润研究院的全球独角兽榜，估值达到11.7亿美元。然而调查结果显示，IRL的实际用户数量远低于宣称的数字。IRL的董事会决定关闭公司并返还资金。孙正义表示，将从这次失败中吸取教训，同时将继续加码人工智能领域的投资。
现在看来，把Arm成功搞上市，是孙仅剩不多的救命稻草了。
声音｜传台积电遭黑客攻击，被勒索7000万美元！官方回应来了（芯智讯）
老石解读：
台积电遭到LockBit勒索软件组织的攻击，勒索金额为7000万美元，并威胁将公开网络入口点和机密信息。该事件在信息安全界广为传播，相关截图也被曝光。美国FBI、CISA和MS-ISAC将LockBit 3.0定义为勒索软件即服务，并指出其对网络防御和安全构成重大挑战。台积电发布声明称，已知道某IT硬件供应商遭到黑客入侵，但事件不会影响生产和客户信息，并已采取措施加强供应商的安全意识和确认安全标准。另一供应商擎昊科技也宣布遭到网络攻击，道歉并加强信息安全排查与防护。
融资｜OpenAI劲敌Inflection AI筹资13亿美元 微软和英伟达参与认购（科创板日报）
老石解读：
AI初创公司Inflection AI从微软和英伟达等投资者那里筹集了13亿美元的融资，估值达到40亿美元。该公司由谷歌DeepMind联合创始人和领英联合创始人创立，专注于开发面向消费者的人工智能产品，被视为OpenAI的竞争对手。Inflection AI最近发布了聊天机器人Pi，使用类似于ChatGPT的生成式AI技术。公司计划利用融资加强计算能力，开发更强大的基础模型。微软、英伟达以及比尔·盖茨和埃里克·施密特等人都参与了这轮投资。AI领域近年来引发了一波投资热潮，被视为下一个技术前沿。
注：以上内容原文链接、以及更多「加餐」内容，已在知识星球分享。
（注：本文不代表老石任职单位的观点。）
下载ECAD模型
