شركة ناشئة جديدة في مجال الرياضيات بالذكاء الاصطناعي تُدعى Axiom قد حلت، حسب التقارير، أربع مشكلات رياضية عريقة، مما يُظهر تقدماً في استدلال الذكاء الاصطناعي. تعاملت الذكاء الاصطناعي للشركة مع تحديات في مجالات مثل الهندسة الجبرية ونظرية الأعداد التي حيرت الرياضيين لسنوات. يبرز هذا التطور القدرات المتزايدة للذكاء الاصطناعي في مواجهة الألغاز الأكاديمية المعقدة.
في إعلان حديث، أعلنت Axiom، وهي شركة ناشئة تركز على الذكاء الاصطناعي، أن تقنيتها قد حلت أربع مشكلات رياضية كانت غير محلولة سابقاً. تشمل هذه قضايا في الهندسة الجبرية والتفاضل والتكامل ونظرية الأعداد، وهي مجالات تحدت الباحثين لفترة طويلة. مثال محدد يتعلق بعمل منذ خمس سنوات للرياضيين Dawei Chen وQuentin Gendron. كانا يستكشفان مجالاً معقداً من الهندسة الجبرية يدمج التفاضلات، وهي عناصر من التفاضل والتكامل تستخدم لقياس المسافات على الأسطح المنحنية. أثناء جهودهما في إثبات نظرية معينة، واجهوا حاجزاً: اعتمد إثباتهما على صيغة غامضة من نظرية الأعداد لم يتمكنا من حلها أو تفسيرها. نتيجة لذلك، نشر Chen وGendron نتائجهما كتخمين بدلاً من نظرية كاملة. لقد قدمت الذكاء الاصطناعي لـAxiom الآن حلولاً لهذه التخمينات، مما يشير إلى اختراق في الاستدلال الآلي للرياضيات النقية. يشير إنجاز الشركة الناشئة إلى إمكانيات الذكاء الاصطناعي لتسريع الاكتشافات في المجالات النظرية، حيث سيطرت الحدس البشري تقليدياً. ومع ذلك، يحذر الخبراء من أن هذه الإثباتات المولدة بالذكاء الاصطناعي، رغم وعدتها، ستتطلب التحقق الدقيق من قبل مجتمع الرياضيات لتأكيد صحتها. يؤكد هذا الحدث تقاطع الذكاء الاصطناعي والأكاديميا، مع آثار على كيفية دمج البحوث المستقبلية للمساعدة الآلية. نُشرت الخبر في 4 فبراير 2026، وقد أثار اهتماماً في معامل الذكاء الاصطناعي التي تدفع حدود التخصصات STEM.