CTK advanced its DeSci pivot by launching OpenMath on Nov 25. A competition with CertiK began Nov 29, followed by on-chain verification of Fermat's Little Theorem on Dec 1. Traders on Binance remain optimistic about these technical milestones.