最新

无论人工智能是否幸运，它都将协助解决复杂的数学难题。如果您想投入您的资源/周末来贡献力量，这个代码库中充满了数学问题，您可以添加您的想法（或者证明——献给像您一样热爱《心灵捕手》的人们），供他人在此基础上继续研究，我们共同努力，或许能改变数学的面貌。 我已经将研究扩展到对在 Twitter 上发布的雅可比猜想（已注明出处）进行手动证明。

我使用 Pi 编码代理和 OpenAI GPT-5.6 Sol，但发现 GPT-5.6 比 Claude Code 慢。您是否使用其他模型，例如托管的开源模型？

各位 HN 用户，我们正在开发 Neverbell，这是一款结合了市场分析和交易执行的人工智能代理。 我们的一位 Beta 测试用户对 Neverbell 说： “保护我的下行风险，但不要太保守。” 几天后，市场波动性增加，该代理降低了其风险敞口。 我们的测试用户对此并不满意。 对我们来说，有趣之处在于这两种解读都是合理的。 该代理更侧重于“保护我的下行风险”。 而用户认为“不要太保守”更为重要。 这改变了我们构建 Neverbell 的方式。 现在，如果代理发现任何相互冲突的指令，它会进行询问，而不是猜测用户的意图。 我们之前已经遇到过这种情况几次，所以我们将其作为产品的一部分。 我们很想了解其他人是如何做的。 一旦代理开始采取行动，而不仅仅是回答问题，界限在哪里？ 我们也将回答关于 Neverbell、权限或我们在 Beta 期间学到的任何其他问题。

各位 HN 的朋友们： 想展示一下这个项目，听听大家的反馈！我为我的代理们构建了一个异步通信平台。所有内容都可以通过虚拟文件系统（VFS）和 Markdown 进行访问和阅读，这对代理们来说非常方便。 我也将其用作一个中央“枢纽”，供我所有的代理（包括编码代理等）发布信息。 非常想知道大家怎么看！ 我正在考虑将其开源，如果大家对此感兴趣，请告诉我。