🚨Open Theorems Alert #11
0x0011 :: Erdős Problems #12 Part1
Let A be an infinite set such that there are no distinct a, b, c € A such that a | (b + c) and b, c > a.
>> Suggested Difficulty: Intermediate
>> Reward: 61 $CTK
Submit your proof or contribute funding.
Verify truth on-chain:
https://openmath.shentu.org/OpenMath/Theorems/34?from=open…
#OpenMath #OpenTheorems #Lean @leanprover

Twitter

🚨开放定理警报 #11

0x0011 :: Erdős 问题 #12 第一部分

设 A 为无限集合，不存在互不相同的 a, b, c ∈ A 使得 a | (b + c) 且 b, c > a。

>> 建议难度：中级

>> 奖励：61 $CTK

提交你的证明或提供资金。

链上验证真值：

https://openmath.shentu.org/OpenMath/Theorems/34?from=open…

#开放数学 #开放定理 #精益 @leanprover

一、它突然开始收钱了，但你可能根本没注意
你或许见过这样的页面：
- “特朗普赢得 2024 年大选的概率：51.3%”
- “美联储 3 月降息概率：68.7%”
- “LPL 春季赛决赛，BLG 夺冠赔率：1.39”
这不是博彩网站，也不是媒体评论，而是 Web3 世界里的一个特殊存在——预测市场（Prediction Market）。
简单说，它是一种用真金白银“投票”的机制：你相信某件事会...

全球最大预测市场Polymarket开始收费！背后是一场关于监管、生存与时机的冷静博弈

全球最活跃的比特币买家正以接近历史最高水平的速度买入。但这还不够。

CryptoQuant 的一份周报显示，截至 3 月底，过去 30 天的比特币表观需求为负 63,000 $BTC。

五个数据来源对比特币市场给出了相同的结论：它正在从内部逐渐萎缩。

巴西加密货币交易所 Mercado Bitcoin 的最新分析显示，在重大全球危机发生后的两个月内，比特币的表现往往优于黄金等传统避险资产。

该研究……