Выявление различий — это непонимание структуры: большие языковые модели провалились на графике изоморфизма

arXiv: 260609484v2 Annuales Type: заменить резюме: Большие языковые модели (LMS) продемонстрировали впечатляющие результаты по различным вопросам аргументации, однако их способность к структурному обоснованию в графиках остается неясной. Мы исследуем, действительно ли МЛМ способны понять графический изоморфизм - фундаментальная проблема в теории графиков. В то время как МЛМ достигают почти идеальной точности в обнаружении изоморфизма, мы показываем эту эффективность иллюзорной. Когда идентичные графики представляются с помощью маркированных узловых знаков, МЛМ не выявляют их изоморфизм. Этот вывод говорит о том, что МЛМ используют модели, а не рассуждают об абстрактной структуре графиков. Поскольку пермутация является одним из основополагающих требований к обоснованной структурной аргументации, эти результаты свидетельствуют о том, что успех в определении критериев графического обоснования не следует толковать как свидетельство подлинного топологического понимания.