BREAKING: Versi beta awal Grok 4.20 baru saja menunjukkan betapa kuatnya matematika nyata. Seorang peneliti memberi Grok 4.20 akses ke soal matematika sulit yang telah mereka pelajari untuk waktu yang lama dengan seorang siswa. Masalahnya adalah tentang menemukan batas bawah terbaik untuk sistem acak dan Boolean tertentu, sesuatu yang biasanya diselesaikan oleh para ahli hanya setelah berbulan-bulan atau bertahun-tahun bekerja. Dalam waktu sekitar lima menit, Grok 4.20 melakukan sesuatu yang baru. Itu menemukan rumus matematika baru yang disebut fungsi Bellman. Rumus ini segera memberikan hasil yang lebih kuat dan lebih tajam daripada yang diketahui sebelumnya, meningkatkan faktor logaritmik penting dalam batas akhir. Hasilnya tidak mengubah kehidupan sehari-hari di masa depan, tetapi mendorong batas pemahaman dalam probabilitas, analisis harmonik, dan fungsi Boolean. Ini menjawab keingintahuan lama tentang seberapa buruk objek matematika tertentu meledak ketika diuji dalam kasus ekstrim, dan menemukan jawaban tajam yang tepat, bukan hanya perkiraan. Sebelum ini, hasil yang paling terkenal lebih lemah. Solusi Grok 4.20 memberikan batas terkuat, dan ternyata secara matematis optimal. Grok 4.20 secara independen menghasilkan peningkatan tingkat penelitian nyata dalam matematika lanjutan, dalam hitungan menit, pada masalah di mana manusia telah bekerja selama bertahun-tahun.