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.
⏳ 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
♾️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?
🚨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
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
1024. The number behind the digital world. For the ones who build, who ship, who make code real, 1024 isn’t just power. It’s proof.
At OpenMath, code speaks. Math tells the truth.
#ProgrammersDay #OpenMath
Think it through Thursday. Snowed on Monday. More snow Monday than Tuesday. Wednesday was the snowiest day. Graph the results. @RossDoan #thinkitthroughthursday #openmath
Thanks to everyone who came out for #OEWeek! 🎉 The week may be over, but you can find recordings of all of our #OpenEducation events, #OER, #OpenMath, and more at 👉 https://t.co/LgUDWQ3PmN
@openatvt @virginia_tech
⏰TODAY at 4 p.m.! Our #OEWeek feature presentation from Dr. Volker Sorge on "Moving #STEM Documents Online: Sustainable Workflows for Accessible Content."
Register for this event!➡️https://t.co/LgUDWQ3PmN
@OPENatVT #OER #OpenEducation #openmath #accessibility #math
Last Seen Hashtags on Sotwe
ipcam since:2026-09-17 until:2026-09-25 filter:media
Seen from Netherlands
ミジカ
Seen from United States
지인박제
Seen from Korea
snapchatt
Seen from United Kingdom
รุ่นใหญ่รับงาน
Seen from Thailand
candid
Seen from Netherlands
smno()*************************************************************** filter:native_video()
Seen from Pakistan
LinenLike
Seen from United States
แอ็คล็อค
ScarlettAlexis
Seen from Pakistan
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
118.8M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.4M followers
Kim Kardashian
@kimkardashian
70.8M followers
YouTube
@youtube
68.7M followers
Neymar Jr
@neymarjr
66.4M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.7M followers
X
@x
60.6M followers