Top Tweets for #OpenMath
We’re thrilled to open-source Axplorer at @axiommathai today! It’s a powerful tool for discovering the outlier constructions in mathematics research—now free for the entire math community. Tell us what you find with it. Mahalo 📐🔓 #OpenMath #AxiomMath
We open-sourced Axplorer.
Axplorer builds on PatternBoost; it discovers outlier math constructions to attack open problems.
On Turán 4-Cycles, No 5 Points on Sphere, and Isosceles-Free Sets, Axplorer matched SOTA w/ a fraction of compute cost and time.
It's now in your hands.
What if numbers were particles? That question led to a recursive wave equation and a new theory of primes. Public. Open. https://t.co/n3k8oA8gfr #PrimeNumbers #OpenMath
This strengthens the incentive layer for contributors building machine-verifiable mathematics on-chain.
Explore open theorems: https://t.co/OL5DIoex2O
>> Verify truth on-chain.
@leanprover #OpenMath #Lean #Rocq
⏳ 12 Hours to Shentu Mainnet Upgrade (v2.17.0)
12 hours remaining.
Block height: 28,124,200
Feb 25, 2026 · 13:00 UTC
See you at the height.
Track: https://t.co/Q4pX3xkgaH
#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean
⏳ 12 Hours to Shentu Mainnet Upgrade (v2.17.0)
12 hours remaining.
Block height: 28,124,200
Feb 25, 2026 · 13:00 UTC
See you at the height.
Track: https://t.co/Q4pX3xkgaH
#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean
⏳ 1 Day to Shentu Mainnet Upgrade (v2.17.0)
The upgrade is scheduled at block height 28,124,200 approximately Feb 25, 2026 at 13:00 UTC.
Track the block:
https://t.co/EkitmNdcPp
#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean
>> Suggested Difficulty: Intermediate
>> Reward: 61 $CTK
Submit your proof or contribute funding.
Verify truth on-chain:
https://t.co/YbctqGEniT
#OpenMath #OpenTheorems #Rcoq
♾️Math is very much part of the DeSci ecosystem as well: @ShentuChain
OpenMath, world’s first mathematical DeSci platform. https://t.co/1Diw4el5JO
#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
🌍 Climate: @valley_dao
🧠 Neuroscience: @Cerebrum_DAO @psy_dao
💰 Funding: @BioProtocol @vitadao @Molecule_sci
What should be next?
@DeSciNews @D1ckDAO @ErectusDAO @Aubrai_ @DickGPT @MycoDAO @episteme_sci @DiabetesDAO ♾️Math is very much part of the DeSci ecosystem as well: @ShentuChain
OpenMath is the world’s first mathematical DeSci platform.
https://t.co/45jnijYFvF
#OpenMath #DeSci
@ShentuChain This is a fascinating problem! The intersection of number theory and blockchain can yield unprecedented innovations in proof verification. Keep pushing the boundaries of mathematics! 🔍✨ #OpenMath #Erdős
🚨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: https://t.co/Vmr6r7qtq8
#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: https://t.co/a6VFyUl8b0
#OpenMath #OpenTheorems
arXiv upload coming — would love an endorsement for https://t.co/Iedi7LPpef if anyone familiar with extremal/arithmetic graphs is willing! DM or reply.
Thanks for reading!
#Combinatorics #MathTwitter #OpenMath
GM CT
Do you know that #OpenMath is bringing formal mathematics onchain, built on @ShentuChain in collaboration with @CertiK
It enables mathematical proofs to be formally verified and stored immutably using the Rocq proof engine.
Study & explore https://t.co/1WafS53hPm
When mathematics meets blockchain, a new era begins.
OpenMath joins forces with @ShentuChain to build the world’s first decentralized math platform.
Every proof is verified and immutably recorded on-chain.
👉 https://t.co/9Ju5eKviuM
#OpenMath #ShentuChain #DeSci #Blockchain #CertiK #Web3Science #MathOnChain #Node39
@yourcryptodj @ShentuChain utility token $CTK is the ticker ✅
Say hello to a new era where math meets #blockchain with #OpenMath, the world’s first mathematical DeSci platform!
@coingecko Everyone should buy $CTK , utility native coin of @ShentuChain that focuses on providing security, it has strong community and strong team, now just creating #DeSci platform of #OpenMath with prove to earn $CTK
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.7M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.3M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers