TIN NÓNG: Một phiên bản beta sớm của Grok 4.20 vừa cho thấy sức mạnh của nó trong toán học thực sự. Một nhà nghiên cứu đã cho Grok 4.20 truy cập vào một bài toán khó mà họ đã nghiên cứu trong một thời gian dài cùng với một sinh viên. Bài toán liên quan đến việc tìm ra các giới hạn dưới tốt nhất có thể cho một số hệ thống ngẫu nhiên và Boolean, điều mà các chuyên gia thường chỉ giải quyết sau nhiều tháng hoặc nhiều năm làm việc. Chỉ trong khoảng năm phút, Grok 4.20 đã làm được điều gì đó mới mẻ. Nó đã phát hiện ra một công thức toán học hoàn toàn mới gọi là hàm Bellman. Công thức này ngay lập tức đưa ra một kết quả mạnh mẽ và sắc nét hơn so với những gì đã biết trước đó, cải thiện một yếu tố logarithmic quan trọng trong giới hạn cuối cùng. Kết quả này không thay đổi cuộc sống hàng ngày vào ngày mai, nhưng nó đẩy ranh giới của sự hiểu biết trong xác suất, phân tích hài hòa và các hàm Boolean. Nó trả lời một sự tò mò đã tồn tại lâu về việc một số đối tượng toán học nhất định phát triển tồi tệ như thế nào khi được kiểm tra trong các trường hợp cực đoan, và nó tìm ra câu trả lời chính xác sắc nét, không chỉ là một ước lượng. Trước đó, kết quả tốt nhất được biết đến là yếu hơn. Giải pháp của Grok 4.20 đưa ra giới hạn mạnh nhất có thể, và hóa ra nó là tối ưu về mặt toán học. Grok 4.20 đã độc lập tạo ra một cải tiến ở cấp độ nghiên cứu thực sự trong toán học nâng cao, chỉ trong vài phút, trên một bài toán mà con người đã làm việc trong nhiều năm.