我的 X 阅读

我的关注科学物理人工智能神奇小子动物世界

神奇小子 · 3000 / 3000 条

已同步 100 个列表成员 · 当前内容涉及 123 位作者

更新 10-09 06:06

账号浏览搜索重置

3000 条 · 第 7/200 页 · 刷新

群論たん (※大学の代数学の入門用学術たん・抽象代数学たん) @gunron_tan

10-08 18:16 · 原帖

“科研界一片混乱。”（《自然》杂志）

Mehdi (e/λ) @BetterCallMedhi

10-08 18:09 · 原帖

Jul 和 Ninho 都榜上有名，而 Sinik 和 Oxmo 则完全盖过了其他两位。

Henry Shevlin @dioscuri

10-08 17:34 · 原帖

我们还应该考虑一种令人担忧的可能性，即地球正在从慢速区漂移到无意识深渊。

Jared Duker Lichtman @jdlichtman

10-08 17:29 · 原帖

在接下来的几个月和几年里，我们有机会将书中的实际证明记录下来。

Henry Shevlin @dioscuri

10-08 17:07 · 原帖

在去伦敦的火车上，我听到两个美国女人在讨论即将到来的婚礼。我简直震惊了，约翰的父母竟然没有提出要承担任何费用，尤其是戴安娜的家人都特地飞到苏格兰来参加婚礼。

Christian Szegedy @ChrSzegedy

10-08 16:45 · 原帖

这就是为什么我坚信形式化验证将是实现超人类人工智能的关键组成部分。形式化验证就像一个作弊码，即使是再简单的程序也能用它来验证超级智能体的输出结果。

群論たん (※大学の代数学の入門用学術たん・抽象代数学たん) @gunron_tan

10-08 16:06 · 原帖

目前，人们对人工智能在时间线上的应用褒贬不一。很多人拒绝接受它，说“我无法接受！”这并不奇怪。但这其实是四色定理的重演。就像当年计算机解决四色问题时，许多人反应消极一样，现在类似的现象正在发生。

imjustnewatai @imjustnewatai

10-08 16:04 · 原帖

我把《完全准确的战斗模拟器》里的超级农民角色移植到了《求生之路2》里。这花了20个Opus 5.5 xHigh Agents，耗时2小时。https://t.co/nbsEa3HSOA

Casper Hansen @casper_hansen_

10-08 15:11 · 原帖

数千个环境彻底完蛋了…… 这就是为什么开源应该成为默认选项。当你公开某项工作时，全世界都可以对它进行审查。在这次事件中是环境，但换作封闭实验室的前沿模型也完全可能发生。

Joachim Schork @JoachimSchork

10-08 15:04 · 原帖

R语言中的esquisse包是一个用于数据可视化和探索的优秀工具。esquisse旨在简化数据分析流程，将原始数据转化为交互式可视化图表，从而使理解和解释数据集变得更加容易。以下是一些关键 https://t.co/qgpHmnaNvy

Tibo @thsottiaux

10-08 14:38 · 原帖

第三天（返场）/ 我们悄悄地重新发布了 Codex Cloud。现在它运行得相当不错。

Bartosz Naskręcki @nasqret

10-08 14:34 · 原帖

躲避大杂烩

Dan Roberts @danintheory

10-08 13:20 · 原帖

我们已更新了 GitHub 数学代码库，新增了 6 个 Lean 形式化模型、19 项修改和 3 项撤回。目前，该代码库已形式化了约 42% 的核心结果。我们将持续更新代码库，添加新的形式化模型并修正任何发现的错误。 https://t.co/HI6otY2NTO

Jared Duker Lichtman @jdlichtman

10-08 13:05 · 原帖

（此条仅含 Kindle 无法显示的符号）

Prof. Brian Keating @Briankeating

10-08 12:49 · 原帖

突发：集群又开始集群了！