この賭けには線を引くつもりだ。健全な公共の競争に参加できることを喜び、慈善活動のための資金集めにも喜びを感じました。マーカス(全額支払われている)が、支払いのタイミングでマニホールドデリバティブ市場の閉鎖を*緊急*に手助けするよう私にしつこく頼むのは不満です。人々が彼にそのことでしつこく問いかけてくるからです。葬式に行っている間に。 私は精神病じゃないかもしれないけど、君たちは確かにそうだ。そして私はこれ以上関わりたくない。 そして、誰かがリットのために大声で叫ぶ前に、彼が最初に提示した賭けを探しに行ってください。「EoY 26によるHCの反証がアップロードされました」。このコミュニティのひどい行動と不誠実な範囲の偏見を考えると、どんな結果でも私に有利に認められるとは全く信じられません。(マーカスだと思います。だから彼が報酬をもらっていたのです。)

今週、多くの数学者が「リーンでコンパイルすればそれが真実だとわかる」と言っているのは本当に心配です。リーンは素晴らしいですが、それは危険なほど誤りです。 ここに、リーンで1 == 0を証明する50の方法を紹介します。そのコンパイル。使うバージョンによります。 (リンクはコメント欄にあります)

なぜこんなことを言う必要があるのか本当にわかりませんが、バグだらけの数学証明行がバグだらけのコード行よりも本質的に壊滅的だとみなすのはやめてくれませんか? もちろん。中にはそういう人もいます。比喩!!!的に言えば、発表された数学の中央値レポートにはバグが>0つあると賭けてもいいでしょう。否定することなく。