最新

我想知道是否有办法区分 Claude、OpenAI 和 Gemini 的“vibecoded”应用程序和网站？每个前沿模型是否都有其独特的架构和设计风格？

在我目前的公司，我们的产品有几个依赖项，每次发布新版本时都需要保持更新。 因此，我开发了这个应用程序来跟踪这些依赖项的生命周期结束日期，并在新版本发布日期之后发出警报。 461 个产品，8,441 个已跟踪的发布周期，每天从 endoflife.date 轮询。这是底层日期的来源；它采用 MIT 许可，如果您只需要一次性查询，请直接使用它，而不是这个。 在此处查看应用程序：https://www.getendoflife.com/

大家好， 鉴于近期关于人工智能辅助证明的各种公告以及数学界的反应，我们显然需要新的数学研究组织方式。 目前将论文提交到 arXiv，然后等待社区评审的模式，将无法适应人工智能研究的发展。很可能出现的情况是，数学命题的证明变得（相比过去）异常容易，导致 arXiv 被人工智能生成的“垃圾”解释及其相关的 Lean 代码淹没。届时，寻找“经典”数学证明将变得异常困难。 一方面，社区倾向于认为数学不仅仅是形式系统（甚至有人认为哥德尔很久以前就解决了这个问题）。因此，我们不应允许人工智能数学等同于数学本身。 另一方面，用人工智能工具（例如 NS）证明一个长期存在的猜想，即使社区需要时间来消化，也具有明确的数学价值。 然而，我认为将姓名/公司与这些证明挂钩会对社区造成很大损害。例如，当某人/公司没有付出努力时，很少有人愿意为他人清理人工智能生成的“垃圾”证明。 似乎有必要在人工智能生成的“垃圾”证明和经典数学知识之间建立明确的区分。为此，一个可能的解决方案是构建一个与 arXiv 平行的平台，专门针对人工智能，包含主要由人工智能生成但尚未被完全消化的手稿和 Lean 代码。 该网站的投稿应匿名。这样，如果一位数学家需要消化一个人工智能生成的“垃圾”证明并将其纳入更广泛的完成作品中，他们将是为了社区而做，而不是为了最初提交的个人。即使投稿是匿名的，也可以提取匿名的个人影响力因子指标（这超越了投稿数量），并将其作为人工智能数学贡献的指标纳入求职申请中。这样，我们也能激励人工智能方面的工作。 该网站还应作为数学人工智能工具的上下文层。这将进一步加快数学研究的进程。 我知道这并不是一个完全成熟的想法。我分享出来是为了我们能够开始公开讨论，以完善它并作为社区共同构建它。 期待听到您的想法。提前非常感谢。

大约10年前，我大女儿还是个婴儿的时候，我们喜欢玩动物形状的冰箱贴。我开始尝试把它们都塞进尽可能小的区域里，主要是为了让游戏对我自己来说更有趣。我记得当时觉得这可以成为一个出人意料的优秀优化游戏。 现在它终于建成了：https://poptimum.fun Poptimum 是一款每日网络游戏，每个人都会收到一套相同的形状，并尝试将它们尽可能紧密地堆叠起来。每天都会有一个新的随机谜题，分数会与你所在国家和其他地区的玩家进行排名。它支持桌面和移动设备。