OpenAI 发布 722 篇数学论文解决 90 个顶级开放数学问题
OpenAI 发布 722 篇数学论文
OpenAI 发布了 722 篇数学论文，解决了 90 个顶级开放数学问题，其中包括 Quasi-Riemann-Hypothesis，这一成果被认为是过去 100 多年来数学史上最重要的时刻。这些解决方案是使用 OpenAI 内部的 Navier-Stokes 数学模型获得的，仅需平均 3 小时的 ChatGPT Pro 计算时间。这些成果对数学领域具有重大影响，并得到了专家的肯定。
rss-feed23
OpenAI数学人工智能
Anthropic 发布 Claude Haiku 5.5 模型
Anthropic 发布新模型
Anthropic 发布了 Claude Haiku 5.5 模型，这是一款为高容量、成本敏感任务设计的模型。它能够可靠地处理快速和重复的工作负载，如总结、数据库查询和分类请求。Haiku 5.5 的价格比前一版本降低了 75%，并且是 Anthropic 发布的最快模型。它还具有可调节的努力设置，允许用户在成本和智能之间进行优化。
hackernews
Anthropic人工智能模型
Meta AI 开源 Rebalancer 库
Meta AI 开源库
Meta AI 开源了 Rebalancer 库，这是一款 C++ 库，用于解决分配问题。它可以决定哪些对象应该放入哪些容器中，基于约束和目标。Rebalancer 已经在 Meta 内部使用了 9 年，处理了大量的资源分配问题。它具有 Python 接口和调试 UI，用户可以通过 pip 安装。Rebalancer 的设计目的是为了解决分配问题的可用性和可扩展性问题。
rss-feed24
Meta AI人工智能开源
Liquid AI 发布 Open-Weight d1-3B 和 d1-omni-600M 模型
Liquid AI 发布新模型
Liquid AI 发布 Open-Weight d1-3B 和 d1-omni-600M 模型，这两个模型都是多模态决策模型，能够处理多种类型的输入数据。Open-Weight d1-3B 和 d1-omni-600M 模型的发布表明了 Liquid AI 在人工智能研究方面的进步。
rss-feed24
Liquid AI人工智能模型
Nikon 小型世界视频比赛获奖者因使用生成式 AI 被取消资格
Nikon 比赛获奖者被取消资格
Nikon 小型世界视频比赛的获奖者因使用生成式 AI 被取消资格。原来的获奖视频被认为太好以至于不真实，Nikon 在审查后发现该视频没有遵守比赛规则关于生成式 AI 的规定。该视频的作者承认使用了 AI 进行后期处理以增强图像质量。Nikon 计划重新审视比赛规则和评估程序，以避免类似情况在未来发生。
rss-feed10
Nikon生成式 AI艺术
IEEE 推出 AI芯片设计课程
IEEE 推出 AI芯片设计课程
IEEE 推出了一门新的 AI 芯片设计课程，旨在帮助工程师掌握 AI 处理器架构的原理。该课程使用虚拟人物学习法，目的是为了应对 AI 硬件复杂性的加速增长。近期的研究文章《重温边缘 AI：机遇与挑战》讨论了边缘 AI 的快速增长和所带来的挑战，包括资源限制、模型架构局限性以及网络需求等。IEEE 的这一设计课程可以帮助工程师更好地理解和应对这些挑战。通过创建 IEEE 账户，用户可以访问更多的内容和功能，包括保存文章、下载集合和参与对话等。同时，加入 IEEE 也可以获得更多的福利，包括访问所有的文章、存档、PDF 下载等。
rss-feed26
IEEEAI芯片设计
JetBrains 发布 Mellum2.1 模型
JetBrains 发布新模型
JetBrains 发布了 Mellum2.1 模型，这是一个 12B 的 MoE（混合专家）开放模型，用于编码代理和快速子代理。该模型具有 28 层和 64 个专家，使用分组查询注意力机制，并支持 131,072 个令牌的上下文长度。Mellum2.1 模型主要通过强化学习（RL）进行训练，包括数学、竞争性编程、科学、工具使用和软件工程等任务。该模型可以探索仓库、编辑文件和检查自己的更改。JetBrains 将 Mellum2.1 模型应用于三个领域：代理工作者、一般推理助手和私有自托管部署。Mellum2.1 模型的发布对于编码代理和人工智能开发具有重要价值和影响。
rss-feed24
AI 模型JetBrains
Nous Research 确认 15 亿美元估值，推出 AI 代理
Nous Research 新动向
Nous Research 确认其估值已达到 15 亿美元，并推出了 AI 代理产品。该公司的 Hermes 代理已经获得了 9000 万美元的 B 轮融资。Nous Research 的 AI 代理可能会在商业领域得到广泛应用，帮助企业提高效率和决策能力。随着 AI 技术的发展，AI 代理可能会成为企业数字化转型的重要工具。
rss-feed9
AI 代理Nous Research
Mistral 的 Le Chonk 模型挑战顶级 AI 模型
Mistral 新模型
Mistral 的 Le Chonk 模型被认为可以挑战顶级 AI 模型，而其仍然保持着开放权重的特点。Le Chonk 模型的出现可能会对 AI 研究和开发产生一定影响，尤其是在开放源码和可解释性方面。Mistral 的这项举措可能会推动 AI 模型的发展和应用，帮助更多的人了解和参与到 AI 研究中。
rss-feed12
AI 模型Mistral