今日热点:
1.李开复麾下大模型公司零一万物上线,数十位核心成员就位
2.陶哲轩转赞!ChatGPT自动证明重大突破,10年后AI将称霸数学界
李开复麾下大模型公司零一万物上线,数十位核心成员就位
文字来源:量子位
概述
本文介绍了由李开复领导的新兴AI公司零一万物的上线情况。零一万物是一家专注于开发大规模AI模型的公司,已经在短短三个月内取得显著进展,包括实现百亿参数规模的模型内测。该公司的目标是通过自研大模型,构建连续、可控、科学化的训练能力,推动AI 2.0时代的创新生态。
要点
- 🚀 零一万物上线:由李开复领导的AI公司零一万物正式上线,专注于开发大规模AI模型,并已在三个月内实现百亿参数规模的模型内测。
- 🌍 全球招募顶尖人才:零一万物的总部位于北京,但面向全球招募顶尖人才,已经聚集了数十名核心成员,包括前阿里巴巴副总裁、前百度副总裁等。
- 🛠️ 技术路线:零一万物选择自研大模型的路线,构建数千卡GPU集群进行训练、调优和推理,以提高数据有效参数量和使用的高质量数据的密度。
- 🌱 AI 2.0生态:零一万物旨在通过自研大模型,加速打造AI 2.0的全新创业生态,包括技术、平台和应用多个层面。
- 🤝 开放合作:零一万物计划推出开源的模型版本,吸引优秀人才共同提升模型,推动全球AI 2.0的开发者生态。
陶哲轩转赞!ChatGPT自动证明重大突破,10年后AI将称霸数学界
文字来源:新智元
概述
这篇文章介绍了AI在数学领域的最新进展和挑战,包括使用ChatGPT证明数学定理的重大突破,以及数学家们对AI的态度和期待。
要点
- 🚀 ChatGPT是一个基于大语言模型的系统,可以自动证明数学定理,引起了数学界和科技界的关注和赞誉。
- 🤔 数学家们对AI的作用有不同的看法,有些欢迎AI辅助数学研究和教学,有些担心AI破坏数学美学和逻辑。
- 🧐 数学也是一个探索AI原理和推理能力的试金石,有些AI系统可以找到真理,但难以解释为什么。
(AI大观日报会为您推送每日的AI热点新闻,其中所有的概述及要点都由AI自动总结生成。若想查看详细内容,可点击标题进入原文)
6666666