⚠️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. ⚡️

Twitter

⚠️研究者行動迅速：OpenMath 上已有 18 個定理得到證明。

如果你還沒查看定理板，現在正是時候。還有很多未證明的定理等著你。

選擇你的定理，寫出證明，然後提交到鏈上。讓我們看看誰能證明下一組定理。 ⚡️

一、它突然開始收錢了，但你可能根本沒注意
你或許見過這樣的頁面：
- “特朗普贏得 2024 年大選的概率：51.3%”
- “美聯儲 3 月降息概率：68.7%”
- “LPL 春季賽決賽，BLG 奪冠賠率：1.39”
這不是博彩網站，也不是媒體評論，而是 Web3 世界裡的一個特殊存在——預測市場（Prediction Market）。
簡單說，它是一種用真金白銀“投票”的機制：你相信某件事會...

全球最大預測市場Polymarket開始收費！背後是一場關於監管、生存與時機的冷靜博弈

全球最活躍的比特幣買家正以接近歷史最高水平的速度買入。但這還不夠。

CryptoQuant 的一份週報顯示，截至 3 月底，過去 30 天的比特幣表觀需求為負 63,000 $BTC。

五個數據來源對比特幣市場給出了相同的結論：它正在從內部逐漸萎縮。

巴西加密貨幣交易所 Mercado Bitcoin 的最新分析顯示，在重大全球危機發生後的兩個月內，比特幣的表現往往優於黃金等傳統避險資產。

該研究……