Причем, раскопки показали, оно автоматически грузит ntheorem.sty, а последний автогрузится из amsart?
Закопайте. Вместо того, чтобы "производить раскопки" читайте документацию к пакетам,:
\newtheoremstyle имеется в amsthm, см. стр. 9 документации amsthdoc.pdf, и amsart.sty не грузит amsthm тем более ntheorem; см стр 4 документации к amsart
Цитата:
Packages. The AMS document classes incorporate the code for the AMS theorem
(amsthm) package and automatically load the amsmath package.
ntheorem отличный пакет с кучей интересных возможностей.