«أكسيوم ماث» تقول إنها تحققت آليًا من مشروع «ستاكس»

تقول «أكسيوم ماث» إن وكلاءها من الذكاء الاصطناعي حوّلوا مشروع «ستاكس»، وهو مرجع مفتوح يضم نحو 7,500 صفحة من الرياضيات المتقدمة، إلى قرابة 16 مليون سطر من شيفرة «لين». و«لين» برنامج يفحص ما إذا كانت كل خطوة في البرهان المرمّز تتبع القواعد المنطقية بدقة، ما يحوّل مادة رياضية يقرأها الباحثون عادة إلى مكتبة يمكن للحاسوب التحقق منها والبناء عليها. الإنجاز ليس ادعاءً باكتشاف رياضيات جديدة، بل بأن أساسًا واسعًا من المعرفة الموجودة صار في صيغة تساعد على رصد الأخطاء مع تسارع إنتاج الذكاء الاصطناعي للبراهين بما يفوق قدرة البشر على مراجعتها.