تجذب شركات ناشئة مثل Axiom Math وHarmonic مئات الملايين من الدولارات كتمويل لابتكار أدوات ذكاء اصطناعي قادرة على حل مسائل رياضية متقدمة والتحقق من نتائجها ذاتياً.
ترك علماء رياضيات مثل كين أونو مناصبهم الجامعية للانضمام إلى هذه الشركات. فقد حصل أونو على إجازة من جامعة فيرجينيا في عام 2025 للعمل في شركة Axiom Math في بالو ألتو بولاية كاليفورنيا. تأسست الشركة على يد طالبته السابقة كارينا هونغ التي درست في جامعة ستانفورد.