شركة ناشئة أسسها خريج من ستانفورد قبل أقل من 15 شهرًا تدّعي أنّها أنجزت شيئًا يستغرق عادةً علماء الرياضيات البشر عقودًا: حلّ عدة مسائل غير محلولة في الرياضيات باستخدام نظام ذكاء اصطناعي، ثم الحصول على قبول العمل من قبل المؤسسة الأكاديمية.
تقول شركة Axiom Math، وهي شركة مقرها بالو ألتو وتقودها المؤسسة كارينا هونغ، إن نظام AxiomProver قد حَلَّ على الأقل أربع مسائل رياضية لم تُحل من قبل. تم نشر الإثباتات على arXiv في فبراير 2026، ولكن اعتبارًا من أواخر مايو 2026، لم يتم تأكيد أي نشرات في مجلات خاضعة لمراجعة الأقران — وهي نقطة تُخفيها صياغة المقال.
ما الذي حلته Axiom فعليًا
المسائل التي تعالجها AxiomProver ليست تمارين بسيطة. ومن بين النتائج، حلول لفرضيات مهمة في الهندسة الجبرية وفرضية فيل، وهي مسألة مرتبطة بعمل سرينيفاسا رامانوجان. أحد المسائل المحلولة يشمل فرضية في نظرية الأعداد عمرها 20 عامًا.
أدى أحد الأدلة على الأقل إلى تعاون مع رياضيين مرموقين، وليس إلى إخراج آلي بحت.
تستخدم الشركة التحقق الرسمي من خلال مساعد الإثبات Lean. بدلاً من توليد نص يبدو وكأنه إثبات والامل في صحته، فإن AxiomProver ينتج إثباتات يتم التحقق منها آليًا من حيث الصلاحية المنطقية في كل خطوة. إن طبقة التحقق الرسمي هذه هي ما يمنح العمل مصداقيته التي لا تمتلكها مخرجات نماذج اللغة الكبيرة النموذجية.
الأموال والفريق خلفها
رفع Axiom Math 200 مليون دولار في جولة تمويل من السلسلة A بقيادة Menlo Ventures، مما رفع تقييمها ما بعد الاستثمار إلى 1.6 مليار دولار. وقد جاء ذلك بالإضافة إلى 64 مليون دولار في استثمارات بذور سابقة، ليصل إجمالي التمويل المعروف إلى 264 مليون دولار. غادر هونغ برنامج مشترك للدكتوراه في القانون والدكتوراه في العلوم من جامعة ستانفورد لبدء المشروع في مارس 2025.
انضم كين أونو، عالم نظرية الأعداد البارز المعروف بأعماله حول إرث رامانوجان والأشكال المودولارية، إلى Axiom Math كعالم رياضيات مؤسس.
الصورة الأكبر للذكاء الاصطناعي والرياضيات
أكسيوم ماث لا تعمل في فراغ. فقد كانت جوجل ديب ميند تدفع نحو الاستدلال الرياضي، وبشكل بارز من خلال نظام ألفا بروف.
من الممارسة القياسية للرياضيين نشر النسخ الأولية على arXiv أثناء مراجعة الأوراق من قبل زملاء، وهي عملية يمكن أن تستغرق شهورًا أو حتى سنوات. حالياً، تخضع نشرات arXiv لشهر فبراير 2026 لمراجعة الخبراء، ولم يتم تأكيد أي نشرات خضعت للمراجعة من قبل الزملاء حتى أواخر مايو 2026.