СРОЧНО: Ранняя бета-версия Grok 4.20 только что продемонстрировала, насколько она мощна в реальной математике. Исследователь предоставил Grok 4.20 доступ к сложной математической задаче, которую он изучал долгое время с учеником. Задача заключалась в нахождении наилучших возможных нижних границ для определенных случайных и булевых систем, что обычно решается экспертами только после месяцев или лет работы. За примерно пять минут Grok 4.20 сделала нечто новое. Она открыла совершенно новую математическую формулу, называемую функцией Беллмана. Эта формула немедленно дала более сильный и четкий результат, чем то, что было известно ранее, улучшив важный логарифмический фактор в конечной границе. Этот результат не изменит повседневную жизнь завтра, но он продвигает границы понимания в вероятности, гармоническом анализе и булевых функциях. Он отвечает на давний вопрос о том, насколько сильно определенные математические объекты раздуваются при тестировании в экстремальных случаях, и находит точный четкий ответ, а не просто оценку. До этого лучший известный результат был слабее. Решение Grok 4.20 дает наилучшую возможную границу, и оказывается, что оно математически оптимально. Grok 4.20 независимо произвела реальное улучшение на уровне исследований в области высшей математики за считанные минуты по задаче, над которой люди работали уже много лет.