A Differentiable Measure of Algebraic Complexity: Provably Exact Discovery of Group Structures
تقدم هذه الورقة HyperCube، وهو أسلوب تحليل تينسور ذي قيم مؤثرة قابل للتفاضل يوفر أول مقياس دقيق ومثبت جبرياً للتعقيد الجبري لاكتشاف البنى الزمرية من البيانات عبر إثبات أن تقليل دالة الهدف الخاصة به يفرض ضمناً خاصيتي التجميع والوحدوية، مما يحل حدسية "هوه" لعام 2025 ويُمكّن من الاكتشاف القائم على التدرج للقواعد الجبرية المنفصلة دون بحث توافقي.