Shentu Chain

Shentu Chain

28,421 người theo dõi trên Twitter

Theo dõi

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

Bài đăng

🚨Thông báo về các định lý chưa được kiểm chứng #11 0x0011 :: Sự cố Erdős #12 Phần1 Cho A là một tập hợp vô hạn sao cho không tồn tại các phần tử a, b, c ∈ A khác nhau thỏa mãn a | (b + c) và b, c > a. >> Độ khó đề xuất: Trung cấp >> Phần thưởng: 61 $CTK Hãy gửi bằng chứng của bạn hoặc đóng góp kinh phí. Xác minh tính xác thực on-chain: openmath.shentu.org/OpenMath/T...… #ToánHọcMở #ĐịnhLýMở #Lean @leanprover

CẬP NHẬT: OpenMath Với Shentu v2.17.0, OpenMath hiện đã tách biệt phần thưởng cho các bằng chứng Rocq và Lean. Hiện tại, các cộng tác viên gửi bằng chứng thông qua các hệ thống như: • Rocq • Độ nghiêng Các hệ thống chứng minh khác nhau, luồng phần thưởng độc lập và sự ghi nhận rõ ràng cho công việc Xác minh chính thức .

Nội dung chủ đề

🚨Thông báo về các định lý mở #10 0x0010 :: Tính chất modulo: Nghịch đảo modulo Chứng minh sự tồn tại của nghịch đảo nhân modulo bằng cách sử dụng định lý Bézout. Cụ thể, nếu `m` và `n` là số nguyên tố cùng nhau, thì tồn tại một số nguyên `x` sao cho `m * x ≡ 1 (mod n)`.

♾Toán học cũng là một phần rất quan trọng của hệ sinh thái DeSci: @ShentuChain OpenMath, nền tảng DeSci toán học đầu tiên trên thế giới. 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

🚨Thông báo về các định lý chưa được kiểm chứng #06 0x0006 :: Tính vô lý của căn bậc hai của 2 ~∃ p,q∈ℕ，p²=2q² Độ khó đề xuất: Trung cấp Phần thưởng: 100 $CTK Hãy gửi bằng chứng của bạn hoặc đóng góp kinh phí. Xác minh tính xác thực on-chain: openmath.shentu.org/OpenMath/T...… #ToánHọcMở #ĐịnhLýMở

🚨Thông báo về các định lý chưa được kiểm chứng #05 0x0005 :: Định lý Wilson ∀ nguyên tố p, p>0, (p-1)! ≡ 1 (mod p) Độ khó đề xuất: Trung cấp Phần thưởng: 103 $CTK Hãy gửi bằng chứng của bạn hoặc đóng góp kinh phí. Xác minh tính xác thực on-chain: openmath.shentu.org/OpenMath/T...… #ToánHọcMở #ĐịnhLýMở

🚨Thông báo về các định lý chưa được kiểm chứng #03 0x0003 :: Định lý bạn bè Nếu mọi cặp đỉnh trong một đồ thị đều có đúng một đỉnh kề chung, thì đồ thị đó phải là "đồ thị tình bạn" (các tam giác có chung một đỉnh). >> Độ khó đề xuất: Cao / Nâng cao >> Phần thưởng: 200 $CTK Hãy gửi bằng chứng của bạn hoặc đóng góp kinh phí. >> Xác minh tính xác thực on-chain: openmath.shentu.org/OpenMath/T...… #ToánHọcMở #ĐịnhLýMở

⚠️Các nhà nghiên cứu đang tiến hành rất nhanh: 18 định lý đã được chứng minh trên OpenMath. Nếu bạn chưa xem bảng định lý, thì BÂY GIỜ là lúc thích hợp. Vẫn còn rất nhiều định lý đang chờ được giải. Hãy chọn định lý của bạn, viết chứng minh và gửi nó on-chain. Cùng xem ai sẽ chứng minh được bộ định lý tiếp theo nhé! ⚡️

Để tối đa hóa Staking, bạn chỉ cần thực hiện hai động thái đơn giản tại http:/Shentu.org. Đầu tiên, hãy truy cập http:/explorer.shentu.org/vali... và chọn trình xác thực mà bạn có thể tin cậy. Thứ hai, hãy đặt luồng của bạn ở http:/restaking.shentu.org/aut... Đó là cách bạn luôn dẫn đầu trong khi những người khác vẫn đang theo đuổi những số liệu đơn giản.

🚨 Cuốn Sổ Giả Đã Ăn Cắp Tất Cả (1/8) James* nghĩ rằng anh ấy an toàn. Anh ấy đã sử dụng ví cứng Ledger, giữ kín 24 từ của mình, và tuân theo mọi lời khuyên về bảo mật tiền điện tử. Rồi một ngày nào đó... một gói hàng đã đến. 🧵👇

Loading..