پژوهش
Axiom می‌گوید گروه‌هایی از عامل‌های هوش مصنوعی در ۲۴ روز اثبات کامل رده‌بندی گروه‌های ساده متناهی را در Lean نوشتند
Axiom Math آنچه را نخستین اثبات کاملاً رایانه‌وارسی‌شده رده‌بندی گروه‌های ساده متناهی می‌نامد منتشر کرده است: حدود ۴۳٫۱ میلیون خط کد Lean که در ۲۴ روز به دست تیم‌هایی از عامل‌های هوش مصنوعی و زیر نظر انسان نوشته شد. این …