我们正站在数学领域一场深刻变革的临界点上 —— “Vibe Proving”（氛围式证明 / 语义式证明）已经到来。 来自 @HarmonicMath 的 Aristotle 模型刚刚在 @leanprover 中独立证明了 Erdős（埃尔德什）第 124 号问题。这个问题自从发表于 Acta Arithmetica（《算术学报》）论文《整数幂集合的完备序列》（Complete sequences of sets of integer powers）并被提出为猜想后，已经悬而未决近 30 年。 Boris Alexeev 使用的是最新版（测试版）的 Aristotle，具备更强的推理能力与自然语言交互界面，使其能够成功完成这项证明。 数学超级智能 正在以分钟级的速度逼近，而我确信，它将改变并极大加速数学及所有依赖数学的学科的发展进程。 We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica. Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface. Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
Vlad TenevCEO and Co-Founder of Robinhood
观点原文
我们正站在数学领域一场深刻变革的临界点上 —— “Vibe Proving”（氛围式证明 / 语义式证明）已经到来。
来自 @HarmonicMath 的 Aristotle 模型刚刚在 @leanprover 中独立证明了 Erdős（埃尔德什）第 124 号问题。这个问题自从发表于 Acta Arithmetica（《算术学报》）论文《整数幂集合的完备序列》（Complete sequences of sets of integer powers）并被提出为猜想后，已经悬而未决近 30 年。
Boris Alexeev 使用的是最新版（测试版）的 Aristotle，具备更强的推理能力与自然语言交互界面，使其能够成功完成这项证明。
数学超级智能 正在以分钟级的速度逼近，而我确信，它将改变并极大加速数学及所有依赖数学的学科的发展进程。
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.
Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica.
Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface.
Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
Sharing
相关观点
- 人工智能之所以引发人们对失业的恐惧，是因为大多数人并没有分享它带来的上行收益 AI is creating fear about jobs because a majority of people have no stake in the upside.Vlad Tenev · 2026/02/07
- 创新很少会让我们要做的事情变少；它通常只是让我们去做一些不同、但同样值得做的事情。 Innovation rarely leaves us with less to do. It usually leaves us with different things worth doing.Vlad Tenev · 2026/01/16
- 在这段访谈中，Robinhood 首席执行官弗拉德·特内夫（Vlad Tenev）讨论了公司在 2025 年取得的巨大成功（市值约 1000 亿美元）以及对 2026 年的展望。 以下是视频核心观点和内容的整理： 1. Robinhood 的转型与业务扩张 从单一到多元： 特内夫指出，Robinhood 已经从一家仅靠期权、加密货币和股票业务的公司，转变为拥有 11 条年收入超过 1 亿美元 业务线的“全天候”金融平台 。 业务构成： 这些业务线包括交易佣金、银行卡产品、现金扫描计划（High Yield offering）、融资融券（Margin）、以及拥有 400 万订阅者的 Robinhood Gold 服务。 未来目标： 公司的长期目标是成为下一代人的“主要钱包”，不仅限于美国零售市场，还要向全球化以及机构业务扩张。他预测 10 年后，公司一半以上的收入可能来自美国以外及机构客户。 2. 预测市场（Prediction Markets）的爆发 2024 大选是转折点： 预测市场在 2024 年大选期间迎来了“超速增长”，现在已成为一种重要的新闻和信息来源。 颠覆保险业： Robinhood 已经推出了天气预测市场。特内夫认为，这类产品未来可以演变为个性化的保险工具，例如通过对冲火灾或飓风风险来颠覆传统保险业 。 市场诚信： 针对“刷单”或操纵的担忧，他强调公司正在利用数十年积累的股票市场监控工具来确保预测市场的诚信。 3. AI 助手与代币化（Tokenization） Robinhood Cortex： 公司推出了 AI 模型 Cortex，它可以直接与用户对话，拥有用户的财务背景和实时市场数据，用户甚至可以通过语音让 AI 扫描市场并下单交易。 资产代币化： Robinhood 在欧洲已经实现了 1500 支股票的代币化。特内夫认为，代币化将解决私人资产（如私人公司股份、艺术品、名车）缺乏流动性的问题，实现 24/7 交易。 私人公司投资： 他致力于让普通散户也能像风投一样投资早期创业公司，通过“Robinhood Ventures”等产品解锁私人市场的投资机会。 4. Harmonic 与数学超智能 数学超智能： 特内夫是 Harmonic 公司的联合创始人，该公司旨在开发能够解决顶级数学难题（如黎曼猜想）的 AI。 最新突破： 他们的模型 Aristotle 已经在顶级数学竞赛（Putnam）中获得了 10/12 的高分，并且已经开始自主解决或协助解决一些尚未解决的数学难题（如 Erdos 问题）。 终极愿景： 通过解决数学问题，进一步解锁理论物理（如统一场论），最终可能为超光速旅行等工程学奇迹奠定基础。 5. 散户投资者的成熟 健康度提升： 与 2021 年的“迷因股（Meme stocks）”热潮不同，现在的散户投资者更加多元化，投资目标也更具实质性（如 AI 基础设施公司），而不是追逐虚无缥缈的故事。 收益呼叫（Earnings Calls）的革新： Robinhood 彻底改变了财报会议的形式，将其从枯燥的朗读变为类似 NBA 赛后采访的实时视频直播，吸引了数万名散户参与。 总结： 2026 年的 Robinhood 正在利用 AI 和代币化技术，试图打破传统金融的界限，将私人投资、预测市场和智能金融管理整合为一个全球性的超级应用。 本文为基于公开视频的分析性总结，不构成原内容替代。Vlad Tenev · 2026/01/13
- 关于进化的起源，我们并没有任何确定的知识。但我们相当清楚地了解一种新物种出现的动力学过程——从它的诞生，到发展的高峰，再到衰退。进化路径几乎与物种数量一样多，但它们之间又有着大量共同特征。 一种新物种的出现，往往悄无声息。它似乎是从既有事物中生长出来的，这种“借用”仿佛证明了设计者在创造上的惰性。 在最初阶段，几乎没有迹象表明：一种物种日后赖以发展的、其内部结构上的剧烈变革，其实已经发生。最早的个体通常体型微小，并带有许多原始特征，仿佛它们的诞生仓促而充满不确定性。在相当一段时间内，它们以半隐秘的方式勉强存活，几乎无法与那些已经对世界任务高度适应的既有物种竞争。 但最终，在环境中一些看似微不足道的变化所引发的整体平衡改变的推动下（这里的“环境”不仅包括地质世界，也包括其中生存的所有其他物种），一种新的扩张开始了。当一个物种进入已被占据的领地时，它会在生存竞争中公开展示出对对手的优势；而当它进入一片尚未被征服的空白区域时，它便会爆发出进化辐射，在短时间内催生出一整套变体。 在这些变体中，物种原始残余特征的消失，往往伴随着新的系统性解决方案的出现；这些方案越来越大胆地支配着物种的外在形态与新功能。正是通过这一路径，物种抵达了自身发展的巅峰，并在这一过程中，为整个时代命名。 它在陆地、海洋或天空中的统治时期，往往持续很长时间。随后，稳态平衡再次被打破——但这并不意味着失败。此时，物种的进化动力学会呈现出此前未曾出现的新特征：在其核心谱系中，个体不断变得庞大，仿佛“巨型化”可以作为抵御威胁的手段；新的进化辐射再次出现，但这一次，往往表现为高度专门化。 侧枝谱系试图进入竞争相对较弱的环境；有时，这种尝试会获得成功。最终，当那些巨型个体的所有痕迹都已消失——它们曾是核心物种为避免灭绝而采取的防御策略——当所有相反方向的努力也都失败（某些进化线路迅速走向侏儒化）之后，那些侧枝的后代，由于在竞争边缘区域遇到了有利条件，几乎毫无变化地延续着自身的存在。就这样，它们成为了某一物种原初繁盛与力量的最后见证。 请原谅我略显夸张的文风，这种修辞并未辅以具体实例。这里的模糊之处，源于一个事实：我同时在谈论两种进化——生物进化与技术进化。 ——斯坦尼斯瓦夫·莱姆，《技术总论》（Summa Technologiae） We know nothing certain about the origins of evolution. What we do know rather well is the dynamics of the emergence of a new species—from its birth through its developmental peak to its decline. There are almost as many evolutionary paths as there are species, and they all have numerous characteristics in common. A new species appears in the world unnoticed. Its appearance seems to come from what already exists, and this borrowing seems to testify to the inventive inertia of the Designer. At the beginning, there is not much indication that this upheaval in its inner organization, to which a species will owe its later development, has in fact already taken place. The first specimens are usually small; they also sport a number of primitive features, as if their birth had been hurried and fraught with uncertainty. For a period of time, they vegetate in a semisecretive state, barely managing to compete with the established species—which are already optimally adapted to the tasks of the world. Then, eventually, prompted by the change to the general equilibrium resulting from the seemingly insignificant transformations in the environment (whereby a species's environment includes not only the geological world but also all the other species vegetating in it), a new kind of expansion takes off. Entering the already occupied territories, a species openly shows its lead over its competitors in the struggle for life. When it enters an empty unconquered space, it bursts into evolutionary radiation, which in one go initiates the emergence of a whole range of variations. In these variations, the disappearance of the remnants of primitivism in a species is accompanied by the emergence of new systemic solutions that are ever more bravely dominating its outer appearance and its new functions. This is the route a species takes to reach its developmental peak. Through the process, it gives a name to the whole epoch. The period of rule on land, in the sea, or in the air lasts a long time. Then a homeostatic equilibrium is eventually disturbed once again—yet this still does not signal defeat. The evolutionary dynamics of a species gains some hitherto unobserved new traits. In its core branch, the specimens are getting bigger, as if gigantism was to provide protection against the threat. Evolutionary radiations start to take place again, this time often marked by hyperspecialization. The lateral branches attempt to penetrate into environments in which competition is comparatively weaker. From time to time, that latter maneuver culminates in success. Then, when all the traces of the giants—whose emergence was a defense strategy on the part of the core species against its extinction—have disappeared, when all the simultaneous efforts to the contrary have also failed (as some evolutionary lines promptly head towards dwarfism), the descendants of the lateral branch, having happily encountered propitious conditions inside the peripheral area of their competition, continue their existence almost without change. In this way, they serve as the last proof of the primeval abundance and power of a species. Please forgive my somewhat pompous style, a rhetoric that has not been supported by any examples. Any vagueness here stems from the fact that I have been talking about two kinds of evolution at the same time: biological and technical. -Stanislaw Lem, Summa TechnologiaeVlad Tenev · 2026/01/13