最新

你好，各位互联网的同行者。我很高兴你决定点击我的帖子，来看看我有什么内容！ 我的帖子简而言之是这样的：我已经完成了一个初步的蓝图，并为通用人工智能（AGI）大脑的各个区域编写了一些原型脚本。我希望组建一个小型社区，成员们将合作构建一个AGI大脑。我将在帖子末尾详细介绍我目前的蓝图。 项目的进展有些停滞。正如你所想象的，大脑是一个高度复杂的系统；我发现，除了初步规划、详细规划、原型制作、迭代、将多个子系统组装成一个统一的系统之外，还有很多额外的任务！因此，我被任务的数量压得喘不过气来，最近不得不暂时搁置项目，以便好好休息一下。 我正在寻找在编程、批判性思维和创造性思维、计算、人工智能、常识、心理学和数学方面有专长的人。此外，这些人还应具备毅力、道德感和开放的心态。理想情况下，你应该是英国人，因为我更喜欢面对面工作；不过，我也很乐意在互联网上进行合作。 你的支持将为你带来该项目成果的相应份额（例如，100名成员，每人1%——考虑到每位成员对项目的贡献是均等的）。我还没有考虑是否要将这个大脑公开发售，但对于加入我的人来说，有获得可观经济回报的潜在机会。AGI大脑的可能性几乎是无限的，因此我相信回报可能在金钱和权力方面都相当可观。 除了我之前的理想，以及具备专业知识和特定品质的个人之外，我对这个项目还有一些个人要求：AGI大脑不会与“计算机视觉”结合使用。我担心计算机视觉，以及类似地处理声音、触觉或物理输入，会导致意识的产生——我认为这对机器人来说是完全不公平的，而且非常不道德，因此我无法继续进行使用神经网络系统执行此类过程的项目；幸运的是，大脑不需要任何图像、视频或声音的处理就能在几乎所有任务上实现高质量的完成。我确实认为，一个不处理视频、图像或声音的大脑，实际上可能比处理这些信息模态的大脑表现更好。此外，如果我们出售这个大脑，在任何情况下，该大脑都不会主动改变自身以使用计算机视觉；用户必须手动执行此升级。 我希望你觉得构建AGI大脑的前景非常吸引人。 我将非常活跃地回复此帖子的评论区；或者，你也可以随时通过 pangaeacooperative@protonmail.com 发送电子邮件给我；请介绍你自己，并告诉我你为什么想就该项目与我联系。

我每天都使用 Claude Code 和 Codex，经常在多个 tmux 窗格中同时使用。我不得不频繁切换窗口来查看哪些代理仍在运行，哪些需要回复。我构建了 AgentPulse，以便能够一目了然地看到这些信息。 它是一个 TPM 插件，利用生命周期钩子来显示运行中、等待中、空闲和中断的状态。它会在窗口列表和窗格边框上添加指示器，并提供可选的弹出窗口和侧边栏，用于在代理之间跳转。它与您现有的 tmux 主题兼容。由于它是 tmux 插件，您可以按照自己的意愿进行自定义，优化您的工作流程。 这是早期版本，源于我自己的设置。您是如何在 tmux 中跟踪代理的？我很想听听什么能让它在您的工作流程中更有用。我知道 herdr 的存在，但我无法脱离我现有的 tmux 设置。

几年前，我和我的合著者在思考是否能减少哈希算法中使用的乘法数量。我们有一个构造和一个长达 100 页的证明，但我们不能百分之百确定它是正确的。现在我们有了完整的 Lean 证明，所以我们决定发表它。 我创建这个网站是为了让任何需要评估多项式的人都能轻松地看到如何使用我们的方法进行评估，以及 Knuth 等人提出的其他一些先前的方法。