我的 X 阅读

这里有许多令人震惊的结果。但这个尤其令人惊叹：矩阵乘法的指数不超过 2.25。此前的世界纪录大约是 2.37。这种进步的飞跃就像鲍勃·比蒙的长跳。 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

三维卡基亚问题获得了菲尔兹奖。四维卡基亚问题则由人工智能解决。 好好想想吧。

我有722个问题，但被抢先可不是其中之一

这才是我说的那个！ 引用：顺便说一句，这就是了

专栏作家乔达娜·塞佩莱维奇（Jordana Cepelewicz）设想了一个世界，尽管AI占据主导地位，未来的数学家们仍将有许多事情要做。只是这些事情可能与他们现在所做的完全不同。https://t.co/sP7DSYbWvL

有趣！看起来数学家们有很多激动人心的工作要做。如果我理解正确，其中一个结果是我一个猜想的（非常特殊）情形，这也是我一个学生正在进行的一些更强工作的推论。 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

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