Какую модель вы бы выбрали для решения исследовательской математической задачи?

Пользователь Reddit спрашивает сообщество о локальных языковых моделях, способных помочь с задачами уровня научных исследований в математике. Автор ищет реальные примеры успешного применения, а не просто теоретические возможности.