🚨开放定理警报 #06 0x0006 :: √2 的无理性 ~∃ p,q∈ℕ，p²=2q² 建议难度：中级 奖励：100 $CTK 提交您的证明或提供资金。 链上验证真值：openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理
本文为机器翻译
展示原文
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
🚨开放定理警报 #06 0x0006 :: √2 的无理性 ~∃ p,q∈ℕ，p²=2q² 建议难度：中级 奖励：100 $CTK 提交您的证明或提供资金。 链上验证真值：openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理
