（AI大观日报会为您推送每日的AI热点新闻，其中所有的概述及要点都由AI自动总结生成。若想查看详细内容，可点击标题进入原文）
世界首颗AI全自动设计CPU！中国团队重磅推出，性能堪比486，规模提升4000倍
文章来源：新智元
概述
中科院计算所等机构推出了世界首个完全由AI设计的CPU芯片，不仅比目前GPT-4所能设计的电路规模大了4000倍，而且性能也达到了与Intel 486相当的水平。
要点
- 🧑💻 中科院计算所等机构推出了世界首个完全由AI设计的CPU芯片。
- 📈 该芯片比目前GPT-4所能设计的电路规模大了4000倍。
- 💻 这颗完全由AI设计的32位RISC-V CPU，相比GPT-4目前所能设计的电路规模大4000倍，并可运行Linux操作系统，且性能堪比Intel 486。
- 🤖 该方法在5小时内生成了超过4,000,000个逻辑门的32位RISC-V CPU——启蒙1号（见图1），比目前GPT-4所能设计的电路规模大4000倍。
- 🌟 启蒙1号是世界上首个无人工干预、全自动生成的CPU芯片。该方法甚至自主地发现了包含控制器和运算器等在内的冯诺依曼架构，为后续发现人类未知的体系结构优化知识提供了参考。
大模型帮陶哲轩解题、证明数学定理：数学真要成为首个借助AI实现突破的学科了？
文章来源：机器之心
概述
本文介绍了机器学习在数学领域的应用，包括神经定理证明、数学公式生成、数学语义搜索等。文章提到了一些开源工具，如LeanDojo和ReProver，以及一些研究成果，如OpenAI的神经定理证明器和DeepMind的AlphaCode。
要点
- 🤖 机器学习在数学领域的应用正在逐渐增多。
- 🧮 神经定理证明、数学公式生成、数学语义搜索等都是机器学习在数学领域的应用。
- 📚 开源工具LeanDojo和ReProver可以帮助研究者进行神经定理证明。
- 🏆 OpenAI的神经定理证明器和DeepMind的AlphaCode是一些研究成果。
