🚨開放定理警報 #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...… #開放數學 #開放定理
