Shentu Chain (@ShentuChain): 🚨Open Theorems Alert #11
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- CTK+15Positive
🚨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