استارتاپ Axiom Math با سرمایه‌گذاری ۱٫۶ میلیارد دلاری تلاش می‌کند تا اشتباهات AI در ریاضیات را کاهش دهد. این شرکت پروژه Stacks را که یکی از بزرگ‌ترین bodies of mathematics است، به صورت رسمی تأیید کرده است. پروژه Stacks در سال ۲۰۰۵ توسط Johan de Jong آغاز شد و شامل ۷۶۵۴ صفحه و ۱۶ میلیون خط کد است. Axiom با استفاده از AI و زبان برنامه‌نویسی Lean، از صحت ریاضیات Stacks اطمینان حاصل کرده است. کارینا هونگ، CEO ۲۵ ساله Axiom، گفت: «Things that are big and things that are delicate in life just don’t go together.» این شرکت در مارس ۲۰۲۵ با سرمایه‌گذاری ۲۰۰ میلیون دلاری از Menlo Ventures، سری A خود را جمع‌آوری کرد.
