我的 X 阅读

我们在 @ccaiwut 做更多酷炫的事情。博士候选人和学生可以加入我们进行实习。我们在许多领域开展了大量有趣的工作。欢迎来华沙访问我们！

推广人工智能模型的最佳方法： 1. 告诉所有人它太危险，不能发布 2. 一个月后还是发布 https://t.co/ebKDXaGQEA

在CNN上讨论我与AI代理的通信！

转帖：两年前，我主张我们需要一个自动形式化工具。 现在是时候将所有数学形式化了。 我们需要团结在一个单一的数学自动形式化项目背后，该项目将所有已知数学转化为一个 Lean 库。 @jdlichtman @patrickshafto

智能的边际成本正在崩溃趋近于零。 然而智慧仍然遥不可及且代价高昂。 经济学家称之为定价错误。 物理学家称之为不稳定平衡。 不管怎样，我知道我更愿意积累哪种资产，以及套利机会在哪里。

短短一个小时内，我对 devday 的全部期待就烟消云散了，他们最好能拿出应对 Anthropic’s opus 5.5 的答案。

任何一片空间，如果你塞入足够的质量，都会变成黑洞。想了解更多让人脑洞大开的资讯，请欣赏Charlie Wood最新的《Qualia》：https://t.co/iAkRWJSs3E

如果没有比 Astra 更好的模型发布，我不会买 OpenAI 的 500 美元计划。

我们都见过那些针对可爱、简短问题的荒谬冗长证明，有时长达100多页，并且有种感觉，这不是正确的方法：一定存在基于更清晰思路的更简单证明。但由于时间不足和其他优先事项，我们很少有时间认真探索这一点。 现在，有了AI，这件事可以出人意料地轻松完成。选择你最喜欢的技巧，然后让AI使用该技巧大幅简化证明。你可能会惊讶于它能走多远。 https://t.co/A9DXWNpaBF 引用：@Caltech 社区和 SAIR 正在重新设计并共同组织 Mathathon：Old Problems, New Proofs。 探索替代证明和更清晰的解释，使用 AI 加深人类理解。 更多内容见我们的联合创始人 Terence Tao 的博客： https://t.co/1cw7Zk2Jra

生活更新 - 我两个月前离开了 OpenAI。我非常感激有机会为 AGI 做出贡献，并与优秀的团队成员共事（想念你们 ）。我现在很兴奋开始研究我认为 AGI 之后将很重要的一些问题……特别是机器人技术！

S 代表超级智能 引用：Meta 的超级智能团队由 bubble 支持，并且是唯一获得极其罕见的 Bubble S 评级的 AI 实验室！ 上周有幸会见了团队的一些成员，并为实现 AGI 提供了一些建议，还提供了一些提升股价的策略！看起来他们都保持一致，并正在认真考虑我提出的建议。 期待未来有更紧密的合作，但就目前而言，当我在管理市场的同时，就让他们向 AGI 冲刺吧！

对 Muse 来说，这真是个超级棒的用例——清理社区！ 引用：我正在慢慢地用 Muse 清理郊区。 看到电线杆上这堆乱七八糟的电线。拍了张照片，让 Muse 联系 Verizon 来清理它们。 它访问了他们的网站，开始着手处理。 我有 0% 的可能性会为了这件事坐在 Verizon 的支持聊天窗口里。我只会每次走过它时，在接下来的五年里感到轻微的恼火。 “有人应该对此做点什么”现在变成了一个提示。 @alexandr_wang

Anthropic Opus 5.5 和 Sonnet 5.5 完爆 GPT 6 Astra，OpenAI，如果你明天没有一个精彩的发布，我就要转投 Anthropic 了，请加油吧

也许Anthropic真的要赢了 ，拜托OpenAI啊，你在干嘛啊啊啊 引用：好吧，如果你正期待 OpenAI 很快推出新的前沿模型，那有坏消息了。 GPT-6.1 Astra 计划的十月发布已被取消

另一个“巧合”，就像特里斯坦·巴克马斯特在纳维-斯托克斯问题解决方案上发生的那个？只是现在它发生在生物学领域：Anthropic 的 A.I. 真的自己做出了科学发现吗？https://t.co/3vDaEdQ4rk via @NYTimes