🚨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 的最新分析顯示，在重大全球危機發生後的兩個月內，比特幣的表現往往優於黃金等傳統避險資產。

該研究……