当你听说某个AI模型在数学考试中得了满分时,可能会觉得人工智能的数学能力已经超越人类了。然而真实情况远比这复杂。最近这项来自腾讯和中国人民大学的研究揭示了一个令人深思的现象:当我们用真正的前沿数学研究来测试这些AI时,即便是最先进的模型也会暴露出巨大的能力短板。 研究团队开发了一个名为EternalMath的测试系统,它的特别之处在于能够自动从最新发表的数学论文中提取问题。这就好比给AI出题的老师 ...

欢迎收看本期《派评》。你可以通过文章目录快速跳转到你感兴趣的内容。如果发现了其它感兴趣的App或者关注的话题，也欢迎在评论区和我们讨论。值得关注的新App虽然少数派一直在为大家发现和介绍各平台上的优质 ...

资本的热情也很快被点燃。Axiom Math成立仅4个月，就完成6400万美元（约合人民币4.6亿元）种子轮融资，由B Capital领投，Greycroft、Madrona等知名机构跟投，投后估值直奔3亿美元（约合人民币21.39亿元）。B ...

人工智能领域迎来一项突破性进展，DeepSeek团队在最新发表的论文中提出了名为mHC（流形约束超连接）的创新网络架构。这项研究聚焦于解决大规模模型训练中的核心痛点，通过重构神经网络连接机制，为提升模型训练稳定性与可扩展性提供了全新思路。

初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

昨天我们报道了著名科普杂志《Scientific American》 （科学美国人）评选的2025年十大数学突破（The 10 Biggest Math Breakthroughs of ...

几何射手是一款充满魅力的手绘街机游戏。玩家可操控移动火炮，通过瞄准圆形、方形、三角形等各种形状并发射子弹打破它们来释放射击技巧，在这个过程中还能赚取疯狂的连击分数。

I am passionate about all kinds of mathematical algorithms. My background is in pure mathematics, but I had been active in mathematical software development and publishing for more than 10 years ...

近日，Math Inc. 与知名数学家陶哲轩进行了一场深入对话。作为 2006 年菲尔兹奖得主，他近年来在形式化数学与 AI 辅助证明领域的探索引发了学界广泛关注。从 2023 年底领导团队在三周内完成多项式 Freiman-Ruzsa ...

被Meta收购前，Manus背后的公司蝴蝶效应已完成多轮融资，估值在两年内增长近35倍。公开信息显示，2023年公司完成种子轮和天使轮融资，投后估值从约1400万美元提升至5000万美元，投资方为真格基金；2024年完成A轮融资后估值约8500万美元 ...

本报记者李相如近期，全球数学界正悄然上演一场变革，几大标志性事件引发学界的持续关注和热议国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛（IMO）、国际信息学奥林匹克竞赛（IOI）等顶级赛事中斩获金牌级成绩；菲尔兹奖得主陶哲轩借升级后的谷歌Gemini。

实际上，此前DeepSeek推迟R2发布时，即有分析称缺少英伟达芯片是原因之一。如果这种架构规模化铺开，英伟达的生态短期内会得到优势强化，国产芯片则需着力强化编译层的适配。而长期来看，供应mHC架构的AI芯片需要提升存储带宽，并转向更加精细化的设计。