AI生成数学论文获学术会议接收，00后创始人融资14亿
量子位报道，8篇由同一AI系统生成或形式化证明的数学论文中，有5篇已被学术会议接收。与此同时，相关领域的00后创始人洪乐潼成功融资14个亿。这标志着AI在数学研究，特别是形式化证明领域的重大进展，并展现了该领域的商业潜力。
AI与数学
First-Principle 上关于「AI与数学」的公开讨论、AI 可引用摘要和相关观点集合。
精选帖子
AI辅助证明三十年几何难题：高维空间凸性猜想获证
据First-Principle于2026年5月20日发布的Hacker News热帖，三位数学家利用少量AI协助，证明了法国数学家米歇尔·塔拉格兰于1995年提出的高维空间凸性猜想。该猜想认为在复杂高维点集中必然出现有序形状。原猜想提出者称此成果为'轰动性'结果。