織部みやこ:
「今来むと 言ひしばかりに 長月の 有明の月を 待ち出でつるかな」
#超かぐや姫
https://twitter.com/miyakononaka/status/2062015956042514903
「今来むと 言ひしばかりに 長月の 有明の月を 待ち出でつるかな」
#超かぐや姫
https://twitter.com/miyakononaka/status/2062015956042514903
🥰1
宣称 AI 证明了 P=NP，但是上来就定义 P=NP 是 true 然后证明 true = true
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
GitHub
Main theorem currently proves `True`, not `P = NP` · Issue #1 · TiruArt/Pedigree-Polytopes-Lean4
N_PEqualsNP.lean defines: def P_equals_NP : Prop := True def SAT_in_P : Prop := True So the theorem theorem p_equals_np (n : ℕ) (hn : 5 ≤ n) : P_equals_NP does not prove a formalized P = NP stateme...
🤣21🥱9
Forwarded from Twitter Picture Bot
Corn20/K²🌽:
#超かぐや姫
31歳酒寄彩葉さんシリーズ🚬🦊
プライベート(&一夜漬け時など)はボサ葉だけど外出る時はちゃんといつも通りの髪してる
https://twitter.com/Corn_20/status/2062575797186244617
#超かぐや姫
31歳酒寄彩葉さんシリーズ🚬🦊
プライベート(&一夜漬け時など)はボサ葉だけど外出る時はちゃんといつも通りの髪してる
https://twitter.com/Corn_20/status/2062575797186244617
❤7🥰1
对诶，平常老开玩笑说动画里的大姐姐比自己现实中还小十岁，但是彩叶（十年后）是比现实的自己大的大姐姐
🥰7
&'a ::rynco::UntitledChannel
宣称 AI 证明了 P=NP，但是上来就定义 P=NP 是 true 然后证明 true = true https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
更新：现在不是 true = true 了，变成证明一个 axiom 了
😁6❤1