レノボ、最大1000TOPSのAI性能を実現した小型AIスーパーコンピュータ「ThinkStation PGX」（関連情報）