我的 X 阅读

瞧瞧这个：https://t.co/rcoZc1XcG7

这个 OpenAI 数学大招太疯狂了。 这个 7/8 拟黎曼假设证明看起来像是过去几十年分析数论最重要的进展之一。 而且他们还解决了数论中最著名的可判定性问题之一！ 再加上 3,998 件其他事情！天哪。

https://t.co/bEcjHngLW3 引用：感谢 Astra 和 Claude，11 个正方形的最优堆积已在精益环境中形式化！特别感谢 @ojoshe、@kleddamag、@wand_125、@guzhou0806 和 @ctjlewis 在此过程中提供的帮助。 图片来源：https://t.co/2oUaPKe2Hz 1/n https://t.co/pym7RQHeUC

校准

@takess1sec 从这个意义上讲，它可能更像是每月一次，而不是每周一次。

@takess1sec 另一方面，如果你在其他公司取得重大成果后立即公布自己取得的小成就，则难以获得公众关注。 在这种情况下，你可以等待一个月，等到公众的热情消退、话题转移后，再集中公布自己的所有成就，以吸引更多关注。

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