lain

私は中国出身の人が「アイヤー」って言った時に『ほんとに言うんだ‼️』って感動したんだけど、逆に海外の人が『日本人ほんとにそれ言うんだ‼️』ってなる言葉ってなんだろう

ご報告。 拙著「スピリットサークル」 ２０２６年末、アニメ化でございます。 完結から１０年。 既読の方も未読の方も、よろしくお願いします。 情報は順次公式などで。 リンクはツリーに↓

これマジで教えてください！！！ 三暗刻が優先なのか 平和一盃口が優先なのか マジでわからん。

【速報】🚨 Binance、推定1兆円のハッキング被害 ・被害額は約63億ドル（約1兆円）と推定 ・被害拡大防止のため約30億ドルを凍結 ・Binanceは発生した損失を全額補償する方針

京都・大徳寺にて守り継がれてきた至宝が、ついに東京へ。 400年以上守られてきた大徳寺・龍光院の国宝「曜変天目」。 東京での公開は26年ぶり。11月8日までの限定公開です。 世界に３つだけの奇跡をその目で。

【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。 定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！ 【数学者 vs AIエージェント 】 人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」 AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」 人類の数学者「えっ」 AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」 人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」 AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」 人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」 ここがヤバい↓

本当にあったアホな死に方が描かれたカルタを作りました

インド人つえー🤣🇮🇳 インドに進出した中国のサラ金１００社、インド人が金返す気無さ過ぎて９５％撤退！ メンツを重視する中国人が嫌がる、家族や会社に催促電話する系の圧力が通用しないどころか、ついでに自分は金借りられるか聞いてくるらしい🫢 何か中国がモラルで翻弄されてるのウケるなｗ

「日本人はなんでこんなに話が通じないんだ？」と思ってる外人の君へ、日本人が何を考えてるかを解説しておく もし純粋な興味で分析する知的好奇心があるなら参考にするといいよ ただしぼくは君らと議論をする気はないし、相互理解できるとも思ってない。うざ絡みはブロックするよ

不想传播焦虑，但这次我无话可说。 今年科学界最大的新闻，没有之一。OpenAI 的内部 AI 模型自己做出了三个科学难题的成果。我用我自己的理解说一下。 第一，Kakeya 猜想。这个问题研究波聚焦时会怎样。原来的猜想我记得是说最极端的聚焦只会持续很短时间。人类以前只在低维度证明过，OpenAI 说它的模型证明了所有维度的情况，因此顺带解决了 Kakeya 猜想和 Stein 限制猜想。纯逆天。 第二，指数时间假说 ETH 被推翻。这个太难以置信了。ETH 好像是说有一类逻辑难题不可能被比暴力穷举快很多地解决。而之前学界普遍相信它成立，几百篇论文都以它为前提，现在 AI 却证明它是错的。 这个太他喵逆天了，因为我之前是研究过一段时间理论计算机的。这几十年ETH几乎被当成公理在用。很多论文的结论都写成假设 ETH 成立，那么某某问题不可能在多少时间内解决。现在地基没了，这些不可能，全都要打问号。 最让我感觉匪夷所思的是 AI 证明的方式。据 Lean 证明的说明文档，它给出的是一个确定性算法，应该是对固定宽度的 k-CNF 公式，它能在亚指数时间、多项式空间内精确数出所有满足的赋值。但是，懂行的人应该都知道“数出有多少个解”通常比“判断有没有解”难得多，它连更难的那个都做到了，所以 ETH 只是顺带被推翻。 第三，杨-米尔斯、量子色动力学。AI 应该是给出了一套严格的数学证明，证明描述强核力的理论在数学上确实成立，其中包括纯杨-米尔斯理论的存在性，这是千禧年七大难题之一的一部分。我不太了解，但是只是知道一些浅层的理论，就不评论了。 最让我恐惧和惊骇的是第二个。今天晚上我看了又看，感觉这是地震级别。如果最终确认无误，这会是 AI 第一次独立推翻一个被广泛相信的核心猜想。说它是一个时代的分界点，也毫不夸张。 如果这三个都核查通过，这代表 AI 第一次在多个顶尖领域独立解决了几十年没人能解决的难题，影响史无前例。

これが1になるって奴小学生からやり直してこいw 何で1になるって回答の方が多クなるんだよw

これはえっちな話なんですけど、 来週PHPとか証明書問題とか非にならないぐらいの根幹を揺るがすインシデントが発表されます インターネットはもう終わりです みんなで集まってトランプとかやりましょう