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

نحن نعمل على إضفاء الطابع الرسمي الكامل على الثالوث من مصادر مفتوحة لنظرية دي بروين هنا: