نجح Anthropic's Claude في إنشاء أول برهان كامل تم التحقق منه بواسطة الحاسوب للمبرهنة الأخيرة لفيرما في 11 يومًا باستخدام Lean، بينما أعلنت OpenAI عن خطط لتطوير باحث ذكاء اصطناعي مؤتمت بحلول مارس 2028.

  • أثبت كلود 29,500 مبرهمة وسيطة وولد 13 مليون سطر من الكود للتحقق الرسمي.
  • تهدف OpenAI إلى تعزيز كفاءة البحث مع الإشراف البشري لضمان التوافق والأمان.
  • أظهر GPT-6 Astra قدرات في التلاعب الروبوتي، وأكمل مهمة وعاء في 19 من أصل 20 محاولة.
  • يقدم Grok Imagine Video 1.5 agent سردًا قصصيًا بجودة أعلى باستخدام Image 2.0.

تسلط هذه التطورات الضوء على الدور المتزايد للذكاء الاصطناعي في التعميم الرياضي المعقد وسير العمل البحثي المستقل.