نموذج الاستدلال من الجيل التالي لـ OpenAI، الذي يُشار إليه داخليًا باسم Astra، قام للتو بشيء سيجعل معظم طلاب الدكتوراه يبكون على لوحاتهم البيضاء. أعلنت الشركة في 1 أغسطس أن النموذج أنشأ تلقائيًا 10 نتائج جديدة حول مسائل مفتوحة في الرياضيات وعلوم الحاسوب النظرية، وكلها تم التحقق منها من قبل رياضيين خارجيين بمن فيهم الحائز على ميدالية فيلدز تيم غاوز.
هذا ليس أول مرة تُظهر فيها أسترا قدرتها. ففي 20 مايو، نفّذ نفس النموذج دحضًا لفرضية إردوش للمسافات الوحدوية المستوية، وهي مسألة كانت قد أربكت الرياضيين لما يقارب 80 عامًا.
ما فعله النموذج فعليًا
المشكلة، التي طرحها الرياضي المجري الأسطوري بول إردوش، تتعلق بعدد أزواج النقاط في المستوى التي يمكن أن تكون على بعد وحدة واحدة بالضبط. قام أسترا ببناء تكوينات تنتج على الأقل n^(1+δ) أزواج على بعد وحدة، حيث δ أكبر من الصفر، لقيم لا نهائية من n. وقد حددت النتيجة المحسنة قيمة δ عند 0.014. كان هذا أول مرة تحل فيها الذكاء الاصطناعي بشكل مستقل مشكلة مهمة في الهندسة المنفصلة. لا تدريب رياضي متخصص. لا مساعدة بشرية. تعاون النموذج في استنتاجات جبرية متقدمة بنفسه.
أضاف إعلان أغسطس 10 نتائج إضافية على ذلك، تغطي الهندسة وعلوم الحاسوب النظرية. تم التحقق من كل نتيجة بشكل مستقل من قبل رياضيين محترفين. ووصف غاوزرز نفسه هذا الإنجاز بأنه "محطة محورية في رياضيات الذكاء الاصطناعي". ونشر رياضيون، بما فيهم غاوزرز وتوماس بلوم، أوراقًا مصاحبة للتحقق من البراهين وتقديم تحليل إضافي.
لماذا يهم هذا أكثر من مجرد رياضيات بحتة
التشفير، وهو العمود الفقري لكل سلسلة كتل و(active رقمية موجودة، هو رياضيات تطبيقية جوهرية. تستند الافتراضات الأمنية التي تقوم عليها بيتكوين وإيثيريوم وكل بروتوكول عملة مشفرة أخرى إلى صعوبة حسابية لمشاكل رياضية معينة. نموذج يمكنه دحض فرضيات عمرها 80 عامًا في الهندسة المنفصلة اليوم هو نموذج قد تبحث أجياله القادمة في الأساسيات الرياضية للتشفير غدًا.
ما الذي يجب على المستثمرين مراقبته فعليًا
التأثير الفوري على السوق هنا هو صفر. لم تذكر OpenAI أي شيء عن رموز التشفير أو الأصول الرقمية أو البروتوكولات ذات الصلة في أي من إعلاناتها. هذا إنجاز بحثي خالص في مجال الذكاء الاصطناعي.
أولاً، قد تشهد الرموز والمشاريع المرتبطة بالذكاء الاصطناعي التي تركز على الحساب الرياضي والتحقق من الإثباتات اهتمامًا متجددًا. إن السرد القائل بأن الذكاء الاصطناعي يمكنه إجراء عمل فكري حقيقي وقابل للتحقق، وليس فقط توليد نصوص تبدو مقنعة، يعزز موقف المشاريع التي تبني عند تقاطع الذكاء الاصطناعي والتحقق من البلوكشين.
ثانيًا، تنتقل التشفير ما بعد الكمي من كونه قلقًا نظريًا إلى أولوية عملية. يمكن أن تجد المشاريع العاملة على معايير تشفير مقاومة للكمبيوترات الكمية ومقاومة للذكاء الاصطناعي نفسها أكثر صلة بشكل متزايد.