BREAKING: Eine frühe Beta-Version von Grok 4.20 hat gerade gezeigt, wie leistungsfähig es in der realen Mathematik ist. Ein Forscher gab Grok 4.20 Zugang zu einem schwierigen mathematischen Problem, das er seit langem mit einem Studenten studiert hatte. Das Problem bestand darin, die bestmöglichen unteren Grenzen für bestimmte zufällige und boolesche Systeme zu finden, etwas, das Experten normalerweise erst nach monatelanger oder jahrelanger Arbeit lösen. In etwa fünf Minuten tat Grok 4.20 etwas Neues. Es entdeckte eine brandneue mathematische Formel, die als Bellman-Funktion bezeichnet wird. Diese Formel lieferte sofort ein stärkeres und schärferes Ergebnis als das, was zuvor bekannt war, und verbesserte einen wichtigen logarithmischen Faktor in der endgültigen Schranke. Das Ergebnis verändert das tägliche Leben morgen nicht, aber es verschiebt die Grenze des Verständnisses in der Wahrscheinlichkeit, der harmonischen Analyse und den booleschen Funktionen. Es beantwortet eine langjährige Neugier darüber, wie stark bestimmte mathematische Objekte explodieren, wenn sie in extremen Fällen getestet werden, und es findet die genaue scharfe Antwort, nicht nur eine Schätzung. Vor diesem Zeitpunkt war das beste bekannte Ergebnis schwächer. Die Lösung von Grok 4.20 gibt die stärkste mögliche Schranke, und es stellt sich heraus, dass sie mathematisch optimal ist. Grok 4.20 hat unabhängig eine echte Forschungsverbesserung in der fortgeschrittenen Mathematik in Minuten erzielt, bei einem Problem, an dem Menschen bereits seit Jahren gearbeitet hatten.