henry 发自 凹非寺 量子位 | 公众号 QbitAI GPT-5，你这家伙！ 究竟还有什么事是我不知道的？ 在一篇最新论文中，研究人员让它挑战了5个尚未解决的优化猜想。 结果它居然解出了其中3个！ 更令人吃惊的是，其中有一道题，它甚至给出了与研究者预期完全不同的、同样有效的证明方案。 它可不是"笨蛋"研究生，而是能展现出独创性的"聪明"博士生。 前微软研究副总裁、现OpenAI科学家Sebastien Bubeck表示： 和国际数学奥林匹克（IMO）那些为"人类天才高中生"准备的题目不同，这次的测试题需要博士水平的研究者花上几天才能完成。 在论文里，研究者们还特意"挑衅" 陶哲轩 对大语言模型数学能力的印象—— 这意味着GPT-5能够解决一些真正的开放性数学问题。 接下来，就让我们看看，这位AI数学天才是怎么炼成的。 "哥德尔"测试 如上所述，GPT-5这次挑战的并不是奥赛题，而是高等数学里的简单猜想。 求解这类问题不仅需要算术能力，还需要相当强的数学背景和逻辑推理能力。 研究人员把他们的测试称为： 哥德尔测试 。 哥德尔测试里的问题需要人自己动脑、经过训练才能解决，而且在现有文献中找不到现成答案。 （ ...

数学家们一直痴迷于能够解决复杂数学问题的人工智能。 OpenAI 等机构开发这些模型的部分开发者 认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工 智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。 斯坦福大学数学博士生 Carina Hong 就是其中一员，她正与投资者洽谈，为其新创公司 Axiom 筹集 5000 万美元资金，该公司致力于开发数学解题 AI 。 据知情人士透露，虽然尚未推出产品，但 Carina Hong 正以 3 亿至 5 亿美元的估值进行融资谈判。交 易尚未完成，条款可能变更。 其中一位知情人士表示，曾投资 Glean 、 Perplexity 、 Writer 和 Poolside 等知名 AI 企业的 B Capital 正洽谈领投本轮融资，目前交易尚未最终敲定。 Carina Hong 向潜在投资者表示， Axiom 将开发基于形式化数学证明训练的人工智能。这些证明通过 已被验证的定理（即公理）来展示数学陈述的真实性。 Carina Hong 向潜在支持者透露， Axiom 计划将其最终产品出售给对冲基金 ...