我的 X 阅读

转帖：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

湍流无处不在：撞击我们的飞机，塑造我们的波浪，将牛奶卷入我们的咖啡中。这些系统可能起初很简单，但它们很快就会变得极其混乱和复杂。https://t.co/oDbiCkUHYP

现代社会的错觉在于，将人为构建的事物视作与自然法则同等重要。 税收、工资单和官方表格都是法律虚构，我称之为地方性的。 另一方面，矩阵、向量和微分学才是物质的通用语法。 朋友们，如果训练年轻人掌握虚构而非物理现实，就注定他们将成为他人构建和编码的世界中的被动旁观者 ;)

今年圣诞节提前了！ 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

OpenAI 发布了 722 篇论文，而不是原计划的 400 篇。 我最感兴趣的是声称证明了准黎曼猜想的论文——结果 #003 https://t.co/VjE4qkxkKS OpenAI 表示，一个未发布的内部模型尝试解决了大约 4000 个问题，每个结果的平均计算量相当于

转帖：新论文！ LLM 撰写的证明越来越长（Claude 对费马大定理的证明有 1300 万行 Lean 代码）。我们引入 LeanLean，这是一个用于压缩 Lean 代码库的基准测试。 Opus 5.5 在排行榜上占据主导地位，得分为 64.3%，而 GPT 6.1 Sol 仅达到 39.9%。

与今天的其他船舶完全无关，但我们的模型确实解决了一些重要的数学问题，团队在下面的博客文章中记录了这一点。科学进步的非凡新时代。 https://t.co/AYSuteVNiA

我相信，教孩子们行政管理，就是教他们把时间按件出租；但教他们基础计算，就是赋予他们掌控历史上最强大技术杠杆的能力。

OpenAI 已发布了数学证明。 https://t.co/INFGJU2JU9

天哪，ChatGPT 居然在发展出类似人类的学术技能 引用：谢谢 chatgpt

转帖：含金量最高的推文 & 有史以来最可爱的 handmade 地图

你知道吗，他之所以发这些垃圾推文，正是因为他用来抨击数学的平台完全基于线性代数、信号处理和矩阵乘法。 他还在屏幕上打了一条信息来解释这一点……

我很高兴地宣布，我已从 Renaissance Philanthropy 获得为期两年的资助，用于构建一个开源的代理型计算机代数系统，该系统将与大型语言模型（LLMs）协同工作，支持数学家们开展研究。非常感谢评选委员会和资助方！ 引用：我们很高兴地宣布，由创始捐赠者@xtxmarkets支持的AI for Math Fund今年的资助获奖者： 22位获奖者，30多个组织，从50个国家400多份申请中选出。 由XTX Markets创纪录的1710万美元支持，使他们的总承诺达到3510万美元。 https://t.co/PJhVhMlzsn 1/2

数学家们一个月后仍在研究 OpenAI 的 160 多页 Navier–Stokes 证明。 我让 Claude Fable 5.5 来解释它。它制作了这个 5 分钟的 3D 视频：证明分 8 个步骤。 注意事项：已通过 Lean 检查，但尚未完全经人类验证。需要外部力量。

我们所有的互联网/浏览器工作都由 Handoff 提供支持，它是我们的计算机使用代理——用于购物、预订旅行、订购食物、完成日常事务，以及日常任务。 引用：哇，@hark_labs 做了一个完全优越的 @Muse。它的 harness 完全支持计算机使用（而且相当快），在一个隔离的沙盒中，使用基于 vault 的认证，你可以跨任何应用重复使用（对 Google 来说超级重要），而且你实际上可以看到云端正在使用的“计算机”。另外，它的 UI 如此干净，与大多数杂乱的三栏聊天机器人界面相比，这是一种如此清新的诠释。 目前市场上最棒的个人 AI 产品，也是 AI 增长曲线中最“任务能力强”的代理。