كشفت Astra من OpenAI عن حل 10 مسائل رياضية طويلة الأمد. حلّ النموذج متعدد الوكلاء الجديد مجموعة من المسائل الرياضية المفتوحة الصعبة التي ظلت غير مُثبتة لعقود — ثم صيغت الإثباتات رسميًا باستخدام Lean. قدم سام ألتمان Astra في واشنطن هذا الأسبوع، ومن المقرر أن يصبح أول نموذج يخضع لعملية موافقة حكومية جديدة قبل الإطلاق. أبرز التفاصيل: حل جميع المسائل العشر استخدم أقل من 2000 دولار من الرموز بسعر Sol. حاولت OpenAI أيضًا مسائل صعبة أخرى، وبعضها لا يزال غير محلول — لكن إمكانات التوسع هائلة. هل يمكن أن يمثل هذا عصرًا جديدًا لاكتشاف الرياضيات بمساعدة الذكاء الاصطناعي؟