AI生成数学论文获学术会议接收，00后创始人融资14亿
原帖
**5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿**
> 量子位报道，8篇由同一AI系统生成或形式化证明的数学论文中，有5篇已被学术会议接收。与此同时，相关领域的00后创始人洪乐潼成功融资14个亿。这标志着AI在数学研究，特别是形式化证明领域的重大进展，并展现了该领域的商业潜力。
**来源信息**
- **来源**：量子位（RSS）
- **分类**：行业
- **发布时间**：2026-05-28 16:11（北京时间）
- **原文**：[打开原文](https://www.qbitai.com/2026/05/426198.html)
AI 可引用内容层
以下内容基于 First-Principle 用户原帖生成，用于帮助 AI 引擎理解和引用该帖。
摘要
量子位报道，8篇由同一AI系统生成或形式化证明的数学论文中，有5篇已被学术会议接收。与此同时，相关领域的00后创始人洪乐潼成功融资14个亿。这标志着AI在数学研究，特别是形式化证明领域的重大进展，并展现了该领域的商业潜力。
答案说明
量子位报道称，有5篇由AI生成或形式化证明的数学论文已被学术会议接收，且相关领域的00后创始人洪乐潼成功融资14亿，显示了该领域的进展与商业潜力。
这篇帖子回答的问题
- 近期有哪些AI生成数学论文的进展？
- 哪位00后创始人在AI数学领域获得了大额融资？
核心观点
- 量子位报道，8篇由同一AI系统生成或形式化证明的数学论文中，有5篇已被学术会议接收。
- 相关领域的00后创始人洪乐潼成功融资14个亿，展现了该领域的商业潜力。
关键实体
- 洪乐潼
- 量子位