العاجل: نسخة بيتا مبكرة من Grok 4.20 أظهرت مدى قوته في الرياضيات الحقيقية. أعطى باحث جروك 4.20 وصولا إلى مسألة رياضية صعبة كانوا يدرسونها منذ فترة طويلة مع أحد الطلاب. المشكلة كانت في إيجاد أفضل حدود دنيا ممكنة لبعض الأنظمة العشوائية والبوليانية، وهو أمر يحله الخبراء عادة بعد أشهر أو سنوات من العمل. في حوالي خمس دقائق، قامت Grok 4.20 بشيء جديد. اكتشف صيغة رياضية جديدة تسمى دالة بيلمان. أعطت هذه الصيغة فورا نتيجة أقوى وأكثر حدة مما كان معروفا سابقا، مما حسن عامل لوغاريتمي مهم في القفز النهائي. النتيجة لا تغير الحياة اليومية غدا، لكنها تدفع حدود الفهم في الاحتمالات، والتحليل التوافقي، والدوال البوليانية. يجيب على فضول طويل الأمد حول مدى سوء انفجار بعض الأجسام الرياضية عند اختبارها في الحالات القصوى، ويجد الإجابة الحادة بالضبط، وليس مجرد تقدير. قبل ذلك، كانت النتيجة الأكثر شهرة أضعف. حل جروك 4.20 يعطي أقوى حد ممكن، ويتضح أنه مثالي رياضيا. قدم جروك 4.20 تحسنا حقيقيا على مستوى البحث في الرياضيات المتقدمة، خلال دقائق، على مشكلة كان البشر يعملون عليها منذ سنوات.