مرحبا بكم @mathematics_inc - شركة جديدة مكرسة للطابع الرسمي التلقائي وإنشاء ذكاء خارق تم التحقق منه تم احتضانه في Morph خلال الأشهر القليلة الماضية. تم تمكينه بشكل فريد من خلال البنية التحتية للحوسبة البيئية الأصلية Infinibranch من Morph ، وهو أول منتج لشركة Math، Inc. هو Gauss ، وهو عامل التشكيل التلقائي الذي يحقق تحجيما غير مسبوق في وقت الاختبار لهذا المجال ، مع الآلاف من الوكلاء المتزامنين الذين يعمل كل منهم لمدة تصل إلى 12 ساعة في المرة الواحدة لإنشاء إضفاء الطابع الرسمي على 25,000 LOC لنظرية الأرقام الأولية القوية. هذا يضغط على ما كان يستغرق الخبراء سنوات في بضعة أسابيع. إنها لمحة عن مستقبل العمل المعرفي --- نطاق الكواكب المستقلة ، والمصممة لتمكين البشر وإنجازاتهم المجيدة --- والتي سيتم بناؤها على Morph Cloud.

نحن متحمسون للترحيب @jdlichtman في Morph باعتباره كبير علماء الرياضيات لدينا ، حيث سيختصر الطريق إلى الذكاء الخارق الذي تم التحقق منه.

نحن متحمسون للإعلان عن Trinity ، وهو نظام إضفاء الطابع الرسمي على الذكاء الخارق الذي تم التحقق منه والذي طورناه في @morph_labs. لقد استخدمناه لإضفاء الطابع الرسمي تلقائيا في Lean على النتيجة الكلاسيكية ل de Bruijn بأن تخمين abc صحيح دائما تقريبا.