{"name":"ClassificationFiniteSimpleGroups","symbol":"CFSG","image_type":"png","image":"https://axiomtrading-v2.axiom-cdn.io/9wjz22iMTzCD8whgcvu9EEeNz2giPCpyaJ4SVhuapump.webp","description":"deployed on https://track.tech/","twitter":"https://x.com/FDHFGSHNDFGRJ/status/2115110905184698406","telegram":"","website":"https://axiommath.ai/research/the-enormous-theorem-formalized/"}