Несофически групи (Non-sofic groups)

Несофическите групи (Non-sofic groups) представляват един от най-дълбоките отворени въпроси в съвременната абстрактна алгебра и геометричната теория на групите. Понятието за софична група е въведено в края на 90-те години на XX век от Михаил Громов в контекста на символната динамика и изследването на крайните приближения.

Същност на софичността

Една група се нарича софична, ако нейната алгебрична структура може да бъде апроксимирана с произволна точност от крайни симетрични групи (групи от пермутации). Практически всички известни и широко изучавани класове групи — включително аменабелните, свободните и линейните групи — са доказано софични.

Проблемът за отворената хипотеза

Въпросът дали съществува група, която не е софична (несофическа група), остава нерешен за математическата общност. Изследванията на математици като Андреас Том и Габор Кун полагат основите на специализирани методи за анализ на такива структури. През 2026 г. областта попада в центъра на вниманието, след като OpenAI публикува твърдения за напредък по темата, довели до спорове за авторски права и прозрачност при обучението на невронни мрежи.