突發消息：Grok 4.20 的早期測試版剛剛展示了它在實際數學方面的強大能力。 一位研究人員讓 Grok 4.20 接觸到一個他們與學生長期研究的困難數學問題。這個問題是關於為某些隨機和布爾系統找到最佳的下限，這是專家通常需要幾個月或幾年才能解決的問題。 在大約五分鐘內，Grok 4.20 做了一件新事。它發現了一個全新的數學公式，稱為 Bellman 函數。這個公式立即給出了比之前已知的更強大、更精確的結果，改善了最終界限中的一個重要對數因子。 這個結果不會立即改變明天的日常生活，但它推進了對概率、諧波分析和布爾函數的理解邊界。它回答了人們長期以來對某些數學對象在極端情況下會如何爆炸的好奇心，並找到了確切的精確答案，而不僅僅是一個估計。 在此之前，已知的最佳結果較弱。Grok 4.20 的解決方案給出了最強的可能界限，並且結果證明在數學上是最佳的。 Grok 4.20 獨立地在幾分鐘內對高級數學產生了真正的研究水平的改進，這是一個人類已經工作了多年的問題。