我的 X 阅读

我正带着敬畏浏览这些结果。从这里开始，它只会变得更快。回到工作。很快我就要宣布一些大新闻，它们不在那个列表上，而且我们有一支团队对它们感兴趣，愿意谈论它们！ 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

这肯定不会有好结果，哈哈 感觉就算今天过得特别好，这也就像问你想要一块饼干还是零块饼干一样。 引用：Vote

矩阵乘法现在的时间复杂度是 O(N^2.25) https://t.co/M1BfHzbxcv 引用：OpenAI 这次的数学成果简直太惊人了。 这个 7/8 准黎曼猜想的证明看起来像是近几十年来解析数论领域最重要的进展之一。 而且他们还解决了数论中最著名的可判定性问题之一！ 此外还有 3998 项成果！我的天哪。https://t.co/GK3bwslxVF

OpenAI 刚刚发布了 722 篇 AI 撰写的数学论文。这里是用通俗英语总结的 4 个最大声明。这些声明尚未得到外部数学家的证实。 1/ 准黎曼假设。Zeta 函数在实部大于 7/8 的区域内没有零点。这不是黎曼假设（后者要求 1/2），但此前从未有人清除过一个固定的零点带。附有 Lean 证明。 https://t.co/DnS7S8lFRY 2/ 唯一博弈猜想。这是关于计算机甚至无法很好近似的那些问题的核心开放问题。一个证明意味着像 Max-Cut 这样的问题的已知最佳算法无法被超越，除非 P = NP。附有 Lean 证明。 https://t.co/T1gDeXGS0O 3/ CM 阿贝尔簇的 Hodge 猜想。这是千禧年奖问题的一个特例，涉及形状的哪些拓扑特征来自于由多项式方程定义的片段。目前尚未有 Lean 证明。 https://t.co/a1TDLJQWER 4/ 自由群因子。自 1940 年代以来的开放问题：由 2 个和 3 个生成元的自由群构建的算子代数是否相同？声明的答案：是的，它们全都相同。附有 Lean 证明。 https://t.co/tuVAtYvMQg 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

瞧瞧这个：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 个问题，每个结果的平均计算量相当于