В 2025 году и особенно в начале 2026-го стали появляться кейсы, в которых большие языковые модели (LLM) помогали математикам находить рабочие ходы, гипотезы и промежуточные шаги в реальных исследованиях. Пока ограничения и пределы возможностей очевидны, но потенциальный вектор развития уже вырисовывается.