⚠️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 的最新分析显示，在重大全球危机发生后的两个月内，比特币的表现往往优于黄金等传统避险资产。

该研究……