TechCrunch'a göre, AxiomMath, Çarşamba günü Stacks Projesi'ni resmi olarak doğruladığını duyurdu. Bu, şimdiye kadar derlenmiş en büyük matematiksel çalışmaların birinden biridir. Şirket, projenin yaklaşık 7,654 sayfasını, resmi kanıt doğrulama için tasarlanmış bir programlama dili olan Lean kullanarak yaklaşık 16 milyon satır bilgisayar kontrolünden geçmiş koda çevirdi. 2005 yılında Columbia matematikçisi Johan de Jong tarafından başlatılan Stacks Projesi, üniversite düzeyindeki cebirden ileri düzey cebirsel geometri, sayı teorisi ve geometriye kadar matematiği kapsayan açık kaynaklı bir referans kütüphanesi olarak hizmet vermektedir. Matematiği formelleştirmek, kanıt yardımcılarının kodu satır satır doğrulamasına olanak tanıyarak mantıksal sağlamlığı garanti eder ve yazılım geliştiren ve bilimsel araştırmalar yürüten AI ajanları için güvenilir bir temel oluşturur.
Sorumluluk Reddi: Bu içerik yalnızca bilgilendirme amaçlıdır. Yatırım tavsiyesi niteliği taşımaz ve kripto varlık alım satımını teşvik etmeyi amaçlamaz. İçerik, sektörel gelişmeler hakkında bilgi sunmak amacıyla hazırlanmış olup Gate TR tarafından sunulan hizmetlerle doğrudan bağlantılı değildir. Üçüncü taraf kaynaklardan elde edilen bilgiler dikkatle incelenmiş olsa da Gate TR, bu bilgilerde bulunabilecek hata veya eksikliklerden sorumlu tutulamaz. Kripto varlıklar yüksek risk taşır ve önemli fiyat dalgalanmalarına maruz kalabilir. Herhangi bir yatırım kararı vermeden önce finansal durumunuzu ve risk toleransınızı değerlendirmeniz, kendi araştırmanızı yapmanız ve kararlarınızı bağımsız olarak almanız önerilir.
