ビビ

主に自分へのメモや壁打ち。躁鬱のためご注意ください。交流は苦手です🙇

[ビビ @_B_Bi]

お…眠気

[ビビ @_B_Bi]

アテンションエコノミーの奴隷 サバを428匹ギュった．
称号【∞】ギュの求道者
インプ長者番付で世界 95 位！
ぐさばろっくを 93 回ギュった．きっかけの投稿は閲覧 2,036．ギュるほど，彼らのインプも増えます．背中の縞は，本人だけが見たことがない．
#サバの話です https://t.co/dV3qYaVOpd

[ビビ @_B_Bi]

アテンションエコノミーの奴隷 サバを324匹ギュった．
称号【GOD】インプ十億長者
きさばそを 66 回ギュった．この海で累計 56,089 回．きっかけの投稿は閲覧 52万．ギュるほど，彼らのインプも増えます．背中の縞は，本人だけが見たことがない．
#サバの話です https://t.co/dV3qYaVOpd

[ビビ @_B_Bi]

眠れない　(((｀･ω･´)

[ビビ @_B_Bi]

そろそろ本格的にBIの話を誰��始めてほしい…BIほしいBI…

[落合陽一 Yoichi OCHIAI @ochyai]

小学校低学年のための「物化する」計算機自然（デジタルネイチャー）の説明

[ビビ @_B_Bi]

「物化する計算機自然」の「科学が自然を追いきれない」の部分だ

[Phoenix Yin @Phoenixyin13]

不想传播焦虑，但这次我无话可说。

今年科学界最大的新闻，没有之一。OpenAI 的内部 AI 模型自己做出了三个科学难题的成果。我用我自己的理解说一下。
第一，Kakeya 猜想。这个问题研究波聚焦时会怎样。原来的猜想我记得是说最极端的聚焦只会持续很短时间。人类以前只在低维度证明过，OpenAI 说它的模型证明了所有维度的情况，因此顺带解决了 Kakeya 猜想和 Stein 限制猜想。纯逆天。

第二，指数时间假说 ETH 被推翻。这个太难以置信了。ETH 好像是说有一类逻辑难题不可能被比暴力穷举快很多地解决。而之前学界普��相信它成立，几百篇论文都以它为前提，现在 AI 却证明它是错的。
这个太他喵逆天了，因为我之前是研究过一段时间理论计算机的。这几十年ETH几乎被当成公理在用。很多论文的结论都写成假设 ETH 成立，那么某某问题不可能在多少时间内解决。现在地基没了，这些不可能，全都要打问号。
最让我感觉匪夷所思的是 AI 证明的方式。据 Lean 证明的说明文档，它给出的是一个确定性算法，应该是对固定宽度的 k-CNF 公式，它能在亚指数时间、多项式空间内精确数出所有满足的赋值。但是，懂行的人应该都知道“数出有多少个解”通常比“判断有没有解”难得多，它连更难的那个都做到了，所以 ETH 只是顺带被推翻。

第三，杨-米尔斯、量子色动力学。AI 应该是给出了一套严格的数学证明，证明描述强核力的理论在数学上确实成立，其中包括纯杨-米尔斯理论的存在性，这是千禧年七大难题之一的一部分。我不太了解，但是只是知道一些浅层的理论，就不评论了。

最让我恐惧和惊骇的是第二个。今天晚上我看了又看，感觉这是地震级别。如果最终确认无误，这会是 AI 第一次独立推翻一个被广泛相信的核心猜想。说它是一个时代的分界点，也毫不夸张。
如果这三个都核查通过，这代表 AI 第一次在多个顶尖领域独立解决了几十年没人能解决的难题，影响史无前例。

[ねこかます @nekokamasu]

ふか���かの子猫団子

[おもち @ringringmetro]

これを無印良品週間でやると本当に良いですよ

[たちだコロネ @sagyouatama]

#タヌキ撮ってます

動物園でタヌキ撮ってます！
転載無しの全部自分で撮ったタヌキです！
タヌキ撮ってる人をフォローして応援してあげてくださいね！

[すていさむ @mraltezza]

タヌタヌかわいい🩷全力疾走たぬき

[ビビ @_B_Bi]

殺伐としたTLに突然のヴァニキ、ありがたい🙏

[ビビ @_B_Bi]

@Vanila_Ice_Ice なごむ…🙏

[ビビ @_B_Bi]

平成前半ってちょうど良かったよなあ

[kaya🍔 @kaya_guitarist]

平成に戻りたい！

物価安い！！
スマホもない！！！
テレビもおもろい！！！！
夏も暑くない！！！！！
AIも大したことない！！！！！！
ギターも安い！！！！！！！！！
弦も安い！！！！！！！！！！！！
みんな元気！！！！！！！！！！！！！