خبرAxiom Math با تبدیل ۷٬۶۵۴ صفحه ریاضیات به ۱۶ میلیون خط کد Lean، پروژه Stacks را صحتسنجی رسمی کرد
استارتاپ Axiom Math با ارزش ۱.۶ میلیارد دلار، پروژه ریاضی Stacks را بهصورت رسمی صحتسنجی کرد. جزئیات این تحول در ریاضیات صوری.
۱۴ آبان ۱۴۰۵۲ دقیقه مطالعه
