И многие ли ученые-исследователи-математики создают новые теоремы?
Все. Более того, открою вам секрет, что в любой PhD по чистой математике содержится хотя бы одна новая теорема.
Прикладник тогда переходит в область, что называется, чистой математики, и создает теорему. После этого он становится математиком, если предположить, что после создания этой теоремы он продолжает далее заниматься прикладничеством?
В момент доказательства новой теоремы, да, он занимался чистой математикой. Если он
способен доказать новую (нетривиальную) теорему, то не вижу проблем считать, что у него есть статья по чистой математике.