アニメファンが数学の証明を発見！？意外な経緯とは
引用元：https://news.ycombinator.com/item?id=43282133
過去の議論を見ると、元々の質問は4chanの/sci/に投稿されたもので、アニメ板ではないと。この記事で言われているのは誤解みたい。これは数学コミュニティへの質問でアニメのネタを使っていて、実際にはアニメファンが楽しんでるだけじゃなくて、数学に詳しい人たちが難しい問題に挑戦してるんだ。一人はstackexchangeの質問を引用していて、解決できたらarxivに投稿すると言ってたよ。
この誤解の責任は私にあるかも。最初は証明が4chanから来てるとは気づかなかった。Nathaniel Johnstonが公式のWikiaで証明を見つけたんだ。それをツイートした時、”アニメに関するWikiの匿名ユーザーが最小のsuperpermutationsの下限を証明した”って言ったけど、当時のWikiaは確かにアニメ中心だった。アニメの観点が誇張されすぎたかもだけど、証明者は数学者じゃないし、一般的な形で結果を発表したいとも思ってないから、こういう結果がここから出るのは意外だよ。
＞Nathaniel Johnstonが現在の証明をWikiaで見つけた
そのWikiaは4chanの公式/sci/ Wikiaだよ。
4chanの/sci/は本当に伝統的な研究とアカデミアの中心地なの？アニメファンが描いてる区分で混乱してしまうよ。
私の説明はWikiaを知らない人向けだったから、誤解を招く表現になったかも。もっと注意深く言えばよかった。理解している人にはおかしく聞こえたかもしれない。
それに関しては、広く注目されるきっかけを作ってくれてありがとう！
これはよくある誤解で、4chanでアニメの画像に文句を言うことが多い。4chanは主にアニメファン向けだから、あらゆる板でアニメ関連の投稿が普通なのに対して、他の話題が持ち込まれるのは受け入れられない。4chanは自由だから、アニメ好きじゃない人が文句を言ってるのがいるけど、無視されてるか反発されてるよ。確かに私も数年訪れていないから、文化的に少し変わったかもだけど、当時はまだアニメコミュニティがしっかりしてたよ。
4chanをアニメ板と呼ぶのは正しいと思う。2chanのコピーから始まったから、アニメ中心だった。サイトのカタログをざっと見ればアニメの反応画像が出てくる確率が高いよ。
確かに。逆に言うと、多くの/sci/の人はアニメとは結びつきたくないって思ってるかも。
Redditのようにサイト全体で支配するハイヴマインドはなく、4chanは特定のコミュニティに分かれている。/b/や/pol/、r9kやオタク関連を無視すれば、古いインターネットを思い起こさせる質の良いコミュニティが見つかる。/sci/、/mu/、/biz/、/fit/はたまにいい瞬間があるね。
まぁ、/t/で出てくるコンテンツはデータホーディングやロストメディア的にはすごく興味深いよね。たしか、あるポスターがセルビアのニッチな朝のアニメを全部デジタル化してたことを覚えてる。法律的な配信方法には漏れが多いし。
/biz/には良い瞬間があるとは自信持って言えるね。
cryptoの登場でそのボードが崩壊したんだよね。
＞”weebの話は無視しろ”
4chanでそれするのは無理だよ。
＞”weebの話は無視しろ”
出て行け。
つまらないイスラエル/アメリカのボイコットの連中には、グラフィックスカードのベンチマークスレから出て行ってほしいけど、現実にはそうはいかないよね。そういうわけで、weebの話を無視すれば4chanの他のボードを使えるけど。
最初の意図はアニメファンが他のファンと話すための場所だったんだよね。でも時間が経つにつれて、ボード文化はアニメとあまり関係なくなっちゃった。
でも、アニメのウェブサイトだしね。
どういうこと？あれは長い間、一般的な画像掲示板だよ。
2chanのオフシュートとしての伝統があるから、‘‘otaku’‘文化はほとんどのボードに影響を与え続けてるんだよね。矛盾してるわけじゃないんだ。
4chanの情報はRedditより価値があると思う。Redditはエコーチェンバーが多くて無駄な情報が多いし。 情報を見つけるのが問題なんだ。スレッドが死ぬと再度見つけるのは大変だし、時間が経つと似たスレッドに埋もれちゃう。ユーザーによる検索も匿名だから難しいし、同じ内容のリポストも多いから厳しい。古いスレを復元しようとするのは無駄だよ。 この投稿のアーカイブはmathsci.wikia.comのページにあるよ： 以前の議論はこちら： すごい、知らなかった！ありがとう！マクロ展開したやつもあるよ： これらのスレッドは特定の順番で見た方がいいのかな？ 全部試して、どれが一番いいか見てみようぜ。 安心して、ここで使える便利な証明があるから… Fandomのリンクの右上の画像は、4chanのスレッドで投稿されたものだよ。多くの投稿に含まれていなくて残念だ。キャラはThe Melancholy of Haruhi SuzumiyaじゃなくてSteins;Gateのものだね。: https://steins-gate.fandom.com/wiki/Kurisu_Makise 白板の前にいるKurisuと”You should be able to solve this”の画像はかなり有名な投稿形式だね。 この記事の素晴らしい著者はManon Bischoffだと知って驚かないよ。彼女のSpektrum.deでの執筆を何年も読んでるけど、いつも素晴らしい。彼女の記事のリストはここにあるよ: https://www.spektrum.de/profil/bischoff/manon/1486871 記事に登場している他のアマチュア数学者がGreg Eganって知って驚いてるよ。彼の個人サイトはここだ: https://www.gregegan.net/。彼は現代ハードSF作家の中で最高の一人だよ。 彼はおそらく世界で最高のレクリエーション数学者の一人だね。彼のウェブサイトやMastodonをフォローしていればわかるよ。 時々HNでは、どの投稿がアストロターフィングなのかわからないことがあるよ。褒め言葉が超ニッチで関連性が薄くて、自分にはすごく見えるからね。 時にはいいよね。やる気が出てGreg Eganのノンフィクション書籍のリストを見つけたよ: https://www.gregegan.net/BIBLIOGRAPHY/Bibliography.html#NonF…。シリーズ”Winning Ways for Your Mathematical Plays（様々な著者）”がもう少し安くなるのを待ってるんだ。 ＞best recreational mathematicians in the world 彼は頭の中でJohn BaezやDan Christensenと共著で数学・物理の論文を書いているよ。他にもあると思うよ。 Schild’s Ladderは俺のお気に入りだよ。 どれも好きだけど、Permutation Cityが特に好きだな。 今日の話題にピッタリだね。 複雑な数学の概念をここまで楽しくわかりやすくする才能、すごいね。リンクもシェアしてくれてありがとう！ Scientific Americanが選んだ記事の画像は、Melancholy of Haruhi Suzumiyaのプロジェクトからじゃなくて、もっとマイナーなAokana - Four Rhythms Across the Blueからだね。 彼らはHaruhiのショーの例を使ってるけど、ファンは全エピソードを順番に見るわけじゃないし、Endless 8、つまり8話が時間ループしてるのに注目してほしい。リサーチが本当にひどいね。 一定の真実があって、放送順と実際の時間順、原作の順番が全然違うんだよね。放送順が主な例外だと思う。Endless Eightの8話を他のエピソードの中で見るのは意味がないと思うよ。 Haruhiシリーズはエピソードがバラバラで放送順も時系列と関係ないってことで有名だよね。 確か、オリジナル放送は巧妙に順番を入れ替えたらしい。元のライトノベルの骨組みがあって、それに一話完結のエピソードを混ぜて、真ん中でクライマックスが来ないようにしてるんだ。 元の4chanの投稿は第一シーズンについてのもので、Endless 8の話だとは思わなかったんだけど。 アニメとビジュアルノベルは全然違う媒体だし、映画のカバーを音楽アルバムの話に使うようなもんだよね。 どっちもアニメ化されてるけど、オリジナルじゃないってことが重要だね。 数学の論文が4chanの投稿を引用するって、めっちゃ面白いよね。知られざる知識がネットのどこかに埋もれてるかも。 ＞それだけの隠れた知識がネットにあるかもって考えると、情報が自由になるっていう希望があったのに今はトリビアルなコンテンツが多すぎて必要な情報を探すのが大変だよね。 でも、ネットが普及して世界中の知識が手に入るようになったっていう面もある。キュレーションの問題だと思うけど、Wikipediaは一つの大きなサイトだから価値あると思うよ。 趣味で見つけた数学的な発見が、誰にも評価されずに埋もれてるかもしれないって思うと面白いよね。誰もが気づけるか分からないし。 隠れた情報が多いのは面白いことだと思う。ただ、すべてがインデックス化されてる方が便利なのも事実で、悩ましいね。 まるで何百年も誰も見なかったカタコンベにある古い巻物みたいだね。そこにはたくさんの疑問に答えてくれる情報があるけど、どこに目を向けるべきかを知っている必要がある。発見ってのはいつも難しいんだ。 念のために言っておくけど、TikTokの永久機関の動画は全部偽物か、長期間にわたる磁石の蓄積エネルギーを利用してるから。 これはちょっと変だな。かなりシンプルで、マシンの内部を逆にすればいいだけだ。そうすれば宇宙全体がその内側にあって、外部からのエネルギーは内部にあることになる。 もし本当に永久機関を見つけたら、月の間ずっとHNで話題になるはずだよ。それはニュートンの法則と同じくらいの発見だ。 AI/LLMの議論はこんな感じで、みんなが永久機関デモに騙されてる気分。まるでクリプトと同じみたい。 でもCopilotは存在してるし、みんな使うのを喜んでるみたいだね。 （一部の）人は誰かにおしっこをかけてもらうためにお金を払うこともあるよ。MicrosoftはCopilotのゴールデンシャワー・ティアを提供するべきだと思う？ もうこのサービスはあるよ、それは「CosmosDB」って言うんだ。 これは企業向けの契約次第で交渉できるはずだよ。 はっきり言うけど、ネットには訳の分からないことがたくさんある、それがネットの大半かも。永久機関の話はその一例。でも実際には知られていない面白い（そして本物の）情報があるんじゃないかと気になる。 DiscordやSlackみたいなアプリのせいで情報のブラックホールができちゃうのが一番最悪だよね。今は技術系のコミュニティがいっぱいあって、アイデアが公共の場から隠れちゃってるんだ。 悪意のある人たちがプライベートなp*rnのDiscordサーバーを公開サイトにアーカイブする精神が、技術系サーバーにアクセスできる人たちにも向かうことを願うよ。秘密の場所はみんな欲しがるけど、全てがSCIFみたいである必要はないんだ。ログを公開しよう。 引用するだけじゃなくて、第一著者としても載せてるよ！https://oeis.org/A180632/a180632.pdf 真面目なコンピュータセキュリティの論文が、ネット上のランダムな情報を引用してるのって面白いよね。Phrackにはたぶん何百、いや何千もの引用があると思う。 もし科学データだけで訓練されたLLMにこの問題を解かせたら、あっさり解決するか、全く解決しないかのどっちかだと思う。非一般的なLLMに対する反論で、リベラルアーツの学位には軽く敬意を表してるって感じだね。 Internet HistorianのHe Will Not Divide Usに関する動画シリーズは、同じように巧妙なバカさ加減を見れるからおすすめだよ。 He Will Not Divide Usの騒動から学んだのは、ウェブ上に個人情報を残さないこと、特に時間があり余ってる男性のティーンエイジャーや若い大人を怒らせないことが大事だね。 「男性のティーンエイジャー/若い大人」って大きな前提だね。 教えてよ、伝説の4Chanの女性は見つけたの？ うん、彼女の名前はTaylor Swiftだよ /s（彼女が昔 /b にいたっていう面白い伝説があるんだ） 信じられないほどのセンスだね。 TempleOSのことを思い出すな。あそこには面白いコードやアルゴリズムがたくさんあるはず。自分は数学や複雑なアルゴリズムがわからないから、実際に役立てるかはわからないけど。 何年か前にTempleOSから「本物」のOSを作ろうと質問したことがある。あれは単なるミーム以上のものがあると思う。オリジナルの4chanの投稿を見た時、数学の知識がなかったからその重要性に気づけなかった。 他にどんな偶然の発見がミームスレや忘れられたフォーラムに埋もれてるんだろう？ でも、そういうスキルがあれば、これは新しい解決策だって気づくはずだよ。 昔の仕事で、トイレの合鍵が4桁のコードだったんだ。ジョークでインタビューの問題にしようとしたんだけど、実際にはその問題が面白いって思ったんだ。もっとコメントを表示（1）
https://warosu.org/sci/thread/S3751105#p3751197
https://news.ycombinator.com/item?id=18292061
https://news.ycombinator.com/item?id=23968618
https://news.ycombinator.com/item?id=39325146
こちらも見てみて：
https://mathsci.fandom.com/wiki/The_Haruhi_Problem
https://en.wikipedia.org/wiki/Superpermutation#Lower_bounds,…
暗号を解いてスーパー順列の隠れた秘密を探る
-
https://news.ycombinator.com/item?id=39325146
・2024年2月（コメント数：8）
ミステリーな数学の天才と小説家が順列問題を進める
-
https://news.ycombinator.com/item?id=36191831
・2023年6月（コメント数：92）
匿名の4chanの投稿が25年の数学パズルを解く手助けをした（2018年）
-
https://news.ycombinator.com/item?id=23968618
・2020年7月（コメント数：7）
誰も4chanの数学者を引用できない
-
https://news.ycombinator.com/item?id=18292061
・2018年10月（コメント数：198）
他のスレッドがあったら教えて、ここに追加するよ。
それって何を含むの？数学が得意ってこと？それとも新しい研究や定理を考え出してるの？もっとコメントを表示（2）
もっとコメントを表示（3）
