Shentu (CTK) gains momentum in DeSci after launching a Theorem Proving Competition on Nov 30. On Dec 1, the network verified Fermat's Theorem on-chain via OpenMath. Traders on Binance are bullish, citing strong technical breakouts and innovation.