数学论文预印本里，悄悄混进了8篇AI作品。 更准确地说，是8篇由同一个系统生成或形式化证明的数学论文。 初创公司Axiom Math宣布，他们从2026年2月开始提交的8篇论文，到5月28日有5篇已经通过同行评审，登上学术期刊。。 创始人洪乐潼，2001年出生于广州，本科 ...

11 月 27 日晚，DeepSeek 在毫无预告的情况下，于 Hugging Face 和 GitHub 上开源了全新数学推理模型 DeepSeek-Math-V2，685B 参数，从模型名称就可以直接分辨出这是一款专注于数学方面的模型。这是业内首个达到国际奥林匹克数学竞赛（IMO）金牌水平且全面开源的数学模型 ...

数学学术界近日迎来了一场技术地震。初创AI公司Axiom Math对外宣布，其自主研发的AI系统自今年 2 月以来提交的 8 篇数学论文中，已有 5 篇正式通过同行评审并被学术期刊接收。这一突破不仅展示了人工智能在纯数学研究领域的巨大潜力，更标志着AI在解决高难度 ...