Shentu Chain

Shentu Chain

28,421 Twitter followers

Follow

Security-oriented blockchain enables provable trust for all. OpenBounty(bug bounties), DeepWallet etc. https://linktr.ee/shentuchain Follow: @Shentu_Intern

Posts

🚨Open Theorems Alert #11 0x0011 :: Erdős Problems #12 Part1 Let A be an infinite set such that there are no distinct a, b, c € A such that a | (b + c) and b, c > a. >> Suggested Difficulty: Intermediate >> Reward: 61 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems #Lean @leanprover

UPDATE: OpenMath With Shentu v2.17.0, OpenMath now separates rewards for Rocq and Lean proofs. Contributors currently submit proofs using systems such as: • Rocq • Lean Different proof systems, independent reward flows and clear attribution for formal verification work.

🚨Open Theorems Alert #10 0x0010 :: Modulo Properties: Modular Inverse Prove the existence of a modular multiplicative inverse using Bézout's identity. Specifically, if `m` and `n` are coprime, there exists an integer `x` such that `m * x ≡ 1 (mod n)`.

♾Math is very much part of the DeSci ecosystem as well: @ShentuChain OpenMath, world’s first mathematical DeSci platform. http:/openmath.shentu.org #OpenMath #DeSci

Most people think DeSci is vaporware. They're wrong. Here are 8 categories with active projects solving real problems: 🧬 Men's Health: @D1ckDAO @ErectusDAO 🤖 Bio AI Agents: @Aubrai_ @DickGPT 🍄 Mycology: @MycoDAO 📊 Prediction Markets: @episteme_sci 💉 Diabetes: @DiabetesDAO

🚨Open Theorems Alert #06 0x0006 :: Irrationality of sqrt 2 ~∃ p,q∈ℕ，p²=2q² Suggested Difficulty: Intermediate Reward: 100 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

🚨Open Theorems Alert #05 0x0005 :: Wilson’s Theorem ∀ prime p, p>0, (p-1)! ≡ 1 (mod p) Suggested Difficulty: Intermediate Reward: 103 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

🚨Open Theorems Alert #03 0x0003 :: Friends Theorem If every pair of vertices in a graph has exactly one common neighbor, the graph must be a "friendship graph" (triangles sharing a common vertex). >> Suggested Difficulty: High / Advanced >> Reward: 200 $CTK Submit your proof or contribute funding. >> Verify truth on-chain: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

⚠️Researchers are moving quick: 18 theorems already proved on OpenMath. If you haven’t checked the theorem board yet, NOW the time. Plenty of open ones still up for grabs. Pick your theorem, write your proof, and ship it on-chain. Let’s see who proves the next set. ⚡️

Maximizing staking comes down to two simple moves at http:/Shentu.org. First, go to http:/explorer.shentu.org/vali... and select a validator you can trust. Second, set your flow at http:/restaking.shentu.org/aut... That’s how you stay ahead while others are still chasing simple metircs.

🚨 The Fake Ledger That Stole Everything (1/8) James* thought he was safe. He used a Ledger hardware wallet, kept his 24 words private, and followed every crypto security tip out there. Then one day… a package arrived. 🧵👇

Loading..