突发新闻：Grok 4.20 的早期测试版刚刚展示了它在真实数学方面的强大能力。 一位研究人员让 Grok 4.20 访问了一个他们与学生长期研究的困难数学问题。这个问题是关于为某些随机和布尔系统找到最佳可能的下限，专家通常需要经过数月或数年的工作才能解决。 在大约五分钟内，Grok 4.20 做了一件新事。它发现了一种全新的数学公式，称为 Bellman 函数。这个公式立即给出了比之前已知的更强和更精确的结果，改善了最终界限中的一个重要对数因子。 这个结果不会在明天改变日常生活，但它推动了对概率、谐波分析和布尔函数理解的前沿。它回答了一个长期以来的好奇心，即在极端情况下，某些数学对象会如何严重膨胀，并找到了确切的精确答案，而不仅仅是一个估计。 在此之前，已知的最佳结果较弱。Grok 4.20 的解决方案给出了最强的可能界限，结果证明在数学上是最优的。 Grok 4.20 在几分钟内独立产生了一个真实的研究级别的高级数学改进，解决了一个人类已经工作了多年的问题。